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.
Olga Sorkine-Hornung is a Professor of Computer Science at ETH Zurich and head of the Institute of Visual Computing. She leads the Interactive Geometry Lab, focusing on theoretical and practical advancements in digital content creation, geometry processing, and shape modeling. Current position: ETH Zurich, Department of Computer Science Previous roles: Courant Institute (NYU), Technical University of Berlin Education: BSc and PhD from Tel Aviv University, postdoc at TU Berlin Her research spans shape representation, digital fabrication, computer animation, and fundamental geometry processing. Key contributions include Laplacian surface editing, as-rigid-as-possible deformation, and generalized winding numbers. She works on applications in VR, AR, and autonomous systems. Awards include Test of Time Awards (2024), ACM Fellow (2020), ERC Consolidator Grant (2020), and EUROGRAPHICS Young Researcher Award (2008). She has supervised numerous students and co-developed software libraries like libigl and Instant Meshes . Co-chair roles for SIGGRAPH, Eurographics, and Pacific Graphics Editorial board member for ACM Transactions on Graphics and other journals Keynote speaker at VMV, CVPR, and SIAM conferences Her work bridges mathematical rigor with practical implementation, advancing computer graphics and geometry processing through intuitive algorithms that maintain surface detail while enabling efficient computation.
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.
Hadi Meidani is a Clinical Associate Professor at the Carle Illinois College of Medicine , specifically within the Department of Biomedical and Translational Sciences at the University of Illinois at Urbana-Champaign . He teaches courses in Civil and Environmental Engineering, including topics like Systems Engineering & Economics , Machine Learning in CEE , and Uncertainty Quantification . Ph.D., Civil Engineering, University of Southern California (2012) M.S., Electrical Engineering, University of Southern California (2012) M.S., Structural Engineering, Sharif University of Technology (2005) B.S., Civil Engineering, K.N. Toosi University of Technology (2002) Dr. Meidani's research focuses on uncertainty quantification , scientific machine learning , and optimization under uncertainty for engineering systems. His work spans stochastic multiscale analysis , physics-informed machine learning , and model reduction techniques. His recent publications emphasize machine learning for infrastructure systems , graph neural networks , physics-informed models , and traffic assignment . Key trends include deep learning , multi-fidelity modeling , and neural operator transformers applied to metamaterial design , seismic reliability , and autonomous freight delivery .
Prof. Laura Leal-Taixé is a Professor at the Technical University of Munich (TUM) in the Department of Informatics, leading the Dynamic Vision and Learning group. She holds the Rudolf Mößbauer Tenure Track Assistant Professorship, promoted to W3 Associate Professorship in 2022. Her research focuses on computer vision and machine learning, particularly video analysis, multi-object tracking, and autonomous driving applications. Education: B.Sc./M.Sc. in Telecommunications Engineering (Technical University of Catalonia, UPC) Ph.D. in Information Processing (Leibniz University of Hannover, Germany) Postdoctoral Research at ETH Zürich (Switzerland) and TUM Research Interests: Laura’s work addresses challenges in video analysis, including motion analysis, semantic segmentation, and integrating social dynamics into urban traffic modeling. Her project socialMaps , funded by the Sofja Kovalevskaja Award, explores decoupling vehicle and pedestrian traffic using dynamic maps. Her research combines optimization techniques, deep learning, and sensor data for real-world applications like autonomous systems. Recent Trends: Her publications highlight advancements in multi-object tracking, 3D LiDAR segmentation, and trajectory forecasting, emphasizing neural networks and geometric approaches. Collaborations with industry and academia underscore her work’s practical impact. Awards: 2017 Sofja Kovalevskaja Award (€1.65M, Humboldt Foundation) 2017 DAAD Australia-German Joint Research Grant Travel grants from Women in CV, CVPR Doctoral Consortium, and Vodafone Foundation Labs & Projects: Leads the Dynamic Vision and Learning group at TUM, focusing on vision-based AI for autonomous systems and environmental monitoring. Active in developing datasets like DynamicEarthNet for semantic change analysis.
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.
Ian Goldberg is a Professor at the Cheriton School of Computer Science , University of Waterloo, Canada. He holds the Canada Research Chair in Privacy Enhancing Technologies and leads the Cryptography, Security, and Privacy (CrySP) group . He is affiliated with the Cybersecurity and Privacy Institute and the Institute for Quantum Computing . Research Focus: Security, privacy, and privacy-enhancing technologies (PETs) for the Internet, including Off-the-Record (OTR) Messaging , censorship resistance , private information retrieval , and zero-knowledge proofs . Recent Publications: His work addresses metadata protection , deniable authentication , and secure multi-party computation , with applications to anonymous communication and censorship resistance. Scientific Awards: Canada Research Chair in Privacy Enhancing Technologies Students: He advises current and former PhD/Master’s students in projects like Lox , PRSONA , Walkie-Talkie , and SkypeMorph . Notable advisees include Sajin Sasy (Privacy-Preserving Communications), Justin Tracey (PETs Development), and Tao Wang (Website Fingerprinting Defenses). Labs & Teams: Goldberg is a core member of the CrySP group and contributes to the Tor Project and Off-the-Record Messaging open-source initiatives. His research bridges theoretical and applied cryptography, with deployments in real-world systems like Tor and PIR protocols.
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 .
Dr. Anwar Haque is an Associate Professor in the Department of Computer Science at Western University, Canada, and a Faculty of Science Distinguished Research Professor. He holds a Ph.D. in Electrical and Computer Engineering and an M.Sc. in Computer Science from the University of Waterloo. Prior to academia, he was Associate Director at Bell Canada. His research focuses on 5G networks, IoT, cybersecurity, AI, and autonomous systems, with over 100 peer-reviewed publications and $15M in collaborative grants. Dr. Haque leads the Western Information & Networking Group (WING) Lab and is the founder/CEO of Bamboo Innovations Inc., a tech startup developing socially responsible smart technologies. Leadership roles include industry expert-in-residence in the Faculty of Science, Undergraduate Chair of the Computer Science Department, and member of Western’s Senate. He has delivered over 30 keynote talks and media features include BBC Earth and The Globe and Mail. Awards include the IEEE CCECE Leadership Award and multiple grants from NSERC, MITACS, and Bell Canada. His work spans network reliability, smart grids, and cybersecurity, with industry partnerships like the Bell-Western 5G Research Centre.
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.
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.
Steven I-Jy Chien serves as Professor and Director of the Transportation Program within the Department of Civil and Environmental Engineering at the New Jersey Institute of Technology (NJIT). His career spans academia, government, and industry with significant contributions to transportation engineering research and practice. His educational credentials include: Ph.D. in Civil and Environmental Engineering from University of Maryland-College Park (1995) M.S. in Civil and Environmental Engineering from University of Maryland-College Park (1991) B.S. in Civil Engineering from Tamkang University (1983) Professor Chien's research focuses on transportation system resilience, sustainable transit operations, and advanced traffic modeling. His work addresses critical challenges in urban rail networks, demand-responsive transit services, and energy-efficient transportation systems. He employs sophisticated computational methods including genetic algorithms, machine learning, and Bayesian approaches to solve complex transportation problems involving network vulnerability, passenger behavior, and infrastructure optimization under uncertainty. Analysis of his recent publications reveals strong emphasis on transportation resilience against cascading failures, sustainable operations for electric transit systems, and pandemic-responsive aviation scheduling. His research spans diverse geographic contexts including major Chinese metropolitan areas and U.S. transportation networks, demonstrating global applicability of his methodologies. His professional recognition includes: 2024 Keynote Speaker at Union-Tech Lecture, National Taiwan Ocean University 2022 Keynote Speaker at International Conference of Chinese Institute of Transportation 2022 Best Poster Award from New Jersey Department of Transportation Professor Chien has secured research funding from federal agencies including the Federal Highway Administration (FHWA) where he contributed to CORSIM traffic simulation software development. His industry experience with China Engineering Consultants Inc. and Information Dynamic Inc. informs his practical approach to transportation challenges. As Transportation Program Director, he oversees curriculum development and industry partnerships that prepare students for transportation sector careers. He maintains active collaboration with transportation agencies globally, particularly through his leadership in the Transportation Program at NJIT which serves as a hub for innovation in urban mobility solutions.
Mahdi Khodayar is an Assistant Professor of Computer Science at the University of Tulsa . He holds a Ph.D. in Electrical Engineering from Southern Methodist University (2020) and M.Sc./B.S. degrees in Artificial Intelligence and Software Engineering from K.N. Toosi University of Technology (2015, 2013). His research focuses on AI and machine learning applications in power systems, transportation systems, computer vision, and spatiotemporal pattern recognition. B.Sc. in Computer Engineering (2013), K.N. Toosi University of Technology M.Sc. in Artificial Intelligence (2015), K.N. Toosi University of Technology Ph.D. in Electrical Engineering (2020), Southern Methodist University Khodayar’s research bridges deep learning with energy systems , including fault detection in power grids, renewable energy forecasting, and traffic scene understanding. His work leverages graph neural networks , reinforcement learning , and generative models for robust spatiotemporal analysis. Recent publications highlight his focus on graph-based architectures for power systems, hybrid deep reinforcement learning in energy forecasting, and unsupervised domain adaptation in remote sensing. His work integrates physics-informed modeling with probabilistic frameworks . Scientific Awards : NSF ECCS Division Funding (2022) US DOT FHWA Grant (2023) Zelimir Schmidt Award for Early Career Research (2023) Honors Student Award (2015), K.N. Toosi University Khodayar has been funded by the NSF , US Department of Transportation , and the TU Cyber Fellows program . He serves as an associate editor for IEEE Transactions on Transportation Electrification and other journals.
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.
