جست‌وجوی استاد و پژوهشگر

Ricky Ini Liuمشاهده پروفایل

دانشیار

• Algebraic Combinatorics
• Algebraic Geometry
• Combinatorial Geometry
• +۵ مورد دیگر

Ricky Ini Liu is an Associate Professor in the Department of Mathematics at the University of Washington. Previously, he held positions at North Carolina State University, the University of Michigan, and the University of Minnesota. He earned his Ph.D. in Mathematics from MIT in 2010 under Alexander Postnikov. His research focuses on algebraic combinatorics, particularly its intersections with algebraic geometry, combinatorial geometry, and representation theory. Key interests include Schubert polynomials, polytopes, Hopf algebras, and Kronecker coefficients. He has contributed to foundational work on birational rowmotion, Gelfand-Tsetlin polytopes, and Fomin-Kirillov algebras. Liu has taught a wide range of courses at UW, including special topics in dynamical algebraic combinatorics, combinatorial theory, and problem-solving. He has also been a key instructor at the Mathematical Olympiad Summer Program since 2007 and mentored undergraduates in research programs at the University of Minnesota, Duluth. His publications span high-impact journals like Selecta Mathematica and Journal of Combinatorial Theory , with recent work addressing topics such as determinantal formulas for Schubert polynomials and applications of flow polytopes to diagonal harmonics. Though no specific awards are listed, his extensive publication record and academic roles reflect significant contributions to combinatorial mathematics.

Luca Carloneمشاهده پروفایل

دانشیار

• Robotics
• Autonomous Systems
• Computer Vision
• +۶ مورد دیگر

Luca Carlone is the Boeing Career Development Associate Professor in the Department of Aeronautics and Astronautics at MIT and a Principal Investigator at the Laboratory for Information & Decision Systems (LIDS) . He leads the SPARK Lab , focusing on developing certifiable perception algorithms for autonomous systems. PhD in Mechatronics (Polytechnic University of Turin, 2012) Research spans robotics, computer vision, and optimization Research Interests : Certifiable Perception algorithms for high-integrity systems High-level Perception (geometric, semantic, physical understanding) Efficient Perception methods for resource-constrained robots Scientific Contributions include: 2024 Outstanding Systems Paper Award (RSS) 2023 IEEE Transactions on Robotics King-Sun Fu Award 2021 NSF CAREER Award 2020 AIAA Advising Award 2019 Amazon Research Award Advising : Teaches graduate courses like Visual Navigation for Autonomous Vehicles and Robotics: Science and Systems . Collaborates with institutions including JPL, Caltech, and KAIST through the DARPA SubT Challenge.

David B. Shmoysمشاهده پروفایل

استاد

• Operations Research
• Computer Science
• Optimization
• +۴ مورد دیگر

David B. Shmoys is the Laibe/Acheson Professor of Business Management & Leadership Studies at Cornell University's School of Operations Research and Information Engineering (ORIE) and holds a joint appointment in the Department of Computer Science. He is a leading researcher in approximation algorithms, stochastic optimization, and computational sustainability. His work emphasizes data-driven decision-making in enterprise and society, with applications ranging from healthcare logistics to environmental conservation. Shmoys has advised 27 Ph.D. students and served as an editorial board member for top journals like Operations Research and Mathematics of Operations Research. Education: Ph.D. in Computer Science, University of California, Berkeley (1984). Postdoctoral positions at MSRI and Harvard University, followed by faculty roles at MIT before joining Cornell. Research Interests: Design and analysis of approximation algorithms for NP-hard problems, stochastic optimization, scheduling, facility location, and inventory management. Applications include computational sustainability, epidemiological modeling, and political districting optimization. Articles Trends: Focus on optimization under uncertainty, computational sustainability, and real-world applications like air ambulance routing, bike-sharing systems, and gerrymandering analysis. Notable works include the 2018 Wagner Prize-winning paper on bike-sharing analytics and the 2013 Lanchester Prize-winning textbook on approximation algorithms. Awards: Lanchester Prize (2013), Daniel H. Wagner Prize (2018), Fellowships from ACM, INFORMS, and SIAM, NSF Presidential Young Investigator (1987). Advising & Grants: Over 27 advised Ph.D. students, with former students at MIT, Waterloo, Brown, and D-Wave. Active in grants related to data science and sustainability. Labs/Teams: Involved in the Institute of Computational Sustainability at Cornell, focusing on applying algorithms to environmental challenges. Collaborates with organizations like Motivate (bike-sharing) and Ornge (air ambulance services).

Nina Balcanمشاهده پروفایل

استاد

• Machine Learning
• Artificial Intelligence
• Theoretical Computer Science
• +۱۲ مورد دیگر

Nina Balcan is a Professor at Carnegie Mellon University and holds the Cadence Design Systems Professorship in Computer Science. She is affiliated with the School of Computer Science, specifically the Machine Learning Department (MLD) and Computer Science Department (CSD). Her research spans foundational aspects of machine learning, artificial intelligence, theoretical computer science, algorithmic game theory, and interdisciplinary connections in learning theory. Machine Learning Artificial Intelligence Theoretical Computer Science Algorithmic Game Theory Multi-Agent Systems Data-Driven Algorithm Design Her recent work focuses on advancing algorithm design through machine learning, robustness in adversarial environments, and economic modeling. Key contributions include Learning to Branch (JACM 2024), Regret Minimization in Stackelberg Games (NeurIPS 2024), and Learning Accurate Decision Trees (UAI 2024, Outstanding Student Paper Award). She has pioneered novel approaches to data-driven optimization, semi-supervised learning, and privacy-preserving clustering. Nina has received prestigious accolades including ACM Fellow AAAI Fellow Simons Investigator 2019 ACM Grace Murray Hopper Award Her teaching at CMU includes graduate courses on machine learning, advanced machine learning, and specialized topics like algorithmic game theory.

• Stochastic programming
• Two-phase and multi-phase models
• Scenario generation and reduction
• +۹ مورد دیگر

Trine Krogh Boomsma is a Professor in the Department of Insurance and Economics at the University of Copenhagen's Department of Mathematical Sciences. Her research focuses on optimization under uncertainty with significant applications in energy systems, particularly electricity markets, renewable energy investments, and power system planning. PhD in Mathematics-Economics, Aarhus University (2003-2007) Visiting PhD at University of Duisburg-Essen (2004) Academic career includes positions at Risø National Laboratory for Renewable Energy and Imperial College London Her work spans stochastic programming, real options analysis, and dynamic programming to address energy sector challenges. Key areas include support schemes for renewables, market risk modeling, and operational optimization of hybrid conventional-renewable systems. Recent research explores policy impacts on investment decisions and advanced scenario generation techniques. Major publications (2012-2020) cover renewable energy policy frameworks, power plant valuation models, and sequential market bidding strategies. These works emphasize electricity market dynamics, investment risk quantification, and robust planning under uncertainty. She teaches linear programming, integer programming, and stochastic programming applications in operational analysis, contributing to energy economics education at the department.

Alexandre Jacquillatمشاهده پروفایل

دانشیار

• Data-driven decision-making
• Stochastic optimization
• Integer optimization
• +۶ مورد دیگر

Alexandre Jacquillat is the Maurice F. Strong Career Development Associate Professor and Associate Professor of Operations Research and Statistics at MIT Sloan School of Management. His research focuses on data-driven decision-making with applications in air traffic management, urban mobility, and decarbonization. He holds a PhD in Engineering and MS degrees from MIT and École Polytechnique. Education PhD in Engineering, MIT MS in Technology and Policy, MIT MS in Applied Mathematics, École Polytechnique Research Interests His work develops scalable optimization models for efficient, equitable, and sustainable operations. Key areas include stochastic optimization, large-scale systems design, and machine learning applications in transportation and public policy. Recent projects explore vertiport planning for urban aerial mobility and prescriptive analytics for pandemic response. Awards Harold W. Kuhn Award (2024) INFORMS Harvey Greenberg Research Award (2023) MIT Jamieson Prize for Excellence in Teaching (2023) Multiple INFORMS Best Paper Awards (2015-2023) Named Leading Academic Data Leader by Chief Data Officer Magazine (2021-2022) Teaching & Grants Teaches courses in optimization (15.093, 15.083) and analytics (15.072). His grants support work in robotic warehousing, air traffic scheduling, and disaster response logistics. Advises on transportation analytics for industry and government. Labs/Teams Leads MIT Sloan's operations research group, collaborating with industry partners like McKinsey & Co. and Booz Allen Hamilton on transportation analytics and optimization projects.

Fatma Kılınç-Karzanمشاهده پروفایل

دانشیار

• Mathematical Optimization
• Convex Optimization
• Non-convex Optimization
• +۷ مورد دیگر

Fatma Kılınç-Karzan is an Associate Professor of Operations Research at Carnegie Mellon University's Tepper School of Business, with a courtesy appointment as Associate Professor of Computer Science. She is also affiliated with the Algorithms Combinatorics and Optimization (ACO) PhD Program and was a Visiting Scientist at Berkeley's Simons Institute for the Theory of Computing during Fall 2017. Her educational background includes a PhD from Georgia Institute of Technology's H. Milton Stewart School of Industrial & Systems Engineering with a minor in Mathematics, supervised by Prof. Arkadi Nemirovski. She earned her B.S. and M.S. degrees from the Industrial Engineering Department of Middle East Technical University with a minor in Information Systems. Dr. Kılınç-Karzan's research spans mathematical optimization with emphasis on convex and non-convex optimization theory, algorithms, and applications. Her work bridges theoretical foundations with practical implementations in optimization under uncertainty (robust optimization, chance constraints, distributionally robust optimization), machine learning (preference learning from limited data), and business analytics. She develops foundational theory for large-scale optimization problems with applications in decision making under uncertainty and high-dimensional statistical inference. Analysis of her recent publications reveals a strong focus on convex hull characterizations, semidefinite programming relaxations, distributionally robust optimization, and online convex optimization frameworks. Her work demonstrates increasing integration of optimization theory with machine learning applications, particularly in developing data-driven approaches for decision making under uncertainty. NSF CAREER Award (2015) INFORMS Optimization Society Young Researcher Prize (2015) INFORMS Junior Faculty Interest Group (JFIG) Best Paper Award (2014) BP Junior Faculty Chair (2014-2015) Faculty Giving Chair (2012-2013) Wimmer Fellowship (2012-2013) Dr. Kılınç-Karzan has successfully mentored numerous PhD students who have received prestigious awards, including the 2021 INFORMS Optimization Society Best Student Paper (1st prize) and multiple honorable mentions. Her research has been supported by significant grants including an NSF CAREER Award, an ONR grant (with S. Küçükyavuz), and an AFOSR grant. She serves on editorial boards for Mathematical Programming, Operations Research, Mathematics of Operations Research, and other leading journals, and has held leadership positions in professional societies including the Mathematical Optimization Society and INFORMS Computing Society. Through her affiliations with CMU's Tepper School, Computer Science Department, and ACO Program, she collaborates across disciplines to advance optimization theory and its applications. Her professional service includes committee chair roles for major INFORMS competitions and program committee leadership for international optimization conferences.

Kuldeep S. Meelمشاهده پروفایل

دانشیار

• Automated Reasoning
• Formal Methods
• Artificial Intelligence
• +۶ مورد دیگر

