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.
Huan Zhang serves as an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Illinois Urbana-Champaign (UIUC), with affiliate appointments in the Department of Computer Science and the Coordinated Science Laboratory. His research focuses on building trustworthy AI systems with formal verification techniques to provide provable guarantees for safety-critical applications, particularly in machine learning and neural networks. Dr. Zhang received his Ph.D. in Computer Science from UCLA in 2020, advised by Professor Cho-Jui Hsieh. His academic journey includes an M.S. in Computer Engineering from UC Davis (2014) and a Bachelor of Engineering from Zhejiang University (2012). Prior to joining UIUC, he completed a postdoctoral fellowship at Carnegie Mellon University (2021-2023) with Professor Zico Kolter. Huan Zhang's research program centers on formal verification of machine learning systems, with particular emphasis on neural network verification, AI safety, robustness, and reliability. He pioneered the linear bound propagation-based verification framework that enables formal verification for networks with millions of neurons. His work spans five major research categories: formal verification of machine learning, training trustworthy ML models, machine learning safety and adversarial attacks, reinforcement learning safety, and optimization for scalable machine learning. His CROWN framework (NeurIPS 2018) established a foundational approach for neural network verification through efficient linear bound propagation. His recent publications demonstrate a strategic expansion from foundational verification techniques toward increasingly complex systems including large language models, vision-language models, and robotic control systems. The research trajectory shows a clear progression from theoretical frameworks to practical implementations with real-world applications, particularly in safety-critical domains. His work increasingly bridges formal methods with practical AI deployment requirements. Winner of International Verification of Neural Networks Competition (VNN-COMP) as team leader (2021-2024) Schmidt Futures AI2050 Early Career Fellowship ($300,000 research grant) Adversarial Machine Learning (AdvML) Rising Star Award (2021) IBM PhD Fellowship (2018) Dr. Zhang leads the development of α,β-CROWN, a neural network verifier that has won VNN-COMP 2021-2023, and auto_LiRPA, a PyTorch-based library for perturbation analysis on general computational graphs. He has mentored numerous graduate students from CMU, UCLA, UIUC, and Columbia University. His research is supported by significant funding including the Schmidt Futures fellowship and industry collaborations. He teaches courses including ECE 120, ECE 484, ECE 584, and ECE 598 HZ on topics ranging from computing fundamentals to safe autonomy and machine learning. Dr. Zhang maintains active research collaborations across multiple institutions and is affiliated with UIUC's Coordinated Science Laboratory. His work has significant implications for safety-critical AI applications in autonomous systems, healthcare, and other mission-critical domains where reliability guarantees are essential. He regularly gives guest lectures at institutions including Yale, Stony Brook, and the University of Nebraska Lincoln on formal verification techniques.
Lerrel Pinto is an Assistant Professor of Computer Science at the Courant Institute of Mathematical Sciences at New York University (NYU), where he leads the General-purpose Robotics and AI Lab (GRAIL) as part of the CILVR research group. His work bridges the gap between theoretical machine learning and practical robotics applications, with a focus on enabling robots to generalize and adapt in real-world environments. Dr. Pinto received his undergraduate degree from IIT Guwahati, followed by a PhD from the Robotics Institute at Carnegie Mellon University (CMU). He then completed a postdoctoral fellowship at the University of California, Berkeley before joining NYU as faculty. His research program centers on robot learning and decision making, with several key thrusts that demonstrate his innovative approach to robotics. Pinto's work emphasizes large-scale learning techniques that leverage both extensive data and sophisticated model architectures. A significant portion of his research focuses on representation learning for sensory data, particularly developing methods that enable robots to make sense of visual, tactile, and auditory inputs. His lab has made notable contributions to reinforcement learning algorithms that allow robots to adapt to new scenarios with minimal retraining. Pinto also champions open-source robotics , developing affordable robot platforms that democratize access to robotics research. Analysis of Pinto's recent publications reveals a strong trend toward multimodal perception in robotics, integrating visual, tactile, and auditory information to create more robust robot systems. His work increasingly focuses on zero-shot and few-shot learning capabilities, enabling robots to handle novel situations without extensive retraining. There's also a clear progression toward general-purpose robotics , moving away from task-specific solutions toward more flexible systems that can handle diverse real-world challenges. Dr. Pinto's scientific contributions have been recognized with several prestigious awards: Sloan Research Fellowship (2025) NSF CAREER Award (2024) RAL Early Career Award (2024) Best Student Paper Award at ICRA (2016) Outstanding Paper Award at MFM-EAI workshop at ICML (2024) Best Paper Award at NGSM workshop at ICML (2024) Best Student Paper Award at RSS (2023) As an advisor, Pinto has mentored numerous students who have gone on to impactful careers in both academia and industry. His former PhD student Denis Yarats co-founded Perplexity.AI, while Mahi Shafiullah became a postdoc at UC Berkeley and Meta AI. Many of his Masters students have pursued PhDs at top institutions like CMU, MIT, and Stanford, or joined leading robotics companies including 1X, Fauna Robotics, and NVIDIA. Pinto's lab has secured significant research funding, including the NSF CAREER award and likely other grants supporting his robotics research program. The General-purpose Robotics and AI Lab (GRAIL) that Pinto leads brings together a diverse team of researchers working on cutting-edge robotics challenges. The lab maintains strong collaborations with industry partners and other academic institutions, facilitating technology transfer and real-world impact. GRAIL's research spans multiple robotics platforms and focuses on developing algorithms that enable robots to learn from diverse experiences and generalize across environments.
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.
Stephen S. Kudla is a Professor in the Department of Mathematics at the University of Toronto, located in the Bahen Centre for Information Technology. He holds the prestigious distinction of being a Fellow of the Royal Society of Canada (FRSC), reflecting his significant contributions to mathematical research. Professor Kudla's research focuses on the deep connections between number theory and geometry, with particular expertise in automorphic forms, arithmetic geometry, and theta functions. His work bridges abstract mathematical theory with concrete geometric structures, exploring how modular forms can encode arithmetic information about algebraic varieties. Analysis of Kudla's publication record reveals a sustained research program centered on the relationship between derivatives of Eisenstein series and arithmetic geometry. His work consistently explores how modular and automorphic forms can be used to study arithmetic cycles on Shimura varieties. A notable pattern in his research is the interplay between analytic objects (like Eisenstein series) and geometric structures (such as arithmetic cycles), with applications to understanding heights, intersection theory, and special values of L-functions. Fellow of the Royal Society of Canada (FRSC) While specific details about Kudla's advising activities aren't provided in the available materials, his extensive publication record with prominent collaborators like Michael Rapoport and Tonghai Yang suggests he has likely mentored numerous graduate students and postdoctoral researchers throughout his career. His participation in major mathematical conferences including the International Congress of Mathematicians (ICM) indicates recognition by the broader mathematical community. Kudla's research has clearly been supported by significant funding, as evidenced by his ability to maintain a sustained publication record in top mathematical journals.
Liping Liu is a Professor in the Department of Management at The University of Akron's College of Business. He holds a Ph.D. in Business from the University of Kansas (1995), Master of Engineering in Systems Engineering (1991), and dual bachelor's degrees in Applied Mathematics (1986) and River Dynamics (1987). Ph.D., University of Kansas MS, Huazhong University of Science and Technology B.E., Wuhan University BS, Huazhong University of Science and Technology His research spans Artificial Intelligence , Electronic Business , Systems Analysis , Data Quality , and Belief Function Theory . He pioneered coarse utility theory and linear belief functions , now taught in top Ph.D. programs across multiple disciplines. Key trends in his publications include Belief Function Applications (2012-2024), Medical Data Systems (2003-2015), and Decision Theory (2004-2014). Recent works focus on Gamma Belief Functions (2024) and computational improvements in linear belief function operations (2019-2016). Scientific contributions recognized via: Microsoft Azure Educator Grant (2014-2016) Inclusion in Who's Who in America (2010-2013) and Who's Who in the World (2011-2013) As an editor and committee member for major conferences (INFORMS, AMCIS, Belief Functions conferences), he bridges academic research with practical systems implementation in e-business and healthcare domains.
Professor Simon Godsill MA PhD FIET FIEEE is a University Professor of Statistical Signal Processing in the Department of Engineering at the University of Cambridge. He heads a research team specializing in statistical signal processing, digital audio restoration, and Bayesian inference. His work addresses the processing and analysis of digital speech, audio, tracking systems, and financial datasets, with a focus on probabilistic modeling and computational methods. Research interests include statistical signal processing , degraded signal restoration , and Bayesian computational methods . Recent publications emphasize Gaussian processes, variational inference, and multi-object tracking for applications in audio enhancement and financial data analysis. He co-founded the audio remastering company CEDAR Audio Ltd in 1988. Scientific awards: Fellow of the Institution of Engineering and Technology (FIET) Fellow of the Institute of Electrical and Electronics Engineers (FIEEE) Outside academia, he enjoys singing, cricket, piano/organ playing, and running. His team at Cambridge's Engineering department focuses on robust tracking algorithms and signal enhancement techniques.
Michael Baldea is an Associate Professor in the Department of Chemical Engineering at the University of Texas at Austin . He holds a Ph.D. in Chemical Engineering from the University of Minnesota (2006), with prior degrees from 'Babeş-Bolyai' University in Romania (M.Sc. 2001, Diploma 2000). His research group develops theoretical and computational methods for Process and Energy Systems Engineering , focusing on integrated decision-making, performance optimization, and process intensification with industrial validation. Education: Ph.D., Chemical Engineering, University of Minnesota (2006) M.Sc., Interface Process Engineering, 'Babeş-Bolyai' University (2001) Diploma, Chemical Engineering, 'Babeş-Bolyai' University (2000) Research Thrusts: Integrated decision-making in chemical/energy supply chains Process performance monitoring and optimization Process integration and intensification Key applications include grid-responsive chemical plants, intensified distillation/column designs, and renewable energy integration for building systems. Scientific Awards: Frank A. Liddell, Jr. Fellowship NSF CAREER Award (2015-2020) Moncrief Grand Challenges Faculty Award (2014) AIChE Outstanding Young Researcher Award (2017) Implementation : His group has translated research into commercial tools through partnerships with industrial test beds and is working to integrate methods into commercial simulators. They explore predictive approaches for building energy management and strategic capital investment analysis in next-generation energy systems.
Raul Astudillo Marban is a Postdoctoral Scholar Research Associate in the Department of Computing and Mathematical Sciences at Caltech, hosted by Professor Yisong Yue. He will join MBZUAI as a tenure-track Assistant Professor in August 2025. His research focuses on adaptive learning and decision-making in complex, data-intensive environments, with applications in personalized healthcare, engineering design, and scientific discovery. He earned his Ph.D. in Operations Research and Information Engineering from Cornell University under Professor Peter Frazier and holds an undergraduate degree in Mathematics from the University of Guanajuato and the Center for Research in Mathematics. His work integrates Bayesian optimization and machine learning to address real-world challenges such as protein engineering, plant breeding, and computational biology. Key contributions include steering generative models with experimental data, preferential multi-objective optimization, and cost-aware Bayesian strategies. He has received recognition as a Rising Star in Management Science and Engineering (Stanford) and a Rising Star in Data Science (University of Chicago/UCSD). Recent research highlights include optimizing protein fitness through generative models, active learning in directed evolution, and Bayesian optimization for budget allocation in agriculture. His publications span top venues like NeurIPS, Nature Communications, and TMLR. He actively recruits students/researchers for projects in machine learning and optimization.
Navid Azizan is the Alfred H. (1929) and Jean M. Hayes Career Development Assistant Professor at Massachusetts Institute of Technology (MIT), holding dual appointments in the Department of Mechanical Engineering (in Control, Instrumentation & Robotics) and the Schwarzman College of Computing's Institute for Data, Systems & Society (IDSS). He is also a Principal Investigator in the Laboratory for Information & Decision Systems (LIDS), and a faculty member of the MIT Statistics and Data Science Center, the Center for Computational Science and Engineering, and the Operations Research Center. Dr. Azizan received his PhD in Computing and Mathematical Sciences from the California Institute of Technology (Caltech) in 2020, his MSc in Electrical Engineering from the University of Southern California in 2015, and his BSc in Electrical Engineering with a minor in Physics from Sharif University of Technology in 2013. Prior to joining MIT, he completed a postdoc at Stanford University's Autonomous Systems Laboratory and was a research scientist intern at Google DeepMind. His research spans the intersection of machine learning, systems and control, mathematical optimization, and network science. Dr. Azizan's work focuses on developing principled learning and optimization algorithms for reliable intelligent systems, with applications to autonomy and sociotechnical systems. His research has significant implications for creating trustworthy AI systems that can operate effectively in complex, uncertain environments. Dr. Azizan's recent publications demonstrate a strong focus on uncertainty quantification, reliable AI systems, constrained optimization, and control-oriented learning. His work bridges theoretical foundations with practical applications, particularly in autonomous systems where safety and reliability are paramount. His research group has made notable contributions to areas including neural network verification, multi-agent reinforcement learning, and adaptive inference techniques for large language models, with several papers featured on MIT News and selected for oral presentations at top conferences. Alfred H. (1929) and Jean M. Hayes Career Development Professorship (2025-present) Frank E. Perkins Award for Excellence in Graduate Advising (2025) List of Outstanding Academic Leaders in Data from the CDO Magazine (2024, 2023) Amazon Science Hub Research Award (2023) Outstanding UROP Faculty Mentor (2023) Esther and Harold E. Edgerton (1927) Career Development Chair (2022-2025) Information Theory and Applications (ITA) Gold Graduation Award (2020) Dr. Azizan has been recognized for his excellence in graduate advising, receiving the Frank E. Perkins Award for Excellence in Graduate Advising in 2025. During the pandemic, he founded and co-organized the 'Control meets Learning' virtual seminar series, connecting researchers across disciplines. His work has attracted significant research funding from industry partners including Google, Amazon, and MathWorks, supporting both fundamental research and practical applications in reliable intelligent systems. The Azizan Lab at MIT brings together researchers from mechanical engineering, computer science, and applied mathematics to tackle challenges at the intersection of learning and control. The lab emphasizes both theoretical foundations and practical implementations, with a particular focus on developing algorithms that provide guarantees of performance and safety. Current research directions include uncertainty quantification in AI systems, constrained optimization for neural networks, and control-oriented learning for autonomous systems, with applications spanning robotics, transportation, and complex sociotechnical systems.
David Bindel is an Associate Professor in the Department of Mathematics at Cornell University, affiliated with the College of Arts and Sciences, College of Engineering, and Cornell Ann S. Bowers College of Computing and Information Science. He earned his Ph.D. in Mathematics from the University of California, Berkeley in 2006. His research focuses on applied numerical linear algebra, eigenvalue problems, and their applications in plasma physics, network analysis, and nonlinear systems. He develops methods for analyzing complex systems, including magnetic confinement in stellarators, stability of MHD systems, and community detection in networks. His work bridges theoretical foundations with practical computational tools, such as formal verification of linear algebra algorithms and scalable Gaussian process models. Bindel’s research explores the interplay between structure and computation, leveraging eigenvalue analysis to address challenges in computer vision, opinion dynamics, and engineering design. He has contributed to advancements in numerical methods for large-scale systems, including iterative solvers, spectral approximation techniques, and stochastic optimization. His interdisciplinary approach spans applied mathematics, computer science, and physics, with applications in fusion energy, machine learning, and network science. Recent work highlights include high-order expansions for magnetic confinement, adaptive filtering for dynamical systems, and Bayesian optimization strategies. His publications emphasize rigorous analysis alongside computational scalability, addressing both theoretical and practical aspects of modern scientific computing. Despite no explicitly listed awards, his contributions reflect significant impact in his fields.
Assia Mahboubi is a tenured researcher ( directrice de recherche ) at INRIA in the Gallinette team, Nantes, France, and an endowed professor in the Algebra and Number Theory section of the Vrije Universiteit Amsterdam, Netherlands. Her work bridges theoretical computer science and formal mathematics, with significant contributions to proof assistants and formal verification. Her research focuses on the foundations and formalization of mathematics in type theory, particularly on the automated verification of mathematical proofs. She explores the interplay between computer algebra and formal proofs, and is a key contributor to the Rocq prover (formerly Coq) and the Mathematical Components libraries. Her work often examines how familiar mathematical objects can be optimally represented for computer-aided proof checking. Recent publications show a strong trend toward categorical reasoning, diagram chasing, and continuity properties in constructive type theory, with increasing focus on practical applications of formal methods in computational mathematics. Her work demonstrates the maturation of formal verification techniques from theoretical foundations to practical tools for mathematical research. ERC Consolidator grant for the FRESCO (Fast and Reliable Symbolic Computation) project Mahboubi actively supervises doctoral students including Vojtěch Štěpančík, Tomás Vallejos Parada, and Alain Chavarri Villarello. She has received significant research funding through her ERC Consolidator grant for the FRESCO project, which aims to develop fast and reliable symbolic computation techniques. She is deeply involved in the international research community, serving on program committees for major conferences including POPL, CPP, and ICFP. She leads research in the Gallinette team at INRIA, which focuses on the intersection of proof assistants, programming languages, and formal mathematics. Her work has helped establish formal verification as a practical tool for mathematical research, moving beyond theoretical foundations to real applications in computational mathematics.
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.
Clark Olson is a Professor in the Division of Computing & Software Systems at the University of Washington Bothell, part of the School of Science, Technology, Engineering & Mathematics. He earned his Ph.D. in Computer Science from UC Berkeley (1994), M.S. in Electrical Engineering (1990), and B.S. in Computer Engineering (1989) from the University of Washington, Seattle. Education: Ph.D. in Computer Science (2017) from University of California, Berkeley M.S. in Electrical Engineering (1990) from University of Washington, Seattle B.S. in Computer Engineering (1989) from University of Washington, Seattle His research focuses on computer vision, robot navigation, and clustering algorithms. He has developed techniques for Mars rover terrain mapping, subspace clustering, and geometric feature matching. His work bridges theory and application in autonomous systems and image analysis. Analysis of his publications reveals expertise in computer vision (8 papers), clustering algorithms (4 papers), and robotics (5 papers). Key subtopics include Mars exploration (3 papers), Hough transforms (3 papers), and probabilistic methods (3 papers). Professor Olson teaches courses ranging from introductory programming (CSS 161-162) to advanced topics in computer vision (CSS 487-587) and algorithm design (CSS 549). He also advises on the CSSE Capstone (CSS 497) projects requiring rigorous prerequisites and structured evaluation criteria.
Risto Miikkulainen is a Professor of Computer Science and Neuroscience at the University of Texas at Austin and VP of AI Research at Cognizant AI Lab. He directs the UTCS Neural Networks Research Group and is currently on leave from UT, working on Evolutionary Computation and Deep Learning at Sentient Technologies, Inc. Education: Ph.D. in Computer Science, UCLA, 1990 M.S. in Applied Mathematics, Helsinki University of Technology (now Aalto University), 1986 Risto Miikkulainen's research focuses on biologically-inspired computation such as neural networks and evolutionary computation. His work spans three main areas: (1) Neuroevolution, evolving complex deep learning architectures and recurrent neural networks for sequential decision tasks in robotics, games, and artificial life; (2) Cognitive Science, developing models of natural language processing, memory, and learning that shed light on disorders such as schizophrenia and aphasia; and (3) Computational Neuroscience, studying the development, structure, and function of the visual cortex, episodic memory, and language processing. His research combines theoretical understanding of biological information processing with practical applications for developing intelligent artificial systems. His recent publications (2025) show a strong focus on evolutionary approaches to AI development, particularly in neural architecture search, loss function optimization, and explainable AI. Many papers explore the intersection of evolutionary computation with deep learning, creating more efficient and transparent AI systems. His work spans theoretical foundations and practical applications in areas ranging from environmental control systems to cognitive modeling. Scientific Awards: College of Fellows, International Neural Network Society, 2024 Best Pathway to Impact Award, NeurIPS Climate Change workshop, 2024 AAAI Fellow, 2023 IEEE CIS Evolutionary Computation Pioneer Award, 2020 Gabor Award, International Neural Network Society, 2017 Outstanding Paper of the Decade Award, International Society for Artificial Life, 2017 IEEE Fellow, 2016 Multiple Best Paper Awards at GECCO, CIG, and CEC conferences Deployed Application Award, AAAI/IAAI-2013, AAAI/IAAI-2018 Miikkulainen has extensive experience mentoring students through undergraduate research courses like CS378 Computational Intelligence in Game Design I and II, where students develop independent research projects on the OpenNERO research platform. He has received multiple awards for deployed applications, demonstrating the practical impact of his research. His work has led to the development of the NERO game platform, which serves as both an educational tool and research platform for AI. He directs the UTCS Neural Networks Research Group, which focuses on neuroevolution, cognitive science models, and computational neuroscience. The group has developed the NERO (Neuro-Evolving Robotic Operatives) platform, a machine learning game that allows users to train intelligent agents through evolutionary computation. The group's work spans theoretical research and practical applications in AI, with connections to both academic and industry partners.
