Massachusetts Institute of TechnologyUnited States
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.
Massachusetts Institute of TechnologyUnited States
Nadia Figueroa is the Shalini and Rajeev Misra Presidential Assistant Professor in the Mechanical Engineering and Applied Mechanics (MEAM) Department at the University of Pennsylvania. She holds secondary appointments in Computer and Information Science (CIS) and Electrical and Systems Engineering (ESE), and is a core faculty member at the GRASP Lab. Prior to Penn, she was a Postdoctoral Associate at MIT’s CSAIL and earned her PhD in Robotics from EPFL under Prof. Aude Billard. Her research focuses on physical and perceptual adaptive intelligence for robots, enabling fluid collaboration with humans in dynamic environments. Key applications include robot learning from demonstration , human-robot co-manipulation , safe navigation in human-centric spaces , and rehabilitation robotics . Her work integrates machine learning control theory artificial intelligence biomechanics psychology with guarantees of stability, safety, and robustness . Recent publications highlight advancements in reactive collision avoidance dynamical system learning intent estimation EEG-driven assistive control origami-based reconfigurable robots across platforms like autonomous vehicles and humanoid robots. She has authored a 2022 textbook on dynamical systems for robot control and received the Presidential Assistant Professorship at Penn.
Aarti Singh is a Professor in the Machine Learning Department at Carnegie Mellon University and Director of the NSF AI Institute for Societal Decision Making. She leads research at the intersection of machine learning, statistics, and decision making, with applications to scientific and societal domains. Her work focuses on designing principled interactive algorithms for learning and decision making under uncertainty. Education: Ph.D. in Electrical Engineering, University of Wisconsin-Madison (2008) M.S. in Electrical Engineering, University of Wisconsin-Madison (2003) B.E. in Electronics and Communication Engineering, University of Delhi (2001) Research Interests: Professor Singh's research centers on developing interactive machine learning algorithms that go beyond finding input-output associations to make higher-level decisions about the most informative data and actions. Her work spans autonomous decision making, including active sampling, stochastic optimization, bandits, and reinforcement learning that are statistically optimal, computationally tractable, and robust. She also investigates human factors in decision making, designing algorithms that model and leverage human feedback while accounting for bias, memory effects, and calibration. Her research has applications in material science, cosmology, and peer review systems. Research Trends: Professor Singh's recent publications demonstrate a strong focus on reinforcement learning, particularly in developing more efficient and robust algorithms for decision making under uncertainty. Her work bridges theoretical foundations with practical applications, spanning from fundamental algorithm development to real-world implementation in scientific domains. There's a clear trajectory toward integrating human factors into decision-making algorithms, with significant contributions to peer review systems and preference learning. Scientific Awards: NSF Career Award United States Air Force Young Investigator Award A. Nico Habermann Faculty Chair Award Harold A. Peterson Best Dissertation Award Multiple paper awards Advising and Grants: Professor Singh has advised numerous PhD and master's students, many of whom have gone on to faculty positions or research roles at leading institutions. Her research is supported by prestigious grants from ONR, Simons Foundation, AFRL, ARL, and NSF. She serves as General Chair (2025) and Program Chair (2020) for the International Conference on Machine Learning (ICML) and has held leadership roles in multiple professional organizations. Research Team: Professor Singh leads a vibrant research group within the Machine Learning Department at CMU, with current PhD students working on topics including reinforcement learning, human-AI collaboration, and decision making under uncertainty. She also directs the NSF AI Institute for Societal Decision Making, which brings together researchers from multiple disciplines to develop AI systems that support human decision making in societal contexts.
Sicun Gao is an Associate Professor in the Computer Science and Engineering department at the University of California, San Diego. His research focuses on practical algorithms for NP-hard search and optimization problems in computational systems, emphasizing combinatorial perspectives in numerical and statistical contexts to achieve reliable autonomy. Research Interests: Automated reasoning, Hamilton-Jacobi reachability, safe reinforcement learning, control barrier functions, and optimization in cyber-physical systems. Teaching: Courses on AI search, optimization, and graduate research seminars. The 15 most recent publications highlight advancements in safe AI control, motion planning, and policy optimization, often integrating neural networks with formal verification. Awards include the IEEE Power & Energy Society Technical Committee Prize Paper Award and the IROS RoboCup Best Paper Award. He advises PhD students working on AI-driven control and robotics, with alumni placed at institutions like Seoul National University, Amazon, and Apple. Grants include NSF Career, Air Force Young Investigator, and DARPA Assured Autonomy funding. His lab develops tools like dReal for automated reasoning in nonlinear theories over the reals.
Bo Dai is an Assistant Professor at the School of Computational Science and Engineering, Georgia Institute of Technology, and a Staff Research Scientist at Google DeepMind. His research focuses on Agent AI, Generative Models, and Representation Learning, aiming to create decision-making agents through world modeling. He holds a Ph.D. from Georgia Tech (2013–2018) and previously worked at Google Brain. Dai has authored numerous influential papers in top conferences like NeurIPS, ICML, and ICLR, and received the AISTATS Best Paper Award (2016). Education: Ph.D., School of Computational Science and Engineering, Georgia Tech (2013–2018) Research Interests: Reinforcement Learning and Representation Learning for decision-making agents Generative Models and their integration with Agent AI Provable and scalable algorithms for real-world applications His work bridges theory and practice, emphasizing spectral representations and provable guarantees in complex systems. Key Article Trends: His recent work emphasizes scalable spectral methods for multi-agent systems, diffusion policies, and representation-based techniques in reinforcement learning. He also explores LLM alignment and sim-to-real transfer learning. Awards: AISTATS Best Paper Award (2016) NeurIPS Workshop Best Paper (2017) Ross Fellowship (2011–2012) Advising & Grants: Supervises 6 current Ph.D. and M.S. students. Active in organizing workshops on reinforcement learning and serves as an Area Chair for top conferences. Labs & Software: Leads development of Representation-based Reinforcement Learning and Repr-Control toolboxes for nonlinear control and stochastic systems.
Minseok Ryu is an Assistant Professor at the School of Computing and Augmented Intelligence, Arizona State University (ASU). He holds a Ph.D. in Industrial & Operations Engineering from the University of Michigan (2020). Prior to ASU, he was a postdoctoral appointee at Argonne National Laboratory’s Mathematics and Computer Science Division. His research focuses on optimization methodologies for decentralized and stochastic decision-making distributed algorithms for machine learning and operations research applications in healthcare systems and energy grids Teaching responsibilities include courses on applied deterministic operations research (IEE 574), optimization (IEE 622), and research practicums (IEE 792). His work emphasizes computational challenges in decision-making under uncertainty, with recent projects addressing nurse staffing optimization, federated learning frameworks (e.g., APPFL/APPFLX), and resilient power grid systems. He has no recorded academic awards but actively contributes to open-source software and cross-disciplinary research collaborations. Research interests bridge theory and practice, targeting social goods through optimization techniques like distributionally robust optimization, federated learning, and heuristic algorithms for energy and healthcare systems.
Clifford Stein is a Professor of Industrial Engineering and Operations Research (IEOR) and Computer Science at Columbia University, and Associate Director for Research at the Data Science Institute. He holds a Ph.D. (1992), M.S. (1989), and B.S.E. (1987) from MIT and Princeton University, respectively. His research focuses on algorithms, combinatorial optimization, operations research, scheduling, and computational biology. A co-author of the best-selling textbook Introduction to Algorithms , Stein has published widely in top venues and holds prestigious awards like ACM Fellow and NSF Career Award. His work includes foundational contributions to minimum cut algorithms, scheduling theory, and network optimization, supported by NSF and Sloan Foundation grants. Stein has advised over 40 graduate and undergraduate students, many now in academia and industry.
Ram Vasudevan is an Associate Professor and Associate Chair of Graduate Studies in the Department of Robotics at the University of Michigan. His research focuses on developing tools for safe and robust deployment of robotic systems, emphasizing optimization, nonlinear control, and real-world applications. Key areas include legged robot locomotion, shared control systems, and safety-critical autonomous systems. Research Interests: Optimization and control of nonlinear systems, locomotion of legged robots, shared control active safety systems, and automation of diagnostic/rehabilitative tasks. His ROAHM Lab prioritizes mathematical guarantees for robotic performance, with applications in medical robotics, autonomous vehicles, and soft robotics. Recent work emphasizes trajectory optimization, sensor fusion, and safety-aware control strategies. He has contributed to benchmarks for autonomous vehicle perception and novel methods in thermal image restoration using neural radiance fields. Awards: None explicitly listed in provided text. Labs/Teams: Directs the ROAHM Lab, collaborating on projects like robotic tail mechanics, real-time motion planning, and sensor data analysis. Active in academic conferences including RSS and ICRA.
PD Dr. Christian Zillinger is a researcher at the Karlsruhe Institute of Technology (KIT), specifically within the Department of Mathematics. He leads the Junior Research Group "Stability and Instability in Fluids and Materials" (AP6) as part of the CRC 1173. His office is located at Kollegiengebäude Mathematik (20.30), room 2.024 in Karlsruhe, Germany. Dr. Zillinger obtained his PhD under the supervision of Herbert Koch at the University of Bonn. Following his doctorate, he served as an assistant professor (NTT) at the University of Southern California and was a postdoctoral fellow at BCAM (Basque Center for Applied Mathematics). He recently completed his habilitation thesis titled "On Mixing and Resonances in Fluid Systems" at KIT in 2023. Dr. Zillinger's research focuses on partial differential equations motivated by physical problems, particularly in fluid dynamics and material sciences. His work encompasses several key areas: Mixing as a (de)stabilizing mechanism in fluids and inviscid damping Cascades of resonances and instabilities in fluids and plasmas Convex integration and microstructures in materials, including rigidity and flexibility phenomena Magnetic fluids and magnetohydrodynamics Partial dissipation in the Boussinesq equations His recent publications demonstrate a strong focus on stability and instability phenomena in fluid systems, with particular attention to mathematical analysis of PDEs governing fluid behavior. He has made significant contributions to understanding echo chains, resonance phenomena, and damping mechanisms in various fluid models. His work bridges theoretical mathematics with applications in physics and materials science, often employing advanced analytical techniques to address challenging problems in nonlinear PDEs. Dr. Zillinger actively teaches courses at KIT, including "Klassische Methoden für partielle Differentialgleichungen" (Classical Methods for Partial Differential Equations), "Introduction to convex integration," "Introduction to Kinetic Equations," and seminars on microstructure in materials and fluid dynamics. He leads the Junior Research Group "Stability and Instability in Fluids and Materials" which is part of the Collaborative Research Centre (CRC) 1173 at KIT, focusing on wave phenomena. This research group investigates mathematical aspects of stability and instability in physical systems, with applications to fluid dynamics and material science.
Prof. Gabriela Hug is a Full Professor at ETH Zurich's Department of Information Technology and Electrical Engineering, serving as Deputy Head of the Department and Deputy Head of the Power Systems and High Voltage Lab. She leads the Energy Science Center (ESC) and holds adjunct roles at Carnegie Mellon University. Her research focuses on modeling, control, and optimization of electric power systems for sustainable energy transitions. Education: PhD in Information Technology and Electrical Engineering, ETH Zurich (2004–2008) MSc in Information Technology and Electrical Engineering, ETH Zurich (1999–2004) Research Interests: Her work addresses challenges in smart grid integration, renewable energy systems, and advanced control strategies. Key areas include vehicle-to-grid technologies, distribution network optimization, and energy storage system planning. She emphasizes data-driven approaches and collaborative frameworks for grid resilience and flexibility. Key Achievements: Recipient of the 2019 ALEA Award (ETH Zurich) NSF Career Award (2013) IEEE Outstanding Young Engineer Award (2013) Leadership & Roles: Co-Director, NCCR Automation (Swiss National Centre of Competence in Research) Board Chair, Energy Science Center (ESC) Adjunct Faculty, Carnegie Mellon University Labs & Teams: Power Systems Laboratory (ETH Zurich) Energy Science Center (multi-disciplinary research hub)
Virginia Smith is the Leonardo Associate Professor of Machine Learning at Carnegie Mellon University (CMU), with a courtesy appointment in the Department of Electrical and Computer Engineering. She holds a Ph.D. from UC Berkeley and undergraduate degrees from the University of Virginia. Her research focuses on developing efficient, privacy-preserving machine learning systems, particularly in federated learning, distributed optimization, and resource-constrained settings. Key areas include federated learning frameworks like CoCoA and Ditto, unlearning algorithms, and privacy amplification techniques. Smith's work bridges theory and practice, addressing challenges such as data heterogeneity, fairness, and robustness. She has led initiatives like the LEAF benchmark for federated learning and has contributed to open-source tools for scalable ML systems. Her awards include the Sloan Research Fellowship, Samsung AI Researcher of the Year (2023), and an NSF CAREER Award. She is actively involved in curriculum development, teaching courses on federated learning and large-scale ML at CMU. Her research group explores cutting-edge topics like federated optimization with sparse communication, unlearning in LLMs, and secure ML pipelines. Collaborations span academia and industry, with applications in healthcare, IoT systems, and AI safety. Smith serves as Program Chair for ICML 2025 and frequently contributes to workshops on federated learning and trustworthy AI.
Martin T. Wells is the Charles A. Alexander Professor of Statistical Sciences at Cornell University, with joint appointments in the Department of Statistical Science, Department of Biological Statistics and Computational Biology, Department of Social Statistics, and as Professor of Clinical Epidemiology and Health Services Research at Weill Medical School. He serves as Editor-in-Chief of the ASA-SIAM Book Series and Co-Editor of the Journal of Empirical Legal Studies. Cornell University, Ithaca, NY Weill Cornell Medical College Research Interests span applied and theoretical statistics, Bayesian methods, biostatistics, clinical epidemiology, and computational biology. His work bridges disciplines like finance, legal studies, and health services research. Article Trends highlight advancements in Bayesian modeling, quantum cognition machine learning, tensor analysis, and misclassification correction, with applications in genomics, finance, and public health. Fellow of the American Statistical Association Fellow of the Royal Statistical Society Contributions include developing statistical software (e.g., rTensor), methodological innovations in clinical trials, and empirical legal studies on civil rights and the death penalty.
Rajeev Alur is the Zisman Family Professor in the Department of Computer and Information Science at the University of Pennsylvania, leading the School of Engineering and Applied Science. He is the Founding Director of the ASSET Center for Trustworthy AI and a member of the PRECISE Center. His research focuses on formal methods for system design, integrating AI, cyber-physical systems, and machine learning with logical reasoning to ensure safety in autonomous systems. Alur has held leadership roles in major NSF projects like ExCAPE and has directed the Embedded and Multi-Scale Systems (EMBS) program. His research interests span formal verification, temporal logics, programming abstractions, and synthesis techniques. Notable contributions include the development of Nested Words (visibly pushdown languages), streaming string transducers, and tools like AutomataTutor for education. He has advised over 60 PhD students and postdocs, many of whom now hold academic and industry leadership positions. Alur’s awards include the 2024 Knuth Prize and the 2016 Alonzo Church Award. His work on Verisig and compositional verification of neural networks has advanced safety-critical AI applications. He teaches foundational courses like CIS 2620 and develops educational tools, emphasizing both theoretical rigor and practical impact. Key projects include the ASSET Center’s focus on trustworthy AI, integration of logical specifications in reinforcement learning, and formal verification of closed-loop systems with neural components. His publications span over 350 papers, with recent work addressing neurosymbolic learning, security in large language models, and efficient neural network verification.
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.
Andrew Childs is a Professor at the University of Maryland, affiliated with the Department of Computer Science and the Institute for Advanced Computer Studies (UMIACS). He serves as Director of the NSF Quantum Leap Challenge Institute for Robust Quantum Simulation (RQS) and is a Fellow at the Joint Center for Quantum Information and Computer Science (QuICS). His research focuses on quantum algorithms for simulating physical systems, algebraic problems, and quantum walk protocols, with applications in quantum computing and computational complexity. University of Maryland Institute for Advanced Computer Studies (UMIACS) Joint Center for Quantum Information and Computer Science (QuICS) NSF Quantum Leap Challenge Institute for Robust Quantum Simulation Childs' research spans quantum simulation, quantum Fourier transform, phase estimation, and Hamiltonian dynamics. He has developed techniques to reduce quantum computational resources for simulating quantum systems and explored limitations of quantum computers through hidden subgroup problems and non-unitary dynamics. His publications cover diverse areas including quantum walk optimization, Hamiltonian simulation methods, and applications to cryptography and condensed matter physics. Recent works address spatial search algorithms, product formulas for commutators, and quantum routing protocols. As an educator, Childs has taught courses on quantum algorithms and information processing at both the University of Maryland and University of Waterloo, with lecture notes and materials spanning multiple years. Contact: amchilds@umd.edu | Office: ATL 3359 | Affiliated with University of Maryland's quantum research institutes.
