John Lygeros is a Full Professor and Head of the Institute for Automatic Control at ETH Zurich's Department of Information Technology and Electrical Engineering. He received his B.Eng. (1990) and M.Sc. (1991) from Imperial College London, and Ph.D. (1996) from UC Berkeley. Before joining ETH Zurich in 2006, he held academic positions at the University of Cambridge and University of Patras. His research focuses on: Modeling and control of hierarchical hybrid systems Large-scale dynamical systems applied to biochemical networks Control of automated transportation systems via wireless networks Energy systems and advanced manufacturing control His research demonstrates strong emphasis on optimization methods, distributed control architectures, and machine learning applications in control systems, with significant contributions to real-time optimization algorithms and data-driven control methodologies. Major scientific awards include: HSCC Test of Time Award (2024) ERC Advanced Grant (2018) O. Hugo Schuck Best Paper Award (2018) IEEE George S. Axelby Paper Award (2016) Three Golden Owl teaching awards from ETH Zurich He leads the Automatic Control Laboratory at ETH Zurich and serves as Director of the National Centre of Competence in Research 'Dependable Ubiquitous Automation'. He has advised over 60 doctoral candidates since 2017, with research spanning optimization algorithms, power systems, autonomous systems, and machine learning applications.
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.
Karthik R. Narasimhan is a Professor at Princeton University's School of Engineering and Applied Science in the Department of Computer Science. Previously, he earned his PhD from MIT under Regina Barzilay and served as a visiting research scientist at OpenAI during 2017-18. His research focuses on the intersection of language and decision-making, building autonomous agents that learn from both experience and human knowledge. His research spans multiple high-impact areas including language agents (Text-DQN, CALM, ReAct, Tree of Thoughts), reinforcement learning (h-DQN, Multi-Objective RL), and AI safety (Toxicity in ChatGPT, DataMUX). He has developed critical datasets and benchmarks such as WebShop, InterCode, SWE-bench, and SILG that have become standard evaluation tools in the field. Current work emphasizes agent capabilities, software engineering automation, and multimodal interaction. His publication trends show strong focus on practical agent deployment (SWE-agent, Tree of Thoughts), safety evaluation (Probing AI Safety), and efficiency improvements (DataMUX). Recent work increasingly addresses real-world challenges in software engineering, security, and human-AI collaboration through rigorous benchmarking. Co-author of foundational GPT (2018) paper Key developer of Text-DQN (2015), CALM (2020), ReAct (2022), Tree of Thoughts (2023) Creator of influential benchmarks: WebShop (2022), SWE-bench (2023), InterCode (2023) He actively advises students through Princeton's computer science program, with research supported by multiple grants focused on autonomous agent development and language-based decision systems. His GitHub repositories (nlp-datasets, text-world-player) demonstrate strong community engagement in open-source research tools. Current projects include advancing language agent capabilities through Reflexion (2023) and Tree of Thoughts (2023) frameworks while addressing critical safety and efficiency challenges.
Mark Crowley is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Waterloo, with a cross-appointment in the Cheriton School of Computer Science. He is a member of the Waterloo Artificial Intelligence Institute (WAII) and the Waterloo Institute for Complexity and Innovation (WICI), and serves as National Secretary of the Canadian Artificial Intelligence Association (CAIAC). His educational background includes a Ph.D. and M.Sc. in Computer Science from the University of British Columbia, where he worked in the Laboratory for Computational Intelligence, and a B.A. in Computer Science from York University. He completed a postdoctoral fellowship at Oregon State University working with Tom Dietterich's machine learning group. Crowley's research focuses on developing dependable and transparent algorithms to augment human decision-making in complex domains with multiple agents, spatial structure, or uncertainty. His work spans Reinforcement Learning , Deep Learning , Ensemble Methods , and Manifold Learning . He frequently collaborates with researchers in applied fields including Computational Sustainability, Sustainable Forest Management, Autonomous Driving, Medical Imaging, and Material Design. His research is motivated by both theoretical opportunities and real-world challenges such as forest fire management, automotive applications, and medical imaging. His recent publications demonstrate a strong focus on addressing challenges in reinforcement learning, particularly around observation costs, multi-agent systems, and causal representation learning. His work on ChemGymRL provides a significant contribution to digital chemistry and material design through reinforcement learning frameworks. The textbook Elements of Dimensionality Reduction and Manifold Learning represents a major contribution to the theoretical foundations of machine learning. Crowley actively supervises graduate students, with recent thesis completions including Shayan Shirahmadi Gale Bagi (PhD, Feb 2025) and Oleksandra Nahorna (MASc, Dec 2024). His lab, UWECEML (Waterloo ECE Machine Learning Lab), focuses on developing new algorithms at the intersection of Machine Learning, Optimization, and Probabilistic Modeling. He teaches courses including ECE 457C (Reinforcement Learning), ECE 657A (Data & Knowledge Modelling & Analysis), and ECE 457B (Fundamentals of Computational Intelligence). His blog Computationally Thinking explores AI, machine learning, and the societal impact of these technologies.
Gauri Joshi is an Associate Professor in the Electrical and Computer Engineering (ECE) department at Carnegie Mellon University, with affiliate appointments in the Machine Learning Department and Robotics Institute. Her work focuses on system-aware algorithms for distributed machine learning, combining optimization, probability, and coding theory to address communication and computational constraints in edge networks. MIT Ph.D. in EECS (2016) IIT Bombay B.Tech/M.Tech in Electrical Engineering (2010) Research themes include federated learning with communication efficiency, erasure coding for non-linear computations, and reinforcement learning for heterogeneous queueing systems. She leads the Optimization, Probability and Learning (OPAL) lab , affiliated with the Parallel Data Lab (PDL), CyLab, and FLAME Center. Recent publications highlight advances in: federated fine-tuning with low-rank adaptation, robust PCA for model aggregation, privacy-preserving prediction mechanisms, and adaptive reinforcement learning for job dispatching systems. Her group has received 15+ paper awards across SIGMETRICS, MobiHoc, and NeurIPS workshops. Scientific recognition includes: IEEE Goldsmith Lecturer (2025), MIT Technology Review '35 Innovators Under 35' (2022), ONR Young Investigator Award (2023), NSF CAREER (2021), and ACM SIGMETRICS Best Paper (2020). She has advised 20+ graduate students, many now at tech giants like Google, Apple, and Meta. Service contributions span program co-chair roles (MLSys 2025), associate editorships (IEEE/ACM Transactions on Networking), and workshop organization (ICML, NeurIPS). Her NSF AI-EDGE Institute leadership (2021-present) drives next-generation intelligent edge networks for robotics and aerospace applications.
I-Hong Hou is a Professor in the Department of Electrical and Computer Engineering at Texas A&M University, part of the College of Engineering. He holds a B.S. in Electrical Engineering from National Taiwan University (2004), and M.S./Ph.D. in Computer Science from the University of Illinois, Urbana-Champaign (2008/2011). His research focuses on wireless networks, cloud/edge computing, and machine learning with notable contributions to real-time systems and network optimization. Education : B.S., Electrical Engineering, National Taiwan University, 2004 M.S., Computer Science, University of Illinois at Urbana-Champaign, 2008 Ph.D., Computer Science, University of Illinois at Urbana-Champaign, 2011 Research Highlights : Hou’s work emphasizes Age of Information (AoI) , distributed learning, and scheduling algorithms for edge computing. He has pioneered frameworks integrating machine learning with network protocols, such as deep reinforcement learning for restless bandits and second-order optimization for wireless systems. His methods address real-time communication challenges in multi-hop networks and dynamic environments. Awards : Best Paper Awards at ACM MobiHoc (2017, 2020) Best Student Paper, WiOpt 2017 C.W. Gear Outstanding Graduate Student Award, UIUC Advising & Grants : Advised PhD student Siqi Fan (graduated 2024). His research has been supported by grants exploring edge-cloud reconfiguration, real-time video delivery, and neural Whittle index networks. Recent work includes optimizing freshness of information in multi-user systems and developing threshold-optimal policies for complex decision-making. Labs/Teams : Leads the Computer Engineering and Systems Group (CESG) at Texas A&M, collaborating on projects blending networking, machine learning, and distributed systems.
Prof. Raffaello D'Andrea is a Full Professor at ETH Zürich's Department of Mechanical and Process Engineering, affiliated with the Institute for Dynamic Systems and Control. His research focuses on bridging digital and physical worlds through robotics, control systems, and autonomous systems. He has pioneered work in aerial robotics, swarm systems, tactile sensing, and soft robotics. His philosophy emphasizes solving 'easy' problems with scalable, robust solutions, prioritizing simplicity and replicability. Key research areas include UAV navigation, distributed control, tactile sensor design, and fault-tolerant systems. He has founded multiple organizations and led roles as CTO/CEO, emphasizing cross-disciplinary innovation. His work has commercial applications in logistics, healthcare, and automation, driven by a belief in technology's role in improving human life. Notable projects include the Cubli robotic cube, aerial vehicle swarms, and optical tactile sensors for robotics. His lab emphasizes collaboration and team leadership, aiming to translate theoretical insights into practical, scalable technologies. Scientific awards: None explicitly listed in the provided texts. Advising and grants: No students listed in the provided texts; grants information not detailed. Labs/Teams: Leads research at ETH Zurich's Institute for Dynamic Systems and Control, collaborating with industry and academic partners globally.
Michele Zorzi is a Professor of Telecommunications at the School of Engineering, University of Padova, Italy, where he has held a faculty position since 2003. He leads the SIGNET (Signal processing and Networking) Research Group, focusing on cutting-edge wireless networking challenges including mmWave communications and underwater networks. His extensive publication record exceeds 600 papers in top-tier journals and conferences, reflecting significant contributions to the field through both theoretical and experimental work. He received his Laurea Degree (1990) and Ph.D. (1994) in Electrical Engineering from the University of Padova. Prior academic appointments include Politecnico di Milano (1993-1996), University of California San Diego (1995-1998), and University of Ferrara (1998-2003), where he progressed from Associate Professor to full Professor. His educational trajectory demonstrates deep roots in Italian academia with international exposure. Professor Zorzi's research spans wireless communications and networking, with current emphases on mmWave networking for vehicular systems, underwater acoustic/optical communications, non-terrestrial networks, and AI-driven networking solutions. His group conducts experimental validations including at-sea trials for underwater systems and testbeds for vehicular networks. Key projects include PRATA for predictive QoS in autonomous driving and IoT-based environmental monitoring of the Venice Lagoon, demonstrating practical applications of theoretical work. Analysis of his 2022-2025 publications reveals strong trends in applying artificial intelligence to networking challenges across diverse environments. There is significant emphasis on vehicular networks (predictive QoS, teleoperated driving), underwater systems (acoustic/optical communications, AUV swarms), and satellite networks (Starlink integration, NTN security). Experimental validation in real-world scenarios like the Venice Lagoon monitoring project and underwater sea trials characterizes his applied research approach. His scientific accolades include: IEEE Fellow (2007) IEEE Communications Society Best Tutorial Paper Award (2008, 2019) Stephen O. Rice Best Paper Award (2018) Multiple best paper awards at IEEE conferences (2005-2020) As principal investigator for numerous European and US research projects plus 20+ industry-funded initiatives, Professor Zorzi has mentored over 35 PhD students and post-docs. Graduates now hold prominent positions at institutions including Stanford, UCSD, CTTC, and Huawei. His SIGNET group maintains active international collaborations and contributes to open-source networking tools via GitHub, demonstrating commitment to community engagement. The SIGNET Research Group, housed within the Department of Information Engineering, operates specialized experimental facilities for mmWave and underwater communications. Current initiatives include AI-based predictive QoS frameworks for vehicular networks, underwater optical communication systems using ultraviolet light, and large-scale IoT deployments for environmental monitoring. The group's GitHub presence indicates strong open-science practices, while recent sea trials confirm hands-on experimental capabilities beyond theoretical work.
Dinesh Jayaraman is an Assistant Professor at the University of Pennsylvania, with primary and secondary appointments in the Department of Computer and Information Science (CIS) and Electrical and Systems Engineering (ESE), respectively. He leads the Perception, Action, and Learning (PennPAL) Research Group at the GRASP Laboratory, focusing on interdisciplinary research at the intersection of robotics, machine learning, and computer vision. Research Interests: Robotics, computer vision, reinforcement learning, and autonomous systems. Recent Publications: His work explores vision-language models for robotic tool use, symmetry-based control acceleration, articulated object modeling, and in-context learning frameworks. Awards: Recipient of the 2022 NSF CAREER Award for innovative contributions to robotics and AI. Teaching: Co-teaching a robot-learning seminar (CIS 7000/ESE 6800) with Antonio Loquercio in Spring 2025. Students: Advising PhD candidates including Edward Hu, Arjun Krishna, and co-advised students with Osbert Bastani, Vijay Kumar, and Rajeev Alur.
Roles and Affiliations: Professor David Levinson is a Professor of Transport in the School of Civil Engineering at the University of Sydney since 2017. He holds adjunct faculty status at the University of Minnesota's Department of Civil, Environmental, and Geo-Engineering (since 1999–2016). He previously directed the Accessibility Observatory and the Networks, Economics, and Urban Systems (NEXUS) research group. He is a member of The Net Zero Institute and leads the TransportLab research group. Education: PhD 1998 in Urban and Regional Planning from the University of California, Berkeley. Research Interests: Focuses on transportation networks, urban systems, accessibility analysis, and policy. Key themes include spatial equity, transport economics, and the co-evolution of land use and transport infrastructure. His work emphasizes data-driven approaches to urban mobility challenges, including modeling transport networks and evaluating infrastructure impacts on accessibility and equity. Grants and Projects: Recent grants include Design of micro-decisions in automated transport (2022, ARC) and Reducing pedestrian crashes through better intersection design (2021, Australian Road Safety Innovation). Collaborates internationally on projects like the Accessibility Observatory. Labs and Teams: Leads the TransportLab and collaborates with the NEXUS group. Active in interdisciplinary research, including urban analytics and transport policy.
Wei Zhang is a tenured Professor at the Southern University of Science and Technology (SUSTech) , Shenzhen, China, and a Senior Member of IEEE. He serves as Associate Editor for IEEE Transactions on Control System Technology and leads the CLEAR Lab (Control & Learning for Robotics and Autonomy) within the School of Automation and Intelligent Manufacturing (AiM). His career spans institutions including the University of California, Berkeley (postdoc), and The Ohio State University (Assistant/Associate Professor). Education: PhD in Electrical Engineering from Purdue University (2009), MS in Electrical and Computer Engineering from University of Kentucky (2005), BS in Automation from University of Science and Technology of China (2003) Research Interests focus on integrating control theory, optimization, and machine learning to develop intelligent systems. Key areas include: Legged Robots: Dynamic locomotion control, bio-inspired gait design, and push recovery mechanisms Autonomous Systems: Real-time motion planning, obstacle avoidance, and safe navigation in adversarial environments Smart Grids: Distributed control for energy systems and transactive energy optimization Machine Learning: Reinforcement learning for robotics, Q-learning convergence analysis, and hybrid control-learning frameworks Publication Trends highlight interdisciplinary work at the intersection of robotics and control systems. His recent 2024 papers address: Whole-body control for wheeled-quadrupedal robots Geometric object pose refinement in computer vision Task-space Riccati feedback for underactuated systems Teacher-student reinforcement learning architectures Scientific Awards include: 2016 : NSF CAREER Award 2015 : Lumley Research Award (Ohio State University) 2013 : AFOSR Summer Faculty Fellowship 2018 : National Distinguished Expert (Young, China) 2019 : International Underwater Robot Competition 2nd Prize (team advisor) Academic Leadership involves editorial roles at IEEE Transactions on Control System Technology and IEEE Transactions on Power Systems. His lab provides state-of-the-art robotics platforms including quadruped robots, Kuka manipulators, and UAVs for algorithm validation. Research collaborators span The Ohio State University , UC Berkeley , CMU , and The University of Hong Kong .
Eric V. Mazumdar is an Assistant Professor at the California Institute of Technology (Caltech), jointly appointed in the departments of Computing and Mathematical Sciences and Economics. He holds a B.S. from MIT (2015) and a Ph.D. from UC Berkeley (2021), co-advised by Michael Jordan and Shankar Sastry. His research bridges machine learning and economics, focusing on deploying algorithms into societal systems through theoretical and practical lenses. Key areas include strategic classification, multi-agent reinforcement learning, and distributionally robust optimization, with applications in healthcare, online markets, and intelligent infrastructure. Education: B.S., Electrical Engineering and Computer Science, Massachusetts Institute of Technology, 2015 Ph.D., Electrical Engineering and Computer Science, University of California, Berkeley, 2021 Research Interests: Mazumdar’s work emphasizes understanding learning algorithms in strategic environments, including min-max optimization, game theory, and multi-agent systems. He explores how algorithms interact with human and algorithmic agents in dynamic systems, with practical applications in healthcare delivery, e-commerce, and autonomous systems testing. Awards: NSF CAREER Award (2023) Simons Institute Research Fellowship in Learning in Games Grants & Funding: Supported by NSF, DARPA, Amazon, and other organizations. His NSF CAREER grant focuses on strategic interactions in societal-scale systems. Teaching: Courses include Networks: Structure & Economics (CMS/CS/EE/IDS 144) and Topics in Learning and Games (CMS/Ec 248). At UC Berkeley, he contributed to courses like Data, Inference, and Decisions (DS 102). Students & Postdocs: Current students: Lauren Conger, Tinashe Handina, Yizhou Zhang Postdocs: Zaiwei Chen, Laixi Shi, Kishan Panaganti (co-advised with Adam Wierman)
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.
Dr. Nanpeng Yu is a Full Professor at the University of California, Riverside , serving as Vice Chair and Graduate Advisor in the Department of Electrical and Computer Engineering . He maintains cooperative faculty affiliations with the Department of Computer Science and Department of Statistics , and directs the Energy, Economics, and Environment Research Center at UCR. Education : B.S. in Electrical Engineering from Tsinghua University (2006), M.S. in Electrical Engineering and Economics, and Ph.D. from Iowa State University (2010) Prior Industry Experience : Senior Power System Planner and Project Manager at Southern California Edison (2011-2014) Dr. Yu’s research bridges smart grid technologies , data-driven optimization , and machine learning for energy systems. Key areas include voltage control , renewable energy integration , transportation electrification , and grid resilience . His recent work focuses on physics-informed graph learning for unit commitment problems and adversarial purification in power system classifiers. The AI-Energy Nexus Laboratory under Dr. Yu has produced impactful publications in Applied Energy , IEEE Transactions on Power Systems , and Transportation Research series, covering topics like heavy-duty EV charging infrastructure and dynamic distribution network reconfiguration . Lab members have won the American-Made Digitizing Utilities Grand Prize ($300,000) from the U.S. DOE. Leadership Roles : Chair, IEEE Power and Energy Society Distribution System Operation and Planning Subcommittee Chair, IEEE Power and Energy Society Working Group on Data-Driven Modeling for Power Distribution Networks Associate Editor, IEEE Transactions on Smart Grid and IEEE Power Engineering Letters Scientific Awards : Regents Faculty Fellowship Regents Faculty Development Award Multiple IEEE Best Paper Awards
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.