Kuldeep S. Meel is the Stephen Fleming Early-Career Associate Professor at the School of Computer Science, Georgia Institute of Technology, and an Associate Professor at the University of Toronto (on leave). He previously held a NUS Presidential Young Professorship at the National University of Singapore. His research focuses on automated reasoning, aiming to enable computing systems to handle uncertain real-world environments through scalable techniques integrating randomized algorithms, statistical inference, formal methods, distribution testing, and software engineering. Core research areas: Automated Reasoning, Formal Methods, Approximate Model Counting, Probabilistic Inference, Constraint Solving His research group has achieved significant recognition in both individual awards and publications. Key trends in his recent work include advancing model counting algorithms, developing frameworks for probabilistic explanations, and improving scalability in formal verification and constraint satisfaction. His tools have consistently ranked top in international competitions, demonstrating practical impact in automated reasoning. 2019 NRF Fellowship for AI 2022 ACP Early Career Researcher Award 2020 IEEE Intelligent Systems AI's 10 to Watch Top placements in Model Counting, SAT, and CAV competitions He mentors a diverse group of PhD and Master's students and collaborates with institutions worldwide. His group's publications span premier conferences in AI, formal methods, and design automation, reflecting interdisciplinary contributions to theoretical and applied computer science.

Illya V. Hicksمشاهده پروفایل

استاد

• Combinatorial Optimization
• Integer Programming
• Graph Theory
• +۵ مورد دیگر

Illya V. Hicks is a Professor in the Computational and Applied Mathematics Department at Rice University. He holds a PhD from Rice University (2000) and a BS from Texas State University (1995). His research focuses on combinatorial optimization, integer programming, graph theory, and matroid theory, with applications in social networks, cancer treatment, and network design. He has advised numerous doctoral, post-doctoral, and masters students. Education: PhD and MA in Computational and Applied Mathematics, Rice University, 2000 BS in Mathematics, Texas State University, 1995 Research Interests: Utilizing graph decomposition techniques to solve NP-complete problems, including branch decompositions and matroid circuit problems. Applications include sensor network design, healthcare logistics, and algorithmic graph theory. Awards: Recognized with the 2015 Presidential Mentoring Award (Rice University), 2010 Forum Moving Spirit Award (INFORMS), and the 2005 Optimization Prize for Young Researchers. Grants and Projects: Includes NSF-funded research on branch decomposition techniques, submodular optimization, and healthcare service distribution. Active in promoting minority participation in operations research through travel grants and mentoring initiatives. Labs/Teams: Engaged in collaborative research on graph algorithms, combinatorial optimization, and interdisciplinary applications in healthcare and engineering.

Yin Tat Leeمشاهده پروفایل

دانشیار

• Convex Optimization
• Convex Geometry
• Graph Algorithms
• +۲ مورد دیگر

Yin Tat Lee is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering , University of Washington, and a Senior Principal Researcher in Microsoft AI. His research spans convex optimization , convex geometry , graph algorithms , online algorithms , and differential privacy , with applications in machine learning and theoretical computer science.

• Energy Systems Optimization
• Conceptual Process Design
• Life Cycle Assessment
• +۸ مورد دیگر

Prof. Dr. André Bardow is a Full Professor in Energy and Process Systems Engineering at ETH Zurich , leading research at the intersection of thermodynamics, machine learning, and sustainable energy systems. Previously, he held professorships at RWTH Aachen University (2010-2020) and TU Delft (2007-2010). He also served as part-time director at Forschungszentrum Jülich (2017-2022) and visiting professor at UC Santa Barbara (2015/16). His work focuses on energy systems optimization , computer-aided molecular design , and CO2 capture & utilization . PhD from RWTH Aachen University Current ETH Zurich affiliation Former roles at RWTH Aachen, TU Delft, Jülich Research Center His research integrates machine learning with thermodynamic modeling to optimize processes like crystallization and electrochemical cooling . Recent publications demonstrate advancements in solvent design, CO2 transport LCA, and ORC working fluid optimization. He chairs the VDI Technical Committee for Thermodynamics (2016-2024) and has received multiple awards including the Covestro Science Award and Arnold-Eucken-Award . Current projects address carbon circular economies , electrified chemical production , and AI-driven process optimization . His lab at ETH Zurich develops cutting-edge technologies like ML-CAMPD frameworks for sustainable separation processes and photoacid-based CO2 capture systems. Funding from the H2020 Systemic Expansion of Circular Ecosystems (grant 101036854) supports these initiatives. 2024 Clarivate Highly Cited Researcher 2022 Inaugural Lecture: "To sustainability and beyond: A computer-animated story on energy & chemicals" Recipient of multiple teaching and research excellence awards

Yongjia Songمشاهده پروفایل

دانشیار

• Optimization
• Stochastic Programming
• Integer Programming
• +۵ مورد دیگر

Dr. Yongjia Song is an Associate Professor in the Department of Industrial Engineering at Clemson University's College of Engineering, Computing and Applied Sciences. His research focuses on optimization under uncertainty, stochastic programming, and network interdiction with applications in disaster logistics, energy systems, and humanitarian operations. BS in Computational Mathematics (2009), Peking University MS in Industrial Engineering (2012), University of Wisconsin-Madison MS in Computer Sciences (2012), University of Wisconsin-Madison PhD in Industrial Engineering (2013), University of Wisconsin-Madison His work addresses complex systems under uncertainty through: Stochastic and robust optimization frameworks Integer programming for discrete decision problems Applications in disaster response and transportation networks Evacuation planning and shelter management Human trafficking disruption modeling Recent publications demonstrate trends in: Multistage stochastic programming for dynamic disaster response Bayesian preference elicitation for complex design problems Network interdiction models for security and trafficking disruption Integration of logistics and evacuation planning under uncertainty Adaptive algorithms for large-scale optimization Professional affiliations include: Institute for Operations Research and the Management Sciences (INFORMS) Mathematical Optimization Society (MOS) Society for Industrial and Applied Mathematics (SIAM) He teaches graduate courses in risk modeling (IE 8090) and actively works on practical implementations of optimization techniques in real-world systems.

• Data Science
• Numerical Optimisation
• Medical Imaging
• +۳ مورد دیگر

Raphael Hauser is an Associate Professor in Numerical Mathematics at the University of Oxford's Mathematical Institute, Director of Graduate Studies - Teaching, and Tanaka Fellow in Applied Mathematics at Pembroke College. His affiliations include membership in the Data Science, Numerical Analysis, and Mathematical and Computational Finance research groups, as well as a fellowship at the Alan Turing Institute. Education: PhD in Operations Research, Cornell University, Ithaca, USA Dipl. Math. ETH, Swiss Federal Institute of Technology (ETH Zurich), Switzerland Research interests span data science, numerical optimisation, medical imaging, distributed computing, and applied probability/statistics. His work integrates mathematical rigor with practical applications, particularly in optimization algorithms, machine learning theory, and medical imaging technology. Publications focus on optimization theory, stochastic processes, medical imaging systems, and computational finance, with recurring themes in non-convex optimization guarantees, PCA variants, and X-ray tomography innovations. Awards: Oxford University Teaching Award (2007) SIAM Optimization Prize (2005) SIAM Student Paper Prize (2000) Advising includes 15+ DPhil students and 40+ MSc students, with projects in optimization, finance, imaging, and machine learning. Current postdocs and students are affiliated with the Alan Turing Institute and industrial partners like Siemens and Macquarie Group. He leads teams in the Mathematical Institute's research groups and collaborates with the Alan Turing Institute on large-scale data science initiatives.

Pinar Keskinocakمشاهده پروفایل

استاد

• Health Systems
• Humanitarian Systems
• Supply Chain Management
• +۵ مورد دیگر

Pinar Keskinocak serves as the H. Milton and Carolyn J. Stewart School Chair and Professor in the H. Milton Stewart School of Industrial and Systems Engineering at the Georgia Institute of Technology. She co-founded and directs the Center for Health and Humanitarian Systems, demonstrating leadership in both academic administration and research innovation. Her career includes prior roles as College of Engineering ADVANCE Professor and interim associate dean for faculty development, alongside industry experience at IBM T.J. Watson Research Center. Her educational foundation includes a Ph.D. in Operations Research from Carnegie Mellon University and M.S. and B.S. degrees in Industrial Engineering from Bilkent University. This rigorous training underpins her interdisciplinary approach to complex societal challenges. Dr. Keskinocak's research pioneers operations research applications for societal impact , with dual emphases on health systems and humanitarian logistics . She develops advanced models for infectious disease dynamics (including COVID-19, malaria, and Guinea worm), vaccination strategies, disaster response, and supply chain optimization. Her work uniquely bridges engineering analytics with real-world implementation through partnerships with the CDC, American Red Cross, Carter Center, and Children's Healthcare of Atlanta. Analysis of her 2023-2025 publications reveals intensifying focus on eradication program modeling for polio and Guinea worm, with increasing integration of machine learning for predictive accuracy in vaccine distribution. A pronounced trend addresses health equity through targeted interventions for under-immunized populations in Sub-Saharan Africa, emphasizing resource allocation under constraints and cross-border coordination challenges. Her scientific recognition includes: INFORMS Fellow (2015) NSF CAREER Award (2001) Outstanding Professional Education Award, Georgia Tech (2018) Denning Award for Global Engagement, Georgia Tech (2016) Women in Engineering Excellence Teaching Award (2005) Moving Spirit Award, INFORMS (2005) Dr. Keskinocak has secured extensive project funding through collaborations with federal agencies and NGOs, directing research on pandemic response systems, vaccine logistics, and disaster debris management. While specific advisees aren't publicly cataloged, her leadership in the Center for Health and Humanitarian Systems mentors numerous graduate researchers through interdisciplinary projects. She significantly influences national policy via National Academies committees addressing supply chain resilience and vaccine distribution infrastructure. The Center for Health and Humanitarian Systems operates as a dynamic hub where engineering rigor meets humanitarian action, coordinating multi-institutional teams to develop deployable solutions for global health crises and disaster response systems.

Chandra Chekuriمشاهده پروفایل

استاد

• Theoretical Computer Science
• Design and Analysis of Algorithms
• Discrete and Combinatorial Optimization
• +۶ مورد دیگر

Chandra Chekuri is the Paul and Cynthia Saylor Professor in the Department of Computer Science at the University of Illinois Urbana-Champaign, situated within the Grainger College of Engineering. He has been actively contributing to theoretical computer science for over two decades, with significant leadership roles including serving as Editor-in-Chief of the prestigious SIAM Journal on Computing since May 2025. His academic journey began with a B.Tech in Computer Science from the Indian Institute of Technology, Madras in 1993, followed by a Ph.D. in Computer Science from Stanford University in 1998. Prior to joining UIUC, he spent eight years as a Member of Technical Staff at Bell Labs, Lucent Technologies. Chekuri's research focuses on theoretical computer science with particular emphasis on the design and analysis of algorithms, discrete and combinatorial optimization, approximation algorithms, mathematical programming, and graph theory. His work explores fundamental connections between discrete structures and optimization problems, with applications spanning network design, data analysis, and computational complexity. His recent publications demonstrate a continued focus on hypergraph algorithms, submodular function optimization, and graph partitioning problems, showing how theoretical insights can yield practical algorithmic improvements. His approach often combines continuous relaxations with discrete rounding techniques to develop approximation algorithms for NP-hard problems. As Editor-in-Chief of SIAM Journal on Computing, Chekuri leads one of theoretical computer science's most respected publications, which covers analysis and design of algorithms, algorithmic game theory, computational complexity, and other mathematical aspects of computer science. His editorial leadership follows previous service as Associate Editor for several major journals including SIAM Journal on Computing, Mathematics of Operations Research, and Mathematical Programming. ACM Fellow (January 2024) Scott Fisher Teaching Award (for year 2022-23) from CS Department Chekuri has advised numerous PhD students to completion, including Kent Quanrud, Vivek Madan, Shalmoli Gupta, and Chao Xu, with several currently in progress such as Tanvi Bajpai, ElFarouk Harb, Rhea Jain, and Weihao Zhu. His teaching portfolio includes graduate courses on Randomized Algorithms, Approximation Algorithms, Algorithms for Big Data, and Combinatorial Optimization. He has served as Director of the Graduate Program in the Department of Computer Science from May 2014 to August 2017, demonstrating significant administrative leadership within the department.