Swiss Federal Institute of Technology in LausanneSwitzerland
Robert West is an Associate Professor at EPFL (École polytechnique fédérale de Lausanne) in the School of Computer and Communication Sciences , leading the Data Science Lab (dlab) . His research focuses on Natural Language Processing , Machine Learning , and Computational Social Science , analyzing human-generated data from the web, social media, and online platforms. Education : PhD in Computer Science (2016) - Stanford University MSc in Computer Science (2010) - McGill University BSc in Computer Science (2007) - Technische Universität München Research Interests : West develops algorithms for analyzing large-scale web data, with emphasis on multilingual NLP , social network analysis , and AI ethics . His work bridges machine learning with social science to understand digital human behavior. Scientific Awards : ICWSM’22 Adamic–Glance Distinguished Young Researcher Award Google Faculty Research Award Facebook Research Award Multiple Outstanding Paper Awards at ICWSM and WWW Advising & Grants : He advises 12 PhD students and has secured funding from the Swiss National Science Foundation , Swiss Data Science Center , and industry partners. His lab maintains collaborations with Microsoft Research and CROSS . Labs & Collaborations : West leads the Data Science Lab at EPFL, which focuses on web-scale data analysis , privacy-preserving machine learning , and AI for social good . The lab develops tools like Wikispeedia and Quotebank for public data exploration.
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.
Professor Hanumant Singh leads the Electrical and Computer Engineering department at Northeastern University, with a joint appointment in Mechanical and Industrial Engineering , and serves as Program Director for the Master of Science in Robotics. He earned his Ph.D. from MIT/WHOI Joint Program in 1995 and has conducted over 60 expeditions globally, focusing on marine geology, polar studies, and coral reef ecology. His research emphasizes field robotics , including SLAM, underwater manipulation, and imaging in extreme environments. He developed the Seabed AUV and Jetyak ASV , widely used in scientific research. His labs include the Field Robotics Lab and the Institute for Experiential Robotics . Research Interests: Machine Learning for Fisheries SLAM with dynamic objects Underwater imaging and manipulation Autonomous surface and aerial systems Polar and marine robotics Awards: ICRA Best Student Paper Award, IEEE Oceanic Engineering Society Distinguished Faculty Award (2025), Lifetime Achievement Award (2022), and IEEE Fellow status. His work has been featured in Nature Geoscience , Polar Biology , and media outlets like WGBH. Students & Collaborations: Advises students like Srinidhi Pattala (MS Robotics) and Dennis Giaya (PhD Computer Engineering). Collaborates with institutions on projects such as Antarctic sea ice thickness estimation and deep-sea submersible missions.
Professor Nagi Gebraeel serves as the Georgia Power Early Career Professor in the H. Milton Stewart School of Industrial and Systems Engineering at Georgia Institute of Technology, where his research integrates predictive analytics, machine learning, and optimization for industrial IoT applications. His work focuses on real-time equipment diagnostics, prognostics, and operational decision-making in critical infrastructure systems. Education: Ph.D. in Industrial Engineering (2003), Purdue University M.S. in Industrial Engineering (1998), Purdue University Research Focus: Dr. Gebraeel develops statistical learning algorithms for IoT-enabled maintenance, repair, and operations (MRO), with emphasis on federated learning frameworks for distributed fault diagnosis and cybersecurity protection against Industrial Control System (ICS) attacks. His research spans manufacturing, power generation, and deep space habitats through NASA's HOME Space Technology Research Institute, where he pioneers self-aware habitat systems. Recent work addresses data heterogeneity in high-consequence industrial environments using causal-informed analytics. Publication Trends: His 2024-2025 publications demonstrate a strong trajectory toward distributionally robust optimization for maintenance logistics, federated learning architectures for distributed fault diagnosis, and prognostics for complex systems like offshore wind farms and industrial robots. Key themes include handling imbalanced data in fault diagnosis, state-space representations for interdependent systems, and cybersecurity integration in manufacturing networks. Awards and Recognition: NSF CAREER Award (2007) SAE Aircraft Electrical Power System Recognition Award (2008) SAE Materials Modeling and Testing Recognition Award (2006) IEEE-AUTOTESTCON Certificate (2006) Fellow of the Institute of Industrial and Systems Engineers Advising and Funding: Dr. Gebraeel mentors doctoral students including Michael Ibrahim (2025 IISE Best Student Paper winner), Heraldo Rozas (now Assistant Professor at University of Chile), Ayush Mohanty, and Nazal Mohamed. He secured a $500,000 NSF grant in August 2025 for AI-driven cybersecurity in distributed manufacturing networks and leads NASA-funded research on deep space habitat systems. His work bridges academic research with industry applications through Georgia Tech's Strategic Energy Institute collaborations. Research Infrastructure: He directs the Analytics and Prognostics Systems laboratory at Georgia Tech's Manufacturing Institute and leads the Predictive Analytics and Intelligent Systems (PAIS) research group. Previously, he served as associate director of Georgia Tech's Strategic Energy Institute (2014-2019), fostering data science applications in energy systems.
Massachusetts Institute of TechnologyUnited States
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.
Richard Franz Löscher is a researcher at the Institute of Applied Mathematics specializing in numerical methods for optimal control problems. He holds a BSc, Diplom-Ingenieur (Dipl.-Ing.), and Doctorate in Technical Sciences (Dr.techn.), demonstrating extensive technical education and engineering expertise. His educational qualifications include: BSc Diploma in Engineering (Dipl.-Ing.) Doctorate in Technical Sciences (Dr.techn.) Löscher's research centers on numerical mathematics with deep specialization in finite element methodologies for distributed optimal control problems governed by partial differential equations. His work addresses elliptic, parabolic, and hyperbolic control systems through regularization techniques, adaptive mesh refinement, and robust solver development. Key innovations include variable energy regularization frameworks, mass-lumping discretizations, and complexity-optimal space-time finite element systems that significantly advance computational efficiency and error estimation in constrained control environments. Analysis of his 2024-2026 publications reveals a cohesive research trajectory focused on overcoming computational bottlenecks in optimal control. His work consistently bridges theoretical rigor with practical implementation, emphasizing discretization schemes that balance accuracy and computational cost while addressing state/control constraints across diverse PDE systems. No scientific awards or honors were documented in available sources. Löscher maintains active research collaborations with prominent figures including Ulrich Langer and Olaf Steinbach, evidenced by co-authored publications and peer-review activities for journals like Journal of Computational and Applied Mathematics. His external research engagement includes a July 2024 visit to Delft University of Technology, highlighting international academic partnerships.
Marta Kwiatkowska is a Professor of Computing Systems at the University of Oxford and a Fellow of Trinity College. Her research focuses on probabilistic verification , quantitative model checking , and formal methods for complex systems including autonomous robots, medical devices, and biological systems. She leads the development of the PRISM and PRISM-games probabilistic model checkers. Key research areas: Probabilistic systems, formal verification, autonomous robotics, medical device analysis, systems biology Grants: ERC Advanced Grant VERIWARE, EPSRC Programme Grant Mobile Autonomy Awards: 2024 ETAPS Test-of-Time Tool Award for PRISM Students: Current and former advisees in topics spanning formal methods, robotics, and quantitative verification The PRISM-games extension enables verification of stochastic multi-player games with applications in network protocols, autonomous systems, and game theory. Her work bridges theory, algorithms, and practical implementation, with real-world applications in ubiquitous computing and nanotechnology.
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.
John Baillieul is Distinguished Professor at Boston University with joint appointments in Mechanical Engineering, Systems Engineering and Electrical & Computer Engineering. He directs experimental laboratories for real-time control of lightweight robotic systems and applies nonlinear control theory to complex multi-body, networked, and bio-inspired systems. Education: Ph.D., Harvard University Research Interests: Baillieul’s work spans robotics, nonlinear control, and networked systems. Early contributions resolved motion-planning for kinematically redundant manipulators; current themes include neuromimetic learning, vision-based navigation, and resilience of infrastructure networks such as power grids. His group couples rigorous geometric control with real-time hardware to create lightweight, high-performance robots and to uncover fundamental information limits in feedback systems. Recent Publication Trends (2021-2025): Over the past five years his output has concentrated on three synergistic directions: (i) neuromimetic and Koopman-based data-driven methods for estimating and controlling nonlinear systems, (ii) vision-based guidance and sparse optical-flow primitives for agile autonomous flight, and (iii) network-theoretic decomposition and information-rate studies for resilient operation of power grids and collective dynamics. Honors & Awards: IEEE Fellow 2025 Roger W. Brockett Control Systems Award Former Editor-in-Chief, IEEE Transactions on Automatic Control Affiliations & Service: He is a member of Boston University’s Center for Information and Systems Engineering (CISE), has served as Editor-in-Chief of IEEE Transactions on Automatic Control, and remains active in editorial and organizational roles across the IEEE control systems community.
Rida Khatoun is a Professor in Cybersecurity at the Computer Sciences and Networks (Infres) Department at Télécom Paris. He holds a M.Sc. in Computer Engineering and a Ph.D. from the University of Technology of Troyes (UTT), France, awarded in 2004 and 2008, respectively. His research focuses on cybersecurity in networks, including cloud computing security, IoT security, vehicular networks security, intrusion detection systems, and blockchain technology. He has taught at Telecom Paris since 2014, Shanghai Jiao Tong University (SJTU) since 2016, and other institutions in China and France since 2005. His work spans theoretical frameworks and practical solutions for network security challenges. Key research areas include DDoS attack detection, vehicular communication security, and cryptographic protocols. He leads the Cybersecurity and Cryptography (C²) research team and is affiliated with the Laboratoire Traitement et Communication de l'Information (LTCI). His contributions include developing secure routing protocols (e.g., ASROP), statistical trust systems in wireless networks, and blockchain-based authentication for IoT. He has authored over 115 publications, including peer-reviewed articles and conference proceedings, with recent work addressing vehicular platooning security, TLS handshake optimization for C-ITS, and machine learning for cyberbullying detection. Rida’s academic activities include teaching courses on network security protocols, wireless network fundamentals, and QoS mechanisms. He collaborates internationally, contributing to smart city cybersecurity architectures and 6G programmable communications. His research emphasizes practical cybersecurity solutions for emerging technologies, ensuring robust protection against evolving threats in vehicular, IoT, and cloud environments.
Supratik Chakraborty serves as the Bajaj Group Chair Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay. He maintains dual affiliations with the Centre for Formal Design and Verification of Software and the Centre for Liberal Education at IIT Bombay, demonstrating his cross-disciplinary engagement. Professor Chakraborty's research spans formal methods with focus on formal verification, rigorous analysis of system models, and automated synthesis of systems from specifications. His work bridges theoretical foundations with practical applications, particularly in developing mathematically provable guarantees for increasingly complex hardware, software, and intelligent systems. Current research interests include constrained counting and sampling, scalable formal verification of software and hardware systems, automated synthesis of programs and circuits, and applications of automata, logic and finite model theory to practical verification challenges. His publication trajectory shows a significant evolution from traditional hardware and software verification toward addressing verification challenges in machine learning and AI systems. Recent work increasingly focuses on interpretability of black-box models, verification of neural networks, and synthesis techniques applicable to intelligent systems. The research demonstrates strong interdisciplinary connections between formal methods, programming languages, and artificial intelligence. IIT Bombay Excellence in Thesis (CSE) Award 2011 (for Bhargav Gulavani's thesis) IIT Bombay Excellence in Thesis (CSE) Award 2017 (for Abhisekh Sankaran's thesis) Best Paper in Algorithms and Architecture track at IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1998 Professor Chakraborty has successfully supervised 11 doctoral students, with research spanning formal verification techniques, Boolean functional synthesis, constrained counting, and applications to hardware and software systems. His students have gone on to positions at major institutions including Microsoft Research, TCS Research, Georgia Tech, and BARC, reflecting the strong industry and academic impact of his mentorship. Current research directions show increasing emphasis on verification challenges posed by machine learning systems and AI. His research group at IIT Bombay, while not explicitly named in the materials, appears to focus on formal methods with strong connections to the Centre for Formal Design and Verification of Software. The group maintains active collaborations with international researchers including Moshe Y. Vardi at Rice University, and has made significant contributions to verification tools like VeriAbs that bridge theoretical advances with practical applications.
Max Planck Institute for Dynamics of Complex Technical SystemsGermany
Peter Benner is a Professor and Director at the Max Planck Institute for Dynamics of Complex Technical Systems in Magdeburg, where he leads the Computational Methods in Systems and Control Theory group. He also holds an Honorarprofessor position for Mathematics at Otto-von-Guericke Universität Magdeburg since 2011. Benner has previously served as Managing Director of the Max Planck Institute during multiple periods (2013-2014, 2021-2022, and 2025-2026), demonstrating his leadership in the field. Benner's research focuses on Scientific Machine Learning, Numerical Linear and Multilinear Algebra, Model Order Reduction and Reduced-order Modeling, Numerical Methods in Systems and Control Theory, PDE Constrained Optimization, High-performance and Power-aware Computing, and Mathematical Software development. His work bridges theoretical mathematics with practical engineering applications, particularly addressing challenges in large-scale dynamical systems. Analysis of his recent publications reveals a strong emphasis on developing efficient computational methods for complex systems. Benner has pioneered approaches combining model order reduction with tensor methods to tackle high-dimensional problems in uncertainty quantification and PDE-constrained optimization. His work shows a consistent trend toward integrating data-driven techniques with traditional model-based approaches, particularly for nonlinear and parametric systems. Throughout his career, Benner has actively mentored students and collaborated with researchers worldwide, delivering numerous invited talks at prestigious institutions and conferences across Europe, North America, and Asia. His research has received significant funding, supporting the development of mathematical software and computational methods for industrial applications. Benner leads the Computational Methods in Systems and Control Theory department at the Max Planck Institute, which focuses on developing and implementing advanced numerical methods for large-scale dynamical systems. The group maintains strong connections with both theoretical mathematics and practical engineering applications, particularly in fluid dynamics, energy systems, and control theory.
Max Planck Institute for Intelligent SystemsGermany
Michael Muehlebach leads the independent Learning and Dynamical Systems research group at the Max Planck Institute for Intelligent Systems in Tuebingen, Germany. His interdisciplinary work bridges machine learning, dynamical systems theory, and control engineering to develop algorithms for cyber-physical systems with theoretical guarantees and practical implementations. Dr. Muehlebach received his B.Sc. and M.Sc. in Mechanical Engineering from ETH Zurich in 2010 and 2013, specializing in robotics and control systems. He completed his Ph.D. at ETH's Institute for Dynamic Systems and Control under Prof. R. D'Andrea in 2018, followed by postdoctoral research with Prof. Michael I. Jordan at UC Berkeley. His research focuses on constrained optimization, reinforcement learning, and control theory with applications in robotics. He pioneered approaches that express constraints in terms of velocities rather than positions, enabling more efficient optimization algorithms. His work spans theoretical foundations to physical implementations, including the One-Wheel Cubli balancing robot and electromagnetic navigation systems. Recent publications reveal a strong trend toward physics-informed machine learning, particularly for robotics applications requiring real-time performance and safety guarantees. Dr. Muehlebach has received numerous prestigious awards: Outstanding D-MAVT Bachelor Award Willi-Studer prize for best Master's degree ETH Medal and HILTI prize for doctoral thesis Branco Weiss Fellowship (2018) Emmy Noether Fellowship (2020) Amazon Fellowship (2024) He actively mentors doctoral researchers including Hao Ma, Melis Ilayda Bal, and Onno Eberhard, with research supported by multiple grants. His group maintains strong collaborations with Bernhard Schölkopf's Empirical Inference group at the Max Planck Institute. The Learning and Dynamical Systems group develops innovative hardware and software platforms, including Floaty (a wind-harnessing flying robot), advanced electromagnetic navigation systems, and data-efficient learning methods for robotic table tennis. Their approach combines rigorous theoretical analysis with practical validation on physical systems, emphasizing the integration of known physical structure into machine learning algorithms to improve sample efficiency and ensure generalization.
Max Planck Institute for Intelligent SystemsGermany
Michael Mühlebach is a Research Group Leader at the Max Planck Institute for Intelligent Systems in Tübingen, Germany, leading the independent Learning and Dynamical Systems group. His academic journey began at ETH Zurich where he earned his B.Sc. (2010) and M.Sc. (2013) in mechanical engineering, specializing in robotics, systems, and control. He completed his Ph.D. at ETH Zurich in 2018 under Prof. R. D'Andrea, followed by postdoctoral research at UC Berkeley with Prof. Michael I. Jordan. Dr. Mühlebach's research spans machine learning, dynamical systems, control theory, and optimization . His work bridges theoretical foundations with practical applications in robotics, developing methods that incorporate physical constraints and system dynamics into learning frameworks. His group focuses on online learning, physics-informed machine learning, and large-scale optimization for cyber-physical systems, with applications in electromagnetic navigation, robotic table tennis, and energy-efficient flight systems like the shape-changing robot Floaty . His publication record shows a strong focus on constrained optimization, with recent work exploring decision-dependent stochastic optimization, nonlinear feedback, and the theoretical foundations of reinforcement learning. His research integrates perspectives from control theory, dynamical systems, and optimization to develop algorithms with strong theoretical guarantees and practical performance. Outstanding D-MAVT Bachelor Award Willi-Studer prize for best Master's degree ETH Medal and HILTI prize for doctoral thesis Branco Weiss Fellow (2018) Emmy Noether Fellowship (2020) Amazon Fellowship (2024) Dr. Mühlebach actively mentors doctoral researchers and is seeking talented students for PhD and Master's projects. His research group has received funding from multiple prestigious fellowships and maintains collaborations across institutions including ETH Zurich, UC Berkeley, and various Max Planck research units. The group's work spans theoretical developments to practical implementations on robotic systems, demonstrating strong connections between mathematical theory and physical realization.
Anna Levina is an Assistant Professor for Computational Neuroscience at the University of Tübingen , affiliated with the Department of Computer Science under the Faculty of Science. Her research focuses on the self-organization of neuronal activity, critical dynamics in neural networks, and the excitation/inhibition balance in cortical circuits. Current positions: Assistant Professor (since 2018), Group Leader (2017-2018), Equality Officer (Computer Science) Previous roles: IST Fellow (2015-2017), Associated Researcher (2011-2015), Postdoc/PI (2011-2015), Postdoc (2008-2011) Her research integrates mathematical modeling , statistical physics , and computational neuroscience to study criticality phenomena, neural avalanches, and adaptive network dynamics. Key interests include: Self-organized criticality in neural systems Excitation/Inhibition balance mechanisms Network topology and dynamics Timescale analysis in neural processing Stochastic modeling of neural activity Recent publications reveal trends in understanding critical dynamics across biological and artificial networks, with applications to memory systems, sensorimotor integration, and disease modeling. She has received recognition as an IST Fellow .
