Chase Algorithm Professors and Supervisors

Chase Murrayمشاهده پروفایل

دانشیار

State University of New York at BuffaloUnited States

Chase Murray is an Associate Professor in the Department of Industrial and Systems Engineering at the University at Buffalo (SUNY). He directs the SOAR Drone Facility and Optimator Lab , focusing on operations research applications for autonomous systems. His work includes drone logistics, routing optimization, and AI integration in delivery networks. Education: PhD, Industrial & Systems Engineering, University at Buffalo, 2010 ME, Industrial Engineering, Texas A&M University, 2000 BS, Industrial Engineering, Texas A&M University, 1998 Research Interests: Dr. Murray’s research emphasizes leveraging autonomous vehicles for logistics and surveillance. Key areas include: - Routing algorithms for drone-truck systems - Weather and traffic impact modeling - Integer programming for problem classification - FAA-certified drone pilot with hands-on SOAR facility testing . Publications: Over 30 peer-reviewed articles focus on drone coordination, vehicle routing, and optimization frameworks. Recent work includes graph-based ILP classification and weather-aware delivery systems. Labs & Software: SOAR : Drone test facility with 3D digital twin simulations Optimator Lab : Develops tools like VeRoViz (routing visualization) and tex2solver (LaTeX-to-code translator) Open-source projects: Ground Control Station software, ROS-enabled web interfaces Grants & Advising: Advised PhD students Ritwik Raj (traffic congestion modeling) and Lan Peng (weather-impact scheduling). Active in collaborative projects on AI-driven logistics systems.

پروفایل رسمی دانشگاه

Jeremy Avigadمشاهده پروفایل

استاد

Carnegie Mellon UniversityQatar

Jeremy Avigad is a Professor in the Department of Philosophy and the Department of Mathematical Sciences at Carnegie Mellon University, where he serves as Director of the Hoskinson Center for Formal Mathematics and holds a Dean's Chair in Logic and Philosophy of Mathematics. His primary research interests include Formal Methods and AI for mathematics, mathematical logic, and the history and philosophy of mathematics. His work bridges deep theoretical inquiry with practical applications, particularly in formal verification and automated reasoning. His recent publications reflect a strong focus on the formalization of mathematics, automated reasoning, and the integration of AI techniques into theorem proving. Key themes include the development and application of the Lean theorem prover, premise selection, proof optimization, and the formal verification of computational claims, especially in the context of blockchain technology. CADE-25 Skolem Award Avigad advises PhD students, such as Chase Norman, and is involved in significant research grants and collaborations, including work with StarkWare. He is an active organizer of major academic events like Big Proof and the Formalization of Mathematics workshops. He leads the Hoskinson Center for Formal Mathematics, a research hub dedicated to advancing the field of formal mathematics.

پروفایل رسمی دانشگاه

Marco Sciannaمشاهده پروفایل

دانشیار

Polytechnic University of TurinItaly

Marco Scianna is an Associate Professor at the Department of Mathematical Sciences 'GL Lagrange' (DISMA) of Politecnico di Torino. His research focuses on multiscale and hybrid mathematical models for collective dynamics in biological systems, particularly cellular and animal groups. University: Politecnico di Torino Department: DISMA Academic Rank: Associate Professor His scientific work spans mathematical biology, computational modeling, and biomedical engineering, with applications in tumor growth, cell migration, and inflammation scenarios. Recent publications highlight hybrid models for cancer dynamics and bio-inspired optimization algorithms. He teaches advanced mathematical methods across multiple departments including Computer Science Engineering, Aerospace Engineering, and Mathematical Engineering. Current research projects include PRIORITY (Scientific Director, 2023-2025) and national PRIN grants. His expertise aligns with ERC sectors PE1_21 (Mathematics in sciences) and PE1_12 (Mathematical physics), contributing to SDG Goal 3 (Good health and well-being) through biomedical modeling.

پروفایل رسمی دانشگاه

Cristian Tiuمشاهده پروفایل

دانشیار

State University of New York at BuffaloUnited States

Cristian Tiu is the Chair and Associate Professor of Finance at the School of Management, University at Buffalo. He holds dual PhDs in Finance and Mathematics from the University of Texas at Austin. His research focuses on empirical and theoretical investments, particularly analyzing hedge funds, university endowments, and how economic instability influences asset pricing. Tiu has been recognized with awards such as the Bruton Fellowship (2002) and grants including the Q-Group Research Grant (2007). He is affiliated with the American Finance Association and the Western Finance Association. His work explores determinants of investment performance, portfolio allocation strategies for non-traditional investors, and market dynamics under economic stress. Recent research includes studies on hedge funds exploiting climate concerns, institutional investment frameworks, and the behavioral aspects of investor decision-making. Tiu's publications span journals like Review of Financial Studies and Journal of Financial Markets . Awards: Bruton Fellowship, University of Texas at Austin (2002) Q-Group Research Grant (2007) Real Estate Research Institute Grant (2009) Professional Activities: Member: American Finance Association, Western Finance Association Contributor to conferences on financial economics and accounting Advisor on endowment fund strategies and asset allocation His research bridges theoretical models with real-world investment practices, emphasizing practical implications for institutional investors and policymakers.

پروفایل رسمی دانشگاه

Andrew Kossenkovمشاهده پروفایل

استادیار

Cheyney University of PennsylvaniaUnited States

Andrew Kossenkov, Ph.D. serves as an Assistant Professor at The Wistar Institute, specifically within the Vaccine & Immunotherapy Center and the Genome Regulation and Cell Signaling Program of the Ellen and Ronald Caplan Cancer Center. His career trajectory began with bachelor's and master's degrees in computer science and bioinformatics from Moscow Engineering Physics Institute in Russia, followed by a Ph.D. in biomedical science from Drexel University in Philadelphia. He joined The Wistar Institute in 2007 as a postdoctoral fellow in the Showe lab and subsequently became managing director of the Bioinformatics Facility before his 2019 appointment as Assistant Professor. Dr. Kossenkov's research focuses on applying computational approaches to analyze various kinds of biomedical high-throughput data, with particular expertise in interpreting results and visualizing complex datasets. His laboratory collaborates extensively with other Wistar labs on research projects spanning cancer, infectious diseases, and fundamental biological questions including regeneration, stem cell biology, mitochondrial proteins, transcriptional regulation, synapse biology, blood development, and global epigenetic gene silencing. The Kossenkov Laboratory relies heavily on bioinformatics analysis of drug screen results, next-generation sequencing data, and proteomics. His publication record reveals a strong focus on cancer immunology, particularly ovarian cancer, melanoma, and breast cancer, with significant contributions to understanding how metabolic reprogramming, mitochondrial dynamics, and immune microenvironment interactions influence tumor progression and treatment response. His work often bridges computational biology with experimental validation through extensive collaborations across multiple institutions including Fox Chase Cancer Center, The Children's Hospital of Philadelphia, the University of Pennsylvania, Drexel University, New York University, Weill Cornell, and Harvard. Through his leadership of the Bioinformatics Facility, Dr. Kossenkov provides critical expertise for high-throughput data support, analysis, and annotation, developing database-oriented gene annotation pipelines and algorithms to visualize highly specific and intricate results. His laboratory offers flexible and customizable support for a wide range of experiments across multiple research domains, making significant contributions to both computational methodology development and biological discovery.

پروفایل رسمی دانشگاه