Find Academic Supervisors

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.

• Transportation Safety
• Traffic Operations
• Vehicle-to-Infrastructure Communication
• +5 more

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.

• Trustworthy Machine Learning
• Formal Verification of Machine Learning
• AI Safety
• +4 more

Dr. Alex Bigazzi is an Associate Professor and Associate Head (Undergraduate Program) in the Department of Civil Engineering at the University of British Columbia (UBC), with a joint appointment in the School of Community and Regional Planning. He leads the REACT Lab, focusing on active transportation, micromobility, and sustainable infrastructure design. His research emphasizes the intersection of physics, physiology, and behavior in active travel, particularly for pedestrians and cyclists, and addresses emissions reduction and equitable urban mobility. Bigazzi holds a B.M. in Jazz Saxophone from the University of Miami and a Ph.D. in Civil Engineering from Portland State University. His career includes academic and practical contributions, such as founding the REACT Lab and leading projects on e-bike incentives, air pollution exposure, and infrastructure design. His work has earned awards like the 2024 Wall Legacy Award for inclusive transport design and the 2023 Climate Action Award. He teaches courses on pedestrian/bicycle facility design and capstone projects, mentoring students through UBC’s Civil Engineering programs.

• Active travel (walking/cycling)
• Micromobility and e-bikes
• Pedestrian and bicycle facility design
• +3 more

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.

• road infrastructure design
• road user behavior
• traffic safety
• +7 more

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.

• Epidemiology
• Global Health
• Tuberculosis Vaccines
• +3 more

Brendan Russo serves as an Associate Professor in the Department of Civil Engineering, Construction Management, and Environmental Engineering at Northern Arizona University, where he conducts influential research in transportation safety and traffic engineering. His work focuses on improving safety outcomes for vulnerable road users through rigorous analysis of crash data, traffic operations, and emerging mobility technologies, with significant contributions to Arizona-specific transportation challenges and national safety practices. Russo's research program centers on bicycle and pedestrian safety, crash severity analysis, and the integration of autonomous systems into transportation networks. He employs advanced methodologies including spatial analysis, statistical modeling (e.g., random parameters bivariate probit models), and observational studies to investigate traffic stress levels, intersection safety, and the impacts of infrastructure treatments. His work consistently bridges theoretical transportation engineering with practical applications for safer community design. Analysis of Russo's recent publications reveals a strong emphasis on emerging transportation technologies and their safety implications, particularly regarding autonomous delivery robots and vehicle-pedestrian interactions, while maintaining core focus on traditional safety concerns like bicycle crash frequency and severity. His research demonstrates increasing integration of spatiotemporal analysis and scenario-based testing methodologies, with a clear geographic concentration on Arizona metropolitan regions that provides valuable localized insights applicable to broader transportation contexts. No scientific awards were mentioned in the provided text. No specific information about advising responsibilities or grant funding was provided in the text, though his extensive publication record and dataset contributions indicate active research leadership. Russo collaborates within a robust research network centered on transportation safety, frequently partnering with colleagues including Gehrke, Smaglik, and Holliday on projects involving field data collection, bicycle infrastructure evaluation, and safety performance metrics. His work leverages both observational studies and simulation approaches to develop data-driven guidance for transportation practitioners, with particular attention to Arizona's unique transportation environment and metropolitan planning challenges.

• Transportation Safety
• Traffic Engineering
• Bicycle and Pedestrian Safety
• +4 more

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 .

• Artificial Intelligence
• Multi-Agent Systems
• Machine Learning
• +5 more

Gretchen A. Macht is an Associate Professor in the Department of Mechanical, Industrial and Systems Engineering at the University of Rhode Island, College of Engineering. She specializes in Human Systems Engineering, with research emphasizing team performance, sustainability, electric vehicles, solar energy systems, and voting systems. Her work bridges engineering, ergonomics, and public policy. Her research interests focus on understanding and optimizing human-centered systems. She investigates team communication and performance through fuzzy cognitive maps and entropy modeling, develops sustainable design practices for products and energy systems, and analyzes user behavior in electric vehicles and solar installations. A significant portion of her research is dedicated to election systems, where she uses simulation to improve accessibility, safety, and efficiency of in-person voting, particularly during public health crises. Her recent publications span topics such as EV charging behavior, solar installation safety, voting simulation, and team dynamics. These works reflect interdisciplinary trends combining systems engineering, data analytics, ergonomics, and sustainability science. She frequently employs simulation, naturalistic data analysis, and human factors methodologies. Dr. Macht has secured substantial grant funding from organizations including the U.S. Election Assistance Commission, National Science Foundation, MIT, and Democracy Fund. She serves as Principal Investigator (PI) or Co-PI on projects related to election systems (e.g., SMILE, URI VOTES), ergonomic redesign of protective gear, and community solar development. She leads the SIS Lab and the URI VOTES initiative, fostering collaborative research on simulation and system design. Her lab supports graduate students in conducting impactful research at the intersection of engineering and societal challenges. Notable grants include: PI, MIT: “Voting in Person - White Paper” (2023) PI, US EAC: “SMILE 2.0” (2022) PI, Democracy Fund: “URI VOTES Pocket Guide Tool” (2022) Co-PI, NSF: “Election Science: Convergence Accelerator Workshop Proposal” (2021) PI, US EAC: “SMILE: Simulation Models for an Immersive Learning Environment” (2021) She has advised several graduate students, including Mehrsa Khaleghikarahrodi, Nicholas D. Bernardo Jr., and Tim Jonas, whose research aligns closely with her focus areas in EVs, elections, and team performance.

