Shimon Whiteson is Professor of Computer Science at the University of Oxford, leading the Whiteson Research Lab focused on reinforcement learning, multi-agent systems, and deep learning. His research develops algorithms for efficient learning in complex environments. Current work explores meta-reinforcement learning frameworks that enable agents to rapidly adapt to new tasks, with applications in autonomous driving simulation and robotics. Recent innovations include novel methods for offline reinforcement learning, multi-agent coordination, and morphology-aware control. Publications demonstrate advances in: Meta-RL algorithm design for few-shot adaptation Multi-agent reinforcement learning environments and benchmarks Imitation learning in autonomous driving Bayesian methods for sample-efficient learning Research outputs include widely used benchmarks and tools including JaxMARL for accelerated multi-agent RL research. Current doctoral supervision focuses on temporal abstraction in RL, multi-agent coordination, and reinforcement learning theory.
David Noyce is a Professor and Executive Director of the Traffic Operations and Safety (TOPS) Laboratory at the University of Wisconsin-Madison's Department of Civil & Environmental Engineering. He also serves as Associate Director of the Safety Research Using Simulation (SaferSIM) Center, a University Transportation Center. His work focuses on transportation safety, traffic operations, and automated/connected vehicle systems. Key roles include leading over $35M in research since 2003 through the TOPS Lab and advancing technologies like V2V/V2I communication, winter maintenance strategies, and work zone safety. Education: PhD (Texas A&M, 1999), MS (Civil Engineering, UW-Madison, 1995), MBA (UW-Whitewater, 1994), BS (UW-Madison, 1984). Research interests span traffic control devices, driver behavior analysis, crash reconstruction, and multi-modal transportation systems. He pioneered the national implementation of flashing yellow arrow signals and developed the Wisconsin Connected and Automated Transportation Consortium. Current projects include C-V2X localization frameworks, automated vehicle safety testing, and winter maintenance efficiency. Recognized with 20+ awards, including ITE and ASCE Fellowships and the Dr. Arthur F. Hawnn Professorship. His labs offer full-scale driving simulators and field-testing capabilities for real-world validation of innovations.
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.
Asaf Cidon is an Associate Professor at Columbia University, jointly affiliated with the Department of Electrical Engineering and Computer Science, and a member of the Data Science Institute. His research focuses on software systems , storage , large-scale machine learning , and cybersecurity . Stanford University - PhD in Electrical Engineering Stanford University - MS in Electrical Engineering Technion - BS in Computer and Software Engineering His work in distributed storage systems has been commercialized by companies such as Facebook, Tibco, and Rubrik. He has led projects like Sentinel and Forensics during his industry career. Recent publications highlight advancements in software-based radiation protection (ASPLOS'26), PCIe pooling with CXL (HotOS'25), and AI phishing detection (IMC'25). These reflect his expertise in system architecture , security , and networking . Scientific recognitions include best paper awards at OSDI, Usenix Security, CIDR, and ATC, along with NSF CAREER and ARO Young Investigator Awards . His papers Cookie Monster (SOSP'24) and Chablis (CIDR'24) received notable accolades. He has mentored numerous PhD and Master's students , including Edward Guo, Harry Wang, and Teng Jiang, many of whom now hold roles at Google, Meta, Amazon, and academic institutions. His lab at Columbia is actively recruiting CS and EE PhD students. Prior to Columbia, he founded and led the startup Sookasa to acquisition and served as Senior Vice President of Email Protection at Barracuda Networks , managing a $200M business with 100 engineers.
Kenneth P. Birman is the N. Rama Rao Professor of Computer Science at Cornell University, where he has had a long and impactful career in distributed systems, cloud computing, and AI/ML infrastructure. He is known for foundational contributions to reliable and scalable distributed systems, and for leading high-impact projects such as Cascade, Vortex, and Derecho. He is also the author of a widely used textbook on reliable distributed systems and has founded multiple companies based on his research. Education: Ph.D. in Computer Science, University of California, Berkeley M.S. in Computer Science, University of California, Berkeley B.A. in Computer Science, Columbia University Research Interests: Professor Birman's research focuses on building reliable, secure, and scalable distributed systems . His current emphasis is on AI and ML infrastructure , particularly in reducing latency and improving performance through hardware acceleration, RDMA-based communication, and edge computing. He explores how to eliminate data movement bottlenecks in AI pipelines and how to support real-time, mission-critical applications in domains like healthcare, smart grids, and industrial IoT. His work spans systems programming, cloud computing, fault tolerance, and formal verification . He has designed systems that have been deployed in high-stakes environments such as the New York Stock Exchange, the Swiss Exchange, and the French Air Traffic Control system. Scientific Awards: ACM Fellow (1999) IEEE Fellow (2014) IEEE Tsutomu Kanai Award for innovations in distributed computing Teaching and Mentorship: Professor Birman teaches two courses in the fall semester: CS4414: Systems Programming and CS5416: Cloud and ML Systems Programming . He has advised numerous Ph.D. and M.S. students, including Alicia Yang, Tiancheng Yuan, Yifan Wang, Weijia Song, Edward Tremel, Sagar Jha, Jonathan Behrens, and Mae Milano. He has announced that Fall 2025 will be his last semester teaching, and he is no longer recruiting new students, though he will continue supervising current ones. Labs and Projects: He leads the Derecho Project and the Cascade/Vortex Project , both focused on high-performance distributed systems. These projects are collaborative efforts with students and industry partners, and the software is released under open-source licenses. He also maintains strong ties with Cornell's systems group and collaborates with faculty across CS, ECE, IS, and the Cornell Tech NYC campus.
Prof. Dr. Thomas Brinkhoff is Chair of the Institute Board and Chair of Geoinformatics at Oldenburg University of Applied Sciences. He leads the Institute for Applied Photogrammetry and Geoinformatics (IAPG) and contributes to institutions like the Association for the Promotion of Geoinformatics in Northern Germany (GiN e.V.) and the Oldenburg Research and Development Institute for Computer Science (OFFIS e.V.). Education: Diploma in Computer Science (Informatik), Universität Bremen (1990) Doctorate in Computer Science (Dr. rer. nat.), Ludwig Maximilian University of Munich (1994) Brinkhoff's research spans geodatabase systems, spatiotemporal data processing, geosensor analytics, and location-based services. His work addresses Volunteered Geographic Information (VGI), web-based geospatial visualization, and mobile data integration, with applications in traffic management and forensic science. Recent projects include ProSaDi (Digital Provenance and Collection Research) and contributions to the Laboratory for optical 3D metrology . He has served on program committees for ACM SIGSPATIAL (2002-2019), AGILE conferences (2010-2025), and editorial boards of journals like GeoInformatica and TGIS. Notable Lectures: 2024: Forensic applications of tachograph data 2023: Geoinformatics in homicide investigations 2022: Spatiotemporal analysis for sustainability projects 2015: Open geodata standards at FOSSGIS 2014: Mobile sensor data processing
Dr. Haneen Farah is an Associate Professor in the Department of Transport & Planning at Delft University of Technology and co-director of the Traffic and Transportation Safety Lab. She also serves as head of the Traffic Systems Engineering section. Her research focuses on road infrastructure design, road user behavior, and traffic safety, integrating transportation engineering, human factors, and econometrics. Prior to TU Delft, she was a postdoc at KTH Royal Institute of Technology and earned her M.Sc. and Ph.D. in Transportation Engineering from the Technion-Israel Institute of Technology. Her work includes national/international projects like SAMEN (mixed automated/human traffic implications), AfroSAFE (road safety in Africa), and XCARCITY (sustainable city mobility). She teaches undergraduate and graduate courses on road design and traffic safety, including online programs for low/middle-income countries. Farah supervises multiple PhD and Master students in her research areas, contributing to over 50 peer-reviewed publications. Key research themes include infrastructure design for automated vehicles, driver behavior modeling, cyclist safety, and policy implementation of the Safe System approach. Her interdisciplinary approach bridges engineering and psychology to enhance traffic safety and efficiency through advanced analytics and simulation models.
Zaw Myo TUN is a Research Fellow (Adjunct) at the Saw Swee Hock School of Public Health, National University of Singapore, and serves as Senior Manager (Research and Evaluation) at IRD Global Singapore. His academic career includes roles such as Postdoctoral Fellow (2022) and Research Associate (2013–2021) at the same school. He holds a PhD from NUS (2016–2021), an MSc in Epidemiology from the London School of Hygiene & Tropical Medicine (2011–2012), and an MBBS from the University of Medicine, Mandalay, Myanmar (2003–2008). His research focuses on epidemiology, global health, tuberculosis vaccines, and public health policy. Key interests include maternal vaccination coverage in low-resource settings, hospital-acquired infections (e.g., MRSA), antibiotic resistance, and the ethical implications of pandemic control measures. He has contributed to studies on SARS-CoV-2 transmission dynamics, road traffic injury patterns in Bhutan, and malaria drug policy compliance in India. His publications analyze public perceptions of health policies, such as during the COVID-19 pandemic, and explore factors influencing healthcare behaviors in diverse populations. His work bridges clinical data (e.g., electronic medical records) and population-level health surveillance to inform evidence-based interventions. While no awards are explicitly mentioned, his research has addressed critical global health challenges like tuberculosis control in Myanmar and antimicrobial stewardship in Singapore primary care settings. Zaw Myo TUN’s career emphasizes translational research, linking academic findings to real-world health system improvements. His roles span academia and non-profit sectors, reflecting a commitment to addressing public health disparities through collaborative, policy-driven solutions.
Fei Fang is an Associate Professor in the Software and Societal Systems Department at Carnegie Mellon University (CMU) , where she explores the intersection of artificial intelligence and multi-agent systems . Her work integrates machine learning with game theory to address challenges in security , sustainability , and mobility , aligning with the AI for Social Good mission. Ph.D. in Computer Science, University of Southern California (2016) B.Eng. in Electronic Engineering, Tsinghua University (2011) Recent research focuses on reinforcement learning , large language models (LLMs) , and human-AI collaboration . Her team’s work has been recognized with 15+ awards across prestigious venues like IAAI, AAAI, and IJCAI. Notable accolades include the 2023 Allen Newell Award , 2022 Sloan Fellowship , and NSF CAREER Award (2021) . She actively contributes to educational initiatives , including teaching "Demystifying AI for Everyone" at CMU, and has sought part-time teaching assistants for course development. Her research spans 15+ domains , including AI ethics , cyber defense , traffic optimization , and public health .
Prof. Alois Christian Knoll is a full professor at the Technical University of Munich (TUM) in the School of Computation, Information and Technology. His academic career includes roles at Bielefeld University and leadership in major EU initiatives like the Human Brain Project and ECHORD++. He specializes in robotics, AI, and autonomous systems, with a focus on medical robotics, sensor-based systems, and neuromorphic engineering. Knoll has supervised over 100 doctoral theses and authored/co-authored over 1,000 publications. Education: Diploma in Electrical Engineering (University of Stuttgart, 1985); PhD in Computer Science (Technical University of Berlin, 1988); Habilitation (TU Berlin, 1993). He has been at TUM since 2001, leading the Robotics, AI, and Real-Time Systems department. Research interests span autonomous systems, neuro-IT integration, and traffic simulation. Key projects include fortiss (Bavarian State Institute for Computer Science) and TUM-CREATE (Singapore collaboration). Awards include IEEE Fellow, University of Tokyo Fellow, and the Carl-Ramsauer-Prize (1990). Current roles include editorships in robotics journals, leadership in EU flagship projects, and teaching across multiple programs. His work bridges computer science, neuroscience, and engineering, with applications in healthcare, automotive systems, and urban mobility.
Sebastian Scherer is an Associate Research Professor at the Robotics Institute (RI), Carnegie Mellon University (CMU), where he leads cutting-edge research in autonomous aerial systems and robotics. His work focuses on enabling unmanned rotorcraft to operate safely and efficiently in cluttered, low-altitude, and extreme environments. Education: Ph.D. in Robotics, Carnegie Mellon University (2010) MS in Robotics, Carnegie Mellon University (2007) BS in Computer Science (Minor in Robotics), Carnegie Mellon University (2004) His research interests span robotics, artificial intelligence, autonomous navigation, obstacle avoidance, SLAM, visual-inertial odometry, energy infrastructure, and public policy . He has made seminal contributions to UAV autonomy, including the first obstacle avoidance for micro aerial vehicles in natural environments (2008) and the first automatic landing zone detection and landing on a full-size helicopter (2010). His recent publications (2023–2025) demonstrate a strong focus on resilient autonomy, multi-robot exploration, foundation models for robotics, and large-scale dataset development. His team has released key datasets like TartanGround , BETTY , and SubT-MRS , and simulation tools like Pegasus Simulator , indicating a systems-level approach to advancing real-world autonomy. The research trends emphasize self-supervised learning, robust perception, risk-aware planning, and multi-modal fusion for off-road and urban environments. Scientific Awards: Popular Science Best of What's New 2010 Award AIAA@Infotech Best Paper Runner-up Award (2010) Siebel Scholar Dr. Scherer has advised numerous students and leads a vibrant research group focused on high-impact robotics applications. He has secured significant grants related to UAV autonomy, energy infrastructure, and urban air mobility. His lab develops experimental infrastructure such as AIrTonomy for testing next-generation autonomous aerial vehicles. He is actively involved in advancing SLAM and localization in extreme environments, notably through participation in the DARPA Subterranean Challenge. His team develops large-scale datasets and benchmarking frameworks to push the boundaries of robustness and generalization in mobile robotics.
Nate Foster is a Professor of Computer Science at Cornell University and currently serves as the Associate Dean for Research in the Ann S. Bowers College of Computing and Information Science. He is also a Visiting Researcher at Jane Street and served as a Visiting Professor at École Polytechnique Fédérale de Lausanne during the 2023-24 academic year. His research uses ideas from programming languages to solve problems in networking, databases, and security. BA in Computer Science, Williams College (2001) MPhil in History and Philosophy of Science, University of Cambridge (2008, all work completed in 2003) PhD in Computer and Information Science, University of Pennsylvania (2009) Foster's research focuses on developing languages and tools that make it easy for programmers to build secure and reliable systems. His current work centers on the design and implementation of languages and tools for programmable networks, particularly using the P4 language. His past work includes bidirectional languages (also known as 'lenses'), database query languages, data provenance, type systems, mechanized proof, and formal semantics. His research group at Cornell has made significant contributions to network verification, software-defined networking, and formal foundations for programmable data planes. Analysis of Foster's recent publications reveals a strong focus on network verification and programming language foundations for networking. His work consistently applies formal methods to practical networking problems, with a particular emphasis on the NetKAT and P4 languages. Over the past five years, his research has evolved toward more complex network verification techniques, including infinite state verification, active learning of network models, and dependently-typed approaches to network programming. His work bridges theoretical computer science with practical networking systems, making formal methods accessible to network engineers. ACM Fellow (2025) ACM SIGPLAN Robin Milner Award (2023) ACM SIGCOMM Rising Star Award (2018) NSF CAREER Award (2013) Alfred P. Sloan Fellowship (2012) Multiple distinguished paper awards across top conferences including POPL, PLDI, and SIGCOMM Foster has advised numerous PhD and Master's students who have gone on to prominent positions in both industry and academia, with many continuing work in programming languages and networking. He has led multiple significant research grants including an NSF CAREER Award and has been involved in the P4 Language Consortium, serving as Chair of the P4 Language Governing Board. His work has been supported by various organizations including NSF, DARPA, and industry partners like Intel and Jane Street. Foster is also active in the programming languages research community, serving on numerous program committees and as Vice Chair of DARPA's Information Science and Technology (ISAT) study group. Foster leads a vibrant research group at Cornell focused on programming languages for networks, with collaborators from academia and industry. His group has developed several influential tools and frameworks including NetKAT, Petr4, and KATch. They maintain strong connections with the P4 community and work closely with industry partners to ensure their research has practical impact on real-world networking systems.
Alexandre Jacquillat is the Maurice F. Strong Career Development Associate Professor and Associate Professor of Operations Research and Statistics at MIT Sloan School of Management. His research focuses on data-driven decision-making with applications in air traffic management, urban mobility, and decarbonization. He holds a PhD in Engineering and MS degrees from MIT and École Polytechnique. Education PhD in Engineering, MIT MS in Technology and Policy, MIT MS in Applied Mathematics, École Polytechnique Research Interests His work develops scalable optimization models for efficient, equitable, and sustainable operations. Key areas include stochastic optimization, large-scale systems design, and machine learning applications in transportation and public policy. Recent projects explore vertiport planning for urban aerial mobility and prescriptive analytics for pandemic response. Awards Harold W. Kuhn Award (2024) INFORMS Harvey Greenberg Research Award (2023) MIT Jamieson Prize for Excellence in Teaching (2023) Multiple INFORMS Best Paper Awards (2015-2023) Named Leading Academic Data Leader by Chief Data Officer Magazine (2021-2022) Teaching & Grants Teaches courses in optimization (15.093, 15.083) and analytics (15.072). His grants support work in robotic warehousing, air traffic scheduling, and disaster response logistics. Advises on transportation analytics for industry and government. Labs/Teams Leads MIT Sloan's operations research group, collaborating with industry partners like McKinsey & Co. and Booz Allen Hamilton on transportation analytics and optimization projects.
Terry C. Lansdown is an Associate Professor in the School of Social Sciences and Department of Psychology at Heriot-Watt University. His expertise lies in Human Factors, particularly focusing on driver safety, workload management, and attentional distraction in transportation contexts. Prior to his academic role, he worked as a senior researcher at the Transport Research Laboratory, contributing to numerous EU-funded and government-sponsored projects. His research integrates ergonomics principles with real-world applications, addressing issues like automated driving systems, social distractions in vehicles, and occupational health in construction industries. Key research interests include: Driver behavior and road safety Human factors in automated systems Workload and attentional demands in complex tasks Health and safety in small-to-medium enterprises (SMEs) He has led studies on pandemic response strategies, such as the CHARIS project analyzing behavioral adherence during the COVID-19 crisis. Lansdown’s work frequently bridges psychological theory with practical interventions, including text messaging campaigns to improve construction worker safety and experimental designs to evaluate automation failure responses. Collaborations span academic and industrial sectors, with publications addressing topics ranging from UV exposure in outdoor workers to the cognitive impacts of in-vehicle distractions. His contributions align with UN Sustainable Development Goals related to health (SDG 3) and sustainable cities (SDG 11).
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.