• Human Systems Engineering
• Team Performance
• Sustainability
• +7 more

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.

• Robotics
• Artificial Intelligence
• Autonomous Systems
• +6 more

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.

• Robotics
• Unmanned Aerial Vehicles
• Autonomous Navigation
• +13 more

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.

• Programming Languages
• Networking
• Databases
• +5 more

Nancy M. Wells is a Professor in the Department of Human Centered Design and serves as the Senior Associate Dean for Research and Graduate Education in the College of Human Ecology at Cornell University. Her work bridges environmental psychology and public health, examining how built and natural environments impact human health and behavior across the lifespan. Dr. Wells received a joint PhD in Psychology and Architecture from the University of Michigan and completed National Institute of Mental Health (NIMH) post-doctoral training at the University of California, Irvine. Her educational background uniquely positions her to investigate the intersection of physical environments and human wellbeing through both psychological and architectural lenses. Her research focuses on how environmental contexts—from homes to neighborhoods to schools—affect health outcomes, cognitive functioning, and resilience. A central theme examines nature's role in human resilience, particularly how natural environments buffer against adversity and challenge. She has conducted influential work on school gardens and their effects on children's physical activity, dietary habits, and learning. More recently, she has pioneered research on nature and autism, conducting a randomized controlled trial examining natural environments' effects on autistic youth wellbeing. Analysis of Dr. Wells' recent publications reveals consistent focus on nature's health benefits, with strong emphasis on experimental methodologies including randomized controlled trials and natural experiments. Her work spans environmental psychology, public health, and education, with particular attention to vulnerable populations including low-income communities and children of color. NSF Funding for environmental health research USDA Funding for school garden studies Robert Wood Johnson Foundation Funding MacArthur Foundation Funding Senior Associate Editor of Environment and Behavior (4 years) Research Advisory Board of Children and Nature Network Board of Directors for reDirect Dr. Wells actively mentors undergraduate and graduate students through the Wells Lab, involving them in all research stages from data collection to publication. Her research has been supported by multiple significant grants examining housing quality effects on mental health, neighborhood design impacts on physical activity, and school garden interventions. She leads interdisciplinary research teams that integrate perspectives from environmental psychology, public health, landscape architecture, and education. The Wells Lab operates as an integrated research-teaching-outreach unit that develops practical yet rigorous studies to assess causal relations between environment and health, creates valid measurement tools, and identifies causal pathways. Current projects include examining nature's effects on autistic youth wellbeing in partnership with The Center for Discovery in New York, and investigating multi-sensory design in urban public spaces.

• Environmental Psychology
• Human-Environment Interactions
• Nature and Health
• +7 more

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).

• Human Factors
• Transport Safety
• Driver Behavior
• +7 more

Dr. Liang Cheng is the Department Chair and Professor in the Department of Electrical Engineering and Computer Science at the University of Toledo. He leads a department with ~700 students across CS, CSE, and EE programs. His research focuses on Cyber-Physical Systems (CPS), IoT, AI/ML, and intelligent infrastructure, supported by over $30M in funding from NSF, DOE, DOT, and industry. Notable projects include CPS Breakthrough initiatives and underground sensing systems. He co-edited a multidisciplinary book on Underground Sensing and contributed to smart grid cybersecurity. Dr. Cheng has held leadership roles at Lehigh University, shaping faculty governance and equity policies. His 100+ publications span networking, real-time systems, and sensor networks. He advises on funded projects totaling $30M+ and has pioneered pedagogical approaches in computer science education. Research Interests: Cyber-Physical Systems (CPS): Focuses on autonomous drones, energy systems, and real-time infrastructure Networking: Expertise in TSN, DTN, and wireless protocols Cybersecurity: SCADA systems, PLC attack detection, and blockchain energy modeling Underground Sensing: Geo-sensing via wireless signals and subsurface tomography Grants & Projects: Over 20 sponsored projects including NSF CPS Breakthrough (2018-2023), ABB smart grid projects, and DARPA-funded EDIFY systems. Key contributions include reconfigurable wireless architectures and network calculus tools for real-time systems. Teaching: Courses span senior design, compiler design, parallel computing, and wireless sensor networks. Developed pedagogical patterns for non-CS programming education. Awards: Recognized for leadership in academic governance and interdisciplinary research collaboration.

• Cyber-Physical Systems (CPS)
• Internet of Things (IoT)
• AI/ML Applications
• +7 more

Patrick McDaniel is a Professor in the School of Computer, Data & Information Sciences at the University of Wisconsin-Madison. He is a Fellow of IEEE, ACM, and AAAS, and leads the MadS&P (UW-Madison Security and Privacy) group. His research spans computer and network security, adversarial machine learning, and technical public policy. Academic Affiliation : Tsun-Ming Shih Professor of Computer Sciences Key Research Areas : Mobile/IoT security, election systems security, AI policy Research Trends : His recent publications and funded projects focus on adversarial machine learning, SDN security, and robustness of AI systems. Keywords include cybersecurity, machine learning, network security, and privacy. Grants and Leadership : He has secured over $5M in NSF funding for end-to-end trustworthiness of ML systems and leads collaborative projects with Army Research and UW-Madison. Awards : Multiple best/most influential paper awards (ICSE 2015, PLDI 2014, ACSAC 2024, EthiCS 2023) Advising : Mentored 13+ PhD students and postdocs now at top institutions like Google, Purdue, and University of Toronto

• Security of Machine Learning/AI Systems
• Adversarial Machine Learning
• Systems Security
• +4 more