Find Academic Supervisors

Mari Ostendorf serves as an Adjunct Professor in the Department of Computer Science and Engineering within the College of Engineering at the University of Washington, where she conducts research at the intersection of speech technology and computational linguistics with emphasis on spontaneous speech phenomena. Her educational foundation includes: PhD in an unspecified field, Stanford University (1985) Her research program systematically investigates: Speech Processing: Specializing in spontaneous speech characteristics and prosodic modeling Natural Language Processing: Focusing on conversational speech parsing and stance analysis Computational Linguistics: Integrating linguistic theory with machine learning approaches Prosody: Analyzing idiosyncratic speech patterns for language processing applications Stance Recognition: Developing computational methods for identifying speaker attitude and commitment Her work manifests in significant projects including the LiCORICE Project (2009-2011) as Principal Investigator and the ATAROS Project as Co-Principal Investigator, both advancing automatic spoken language processing through detailed modeling of speech prosody and stance phenomena. Analysis of her publication record reveals a consistent trajectory toward interdisciplinary integration of linguistic theory and machine learning for spoken language understanding, with particular emphasis on non-lexical cues and discourse markers in conversational contexts that bridge computational and cognitive approaches to language processing. No scientific awards were mentioned in the provided documentation. Her advising record includes PhD candidates Jeremy Kahn (2010 dissertation on conversational speech parsing) and Esther Le Grézause (2017 dissertation on stance expression). Her grant portfolio features the LiCORICE Project (2009-2011, PI with Emily M. Bender and Mark Zachry) and the ATAROS Project (Co-PI with Richard Wright and Gina Levow), demonstrating sustained research funding in speech technology. Her research operates within an interdisciplinary framework connecting computer science and linguistics, evidenced by collaborations spanning departments and contributions to dissertation defenses in the Linguistics program at the University of Washington.

• Speech Processing
• Natural Language Processing
• Computational Linguistics
• +3 more

Dawn Song is a Professor in the Department of Electrical Engineering and Computer Science at the University of California, Berkeley, affiliated with multiple research centers including the Berkeley Artificial Intelligence Research Lab (BAIR) and the Berkeley Center for Responsible, Decentralized Intelligence (RDI). She holds leadership roles in AI safety, cybersecurity, and blockchain research. Her work bridges machine learning, security, and distributed systems, with notable contributions to formal verification, privacy-preserving technologies, and AI governance. Education: Ph.D. (2002) and M.S. (1999) in Computer Science from UC Berkeley and Carnegie Mellon University, respectively. She previously served as an Assistant Professor at Carnegie Mellon University before joining UC Berkeley in 2007. Research Interests: Dawn's work focuses on AI safety, cybersecurity, and the ethical implications of frontier AI. She explores topics such as large language model vulnerabilities, zero-knowledge proofs, blockchain security, and policy frameworks for AI governance. Her research combines theoretical rigor with practical applications, addressing challenges in secure systems, adversarial machine learning, and privacy-preserving computation. Publications: Her recent work includes groundbreaking studies on LLM memorization, smart contract decompilation, and AI agent cybersecurity evaluation. She also leads initiatives like the Singapore Consensus and California Report on AI safety priorities, emphasizing global collaboration in risk mitigation. Notable Awards: MacArthur Fellowship (2010), ACM Fellow (2019), IEEE Fellow (2019) Advising & Grants: She advises projects on AI policy and cybersecurity, securing grants from NSF, DARPA, and industry collaborations. Her lab develops tools like CyberGym for evaluating AI agents and zkPyTorch for secure machine learning. Labs & Teams: Her research groups at UC Berkeley focus on cutting-edge projects in AI safety, blockchain, and cybersecurity, collaborating with industry leaders and policymakers to advance both technical and ethical standards.

• Artificial Intelligence
• Cybersecurity
• Machine Learning
• +7 more

Stefano Ermon is an Associate Professor in the Department of Computer Science at Stanford University, affiliated with the Artificial Intelligence Laboratory and a Senior Fellow at the Woods Institute for the Environment. His research focuses on advancing machine learning and generative AI techniques to address societal and environmental challenges, including computational sustainability, geospatial analysis, and climate science. He holds a Ph.D. from Cornell University (2015). Education: Ph.D. in Computer Science, Cornell University (2015). Research Interests: Ermon’s work bridges foundational machine learning (e.g., diffusion models, generative AI, and optimization) with applications in sustainability, geospatial analysis (via satellite imagery), and earth observation systems. Notable contributions include predicting poverty using satellite data and developing scalable methods for molecule generation. Articles Trends: His recent work emphasizes diffusion models for generative tasks (e.g., text-to-image, molecule design), geospatial AI (e.g., environmental monitoring), and ethical AI (e.g., bias mitigation in LLMs). He also explores applications in robotics and scientific computing. Awards: He has received prestigious awards, including the ICML 2024 Best Paper Award, Sloan Research Fellowship, Microsoft Research Faculty Fellowship, and the IJCAI Computers and Thought Award. Advising and Grants: Ermon teaches courses like Probabilistic Graphical Models (CS228) and has secured grants from NSF, ONR, AFOSR, and private foundations. His lab develops tools for climate science and sustainable development. Labs/Teams: Leads the Stanford AI Lab group focused on computational sustainability and generative AI, collaborating with institutions like the Woods Institute for environmental applications.

• Machine Learning
• Generative AI
• Computational Sustainability
• +7 more

Stephen Licht is an Associate Professor of Ocean Engineering and Graduate Director at the University of Rhode Island's College of Engineering, where he directs the Robotics Laboratory for Complex Underwater Environments (R-CUE). His research focuses on developing maritime robots capable of operating in dynamic and unpredictable environments through biologically inspired propulsion, distributed pressure sensing, model-based optimal control, and compliant underwater manipulation technologies. Ph.D. in Oceanographic and Mechanical Engineering from MIT/WHOI Joint Program (2008) B.S. in Mechanical Engineering from Yale University (1998) Former Senior Research Scientist at iRobot and Senior Robotics Engineer at Vecna Robotics Current Research Affiliate with MIT Department of Mechanical Engineering Former Visiting Faculty at Libera Università di Bolzano (2019-2020) Dr. Licht's research spans marine robotics with emphasis on biologically inspired propulsion systems that provide high authority and bandwidth thrust, nonlinear attitude control for maneuvering in dynamic conditions, compliant underwater manipulation technologies, and unmanned aerial monitoring of coastal structures. His work bridges mechanical engineering principles with oceanographic applications to create more capable underwater robotic systems that can operate in complex marine environments. His recent publications demonstrate a strong trend toward soft robotics applications for deep-sea exploration, with particular focus on jamming grippers and neutrally buoyant manipulation systems. The research also shows increasing integration of additive manufacturing techniques for field-deployable solutions and computational methods for autonomous systems operating in challenging marine environments. His work spans fundamental control theory, mechanical design, and practical field applications. Dr. Licht has secured significant research funding as both Principal Investigator and Co-Principal Investigator from major organizations including the Office of Naval Research, NOAA, NSF, and various university collaborations. His grants focus on advancing unmanned underwater vehicle technology, soft robotics for deep-sea applications, and coastal monitoring systems. Active mentor to numerous graduate and undergraduate students in Ocean Engineering Successful track record of student placements at organizations including Jaia Robotics, Scripps Institution of Oceanography, FORSSEA Robotics, and government research labs Collaborates with researchers at MIT, WHOI, University of Connecticut, University of Maine, and international institutions Licht leads the R-CUE lab which develops innovative solutions for underwater robotics challenges, with particular expertise in biomimetic propulsion, soft robotics for deep-sea applications, and autonomous systems for environmental monitoring. The lab maintains strong industry connections with OceanGate Inc. and FabNewport, and engages with local educational institutions through outreach programs with Roger Williams Middle School.

• Marine Robotics
• Biologically Inspired Propulsion
• Nonlinear Attitude Control
• +5 more

Boris Hanin is an Associate Professor at Princeton University's Department of Operations Research and Financial Engineering (ORFE) and Associated Faculty at the Program in Applied and Computational Mathematics (PACM). Prior to Princeton, he held academic positions at Texas A&M University (Assistant Professor of Mathematics), MIT (NSF Postdoctoral Fellow), and Northwestern University (PhD in Mathematics under Steve Zelditch). He works part-time at Foundry, an AI/computing startup, leading the Foundry Institute. PhD in Mathematics, Northwestern University NSF Postdoctoral Fellowship, MIT Mathematics Associate Professor, Princeton ORFE Part-Time Leader, Foundry Institute His research spans machine learning, probability theory, and mathematical physics, focusing on neural network theory (approximation power, optimization guarantees), random matrix theory, and spectral asymptotics. He has made foundational contributions to understanding gradient behavior, initialization, and infinite-width limits in deep learning. Boris has supervised numerous PhD students and postdocs, with former members securing prestigious positions at Harvard, MIT, and Huawei. He serves as Associate Editor for journals like Pure and Applied Analysis and Mathematics of Operations Research , and has taught short courses at Oxford, Luxembourg, and Tor Vergata on statistical physics of neural networks and deep learning theory. 2024 Sloan Fellowship in Mathematics NSF CAREER grant DMS-2143754 NSF grant DMS-2133806 His research group collaborates on topics including hyperparameter transfer, architecture-aware scaling, and spectral analysis of random waves and neural networks. He actively contributes to theoretical machine learning through foundational publications in venues like Probability Theory and Related Fields , Journal of Machine Learning Research , and Communications in Mathematical Physics .

• Machine Learning
• Probability
• Mathematical Physics
• +6 more

Justin Johnson is an Assistant Professor at the University of Michigan's College of Engineering, Department of Electrical Engineering and Computer Science, and a Research Scientist at Facebook AI Research (FAIR). His work bridges computer vision, machine learning, and deep learning, focusing on visual reasoning, vision-language tasks, image generation, and 3D reasoning using neural networks. PhD, Stanford University (advised by Fei-Fei Li) His research interests span visual reasoning , vision and language , 3D vision , and image generation , with a focus on innovative applications of deep neural networks. Recent publications highlight work on 3D consistency, self-supervised learning, and multimodal integration of vision and text. Notable contributions include PyTorch3D for 3D data processing, and foundational work in visual question answering , neural style transfer , and scene graph-based image generation . Publications span top conferences like ICCV, CVPR, and NeurIPS. He teaches courses including EECS 498/598: Deep Learning for Computer Vision and EECS 442: Computer Vision at University of Michigan, with prior involvement in Stanford's CS 231N in co-teaching roles. Software projects include open-source frameworks like fast-neural-style for real-time artistic style transfer, and PyTorch3D for efficient 3D deep learning. These tools demonstrate his commitment to practical implementations and community-driven research.

• Computer Vision
• Machine Learning
• Visual Reasoning
• +7 more

Dr. Diyi Yang is an Assistant Professor in the Computer Science Department at Stanford University. She leads the Social and Language Technologies (SALT) Lab, affiliated with the Stanford NLP Group, Stanford HCI Group, Stanford AI Lab (SAIL), and Stanford Human-Centered Artificial Intelligence (HAI). Her research focuses on socially aware natural language processing, large language models (LLMs), and human-AI interaction, aiming to improve human-human and human-computer communication through socially grounded AI systems. Education: Ph.D. in Language Technologies Institute, Carnegie Mellon University (2013–2019) B.S. in ACM Honored Class, Shanghai Jiao Tong University (2009–2013) Research Interests: Dr. Yang’s work bridges computational social science and NLP. She explores how AI can understand social contexts in language use and develop systems that respect cultural norms, ethical standards, and human values. Her lab’s projects include AI companions for skill training (e.g., Rehearsal Dialects), norm-aware LLMs (NormBank), and frameworks for human-AI collaboration (Co-Gym). Recent efforts address bias in AI, societal impacts of LLMs, and ethical evaluation of human-AI systems. Awards & Honors: 2024: Sloan Research Fellowship, ONR Young Investigator Award 2023: Adamic-Glance Young Distinguished Award (ICWSM), Kavli Fellow (NAS) 2022: NSF CAREER Award, Microsoft Research Faculty Fellow 2020: IEEE AI’s 10 to Watch Advising & Grants: Dr. Yang advises over 10 PhD students and postdocs, co-leading projects on LLM evaluation (SWE-bench/SWE-smith), human-AI ethics, and culturally aware NLP. Her research is supported by NSF, Amazon, DARPA, Google, and Stanford’s HAI initiative. Labs & Teams: The SALT Lab collaborates across disciplines, with projects spanning computer science, linguistics, and social sciences. Current initiatives include developing AI tools for mental health support (AI Partner & Mentor) and auditing societal impacts of LLMs.

• Computational Social Science
• Natural Language Processing
• Socially Aware NLP
• +4 more

Benjamin Van Roy is a Professor at Stanford University since 1998, affiliated with the Departments of Electrical Engineering and Management Science and Engineering, and the Institute for Computational and Mathematical Engineering. He leads the Efficient Agent Team at Google DeepMind and previously held leadership roles at Morgan Stanley, Unica, and Enuvis. He holds SB, SM, and PhD degrees in Computer Science and Electrical Engineering from MIT, advised by John Tsitsiklis. His research focuses on reinforcement learning, alignment, and information theory, with contributions to machine learning foundations, optimization, and finance. He has authored over 150 publications, including influential works on Thompson Sampling, approximate dynamic programming, and exploration strategies. His honors include INFORMS and IEEE Fellowships and the INFORMS Lanchester Prize. Van Roy advises doctoral students across academia and industry, with graduates at top institutions and companies like Meta, Tesla, and Citadel. He teaches courses on reinforcement learning, stochastic control, and optimization. His open-source projects include Epistemic Neural Networks and the Neural Testbed for evaluating machine learning models. Key contributions include foundational work in reinforcement learning theory, scalable methods for recommendation systems, and applications in finance and resource allocation. His research bridges theoretical insights with practical applications, emphasizing alignment and safety of AI systems.

• Reinforcement Learning
• Machine Learning
• Artificial Intelligence
• +4 more

Yingyan (Celine) Lin is an Associate Professor in the School of Computer Science at Georgia Institute of Technology, leading the Efficient and Intelligent Computing (EIC) Lab. Her work focuses on cross-layer innovations in machine learning systems, from algorithms to chip design, aiming to advance green AI and ubiquitous machine learning. She holds a Ph.D. in Electrical and Computer Engineering from the University of Illinois at Urbana-Champaign (2017). Research interests include efficient machine learning, neural rendering (e.g., NeRF), hardware-software co-design for AI acceleration, and graph neural networks. Her lab has pioneered projects like RTML and 3DML, funded by NSF, NIH, DARPA, and industry partners (Qualcomm, Intel, Meta). Awards: NSF CAREER Award (2021), ACM SIGDA Outstanding Young Faculty (2022), Meta Faculty Research Award (2022) Grants: Multi-university projects funded by NSF, NIH, DARPA, SRC, ONR, and industry Recognition: First-place wins at DAC 2022 and TinyML Design Contest 2022, IEEE Micro Top Pick 2023 Her research bridges algorithmic innovation with hardware implementation, emphasizing energy efficiency and real-time performance for applications in AR/VR, computer vision, and neuro-symbolic AI systems.

• Efficient Machine Learning
• Cross-Layer Innovations
• Green AI
• +7 more

Polina Golland is a Professor in the Department of Electrical Engineering and Computer Science (EECS) at MIT and a Principal Investigator in the Computer Science and Artificial Intelligence Laboratory (CSAIL). Her research focuses on developing novel techniques for biomedical image analysis and understanding, particularly in medical vision, AI/ML, and health care applications. She leads the Medical Vision Group and collaborates with the Vision Group at CSAIL. Her work emphasizes statistical modeling of medical images, shape modeling, and predictive analytics for biological processes. Current projects include fetal MRI analysis, cardiac MRI segmentation, and quantitative assessment of pulmonary edema in chest X-rays. She has secured grants from NIH, MIT-IBM Watson AI Lab, and other institutions to support her research. Dr. Golland teaches courses on inference, probability, and probabilistic systems. She advises graduate students in MIT's EECS program and has mentored numerous postdocs and researchers. Her lab focuses on translating advanced imaging techniques into clinical workflows, with applications in neuroimaging, fetal health monitoring, and cardiovascular disease analysis. Notable collaborations include work with Harvard Medical School affiliates, Brigham and Women's Hospital, and the MIT Jameel Clinic. Her research aims to bridge computational methods with clinical needs, improving diagnostic tools and treatment planning through machine learning and medical imaging innovation.

• Biomedical Image Analysis
• Medical Vision
• AI & Machine Learning
• +8 more

Hao Su is an Associate Professor in the Department of Computer Science and Engineering at University of California, San Diego . He serves as Chairman & CTO of Hillbot Inc , and leads the SU Lab which focuses on building autonomous systems that learn actively in physical environments. His affiliations include the Institute for Learning-enabled Optimization at Scale , Artificial Intelligence Group , Contextual Robotics Institute , Halicioğlu Data Science Institute , and Center for Visual Computing . As a researcher in Computer Vision, Robotics, and Neural Geometry , he has made significant contributions to 3D foundation models, reward-free world models, diffusion policy frameworks, and GPU-accelerated simulation environments. His 2024-2025 publications include advancements in hand-eye calibration, dynamic mesh reconstruction, and multi-stage robotic manipulation. His scientific awards include: Frontiers of Science Award (2025) TPAMI Young Research Award (2025) NSF CAREER Award (2023) ACM SIGGRAPH Best Doctorate Thesis Honorable Mention (2019) He has served as Program Chair for CVPR 2025 and Area Chair for ICLR 2022 and NeurIPS 2023 , while previously serving as Publication Chair for 3DV 2016 and Program Committee for SIGGRAPH Asia Workshops .

• Computer Vision
• Robotics
• 3D Data Understanding
• +3 more

Xin Guo is Professor and Department Chair of Industrial Engineering and Operations Research (IEOR) at UC Berkeley's College of Engineering, holding the Coleman Fung Chair in Financial Modeling. Her research bridges mathematical finance, stochastic control, and machine learning with applications in risk analytics and quantitative trading. Education: Ph.D. in Mathematics, Rutgers University (1999) Research Interests: Professor Guo's work centers on mathematical finance , stochastic games , and reinforcement learning . She develops theoretical frameworks for α-potential games and mean-field systems while applying signature methods and GANs to financial data. Her research addresses critical problems in portfolio optimization, fraud detection (e.g., Medicare analytics), and market forecasting, emphasizing the intersection of stochastic control with machine learning for real-world decision-making under uncertainty. Publication Trends: Recent work (2023-2025) shows increasing focus on multi-agent reinforcement learning through mean-field game theory, with applications spanning finance (corporate bonds, trading), healthcare (fraud detection), and transportation (rate forecasting). Key innovations include BSDE approaches for stochastic games, signature-based time series analysis, and theoretical guarantees for GAN training dynamics. Scientific Awards: Holds the prestigious Coleman Fung Chair in Financial Modeling, reflecting significant contributions to quantitative finance research. Advising and Grants: As IEOR Department Chair, Professor Guo mentors graduate students in stochastic modeling and financial engineering. Her research is supported by the Coleman Fung Endowment Fund, with collaborations spanning finance, healthcare, and transportation sectors through industry partnerships. Labs and Teams: Leads the Risk Analytics & Data Analysis Research (RADAResearch) Lab ( https://risklab.ieor.berkeley.edu/ ), which develops cutting-edge methodologies for risk assessment, data-driven decision-making, and game-theoretic solutions to complex systems. The lab fosters interdisciplinary work connecting mathematical theory with practical applications in FinTech and beyond.

• Mathematical Finance
• Financial Engineering
• FinTech
• +7 more

Amitabha Bagchi is a Professor in the Department of Computer Science and Engineering at IIT Delhi. His research spans data algorithmics, probability, networks, and theoretical computer science, with applications in distributed systems, social networks, and AI-driven platforms. He has published extensively in leading venues such as SIGMOD, VLDB, ICDE, AAAI, and KDD, often collaborating with students and researchers on problems involving graph algorithms, fairness, and large-scale data analysis. Research Interests: His primary research interests include Data Algorithmics, Probability and Networks, Theoretical Computer Science, Distributed Algorithms, Graph Algorithms, and Machine Learning Theory. He investigates algorithmic foundations for real-world problems such as food delivery optimization, social network analysis, and efficient data structures for streaming and large graphs. Publication Trends: Recent publications focus on fairness in gig economy platforms, efficient solvers for graph Laplacians, generalization in neural networks, and temporal graph querying. His work combines theoretical rigor with practical impact, often involving GPU acceleration, distributed computing, and data-aware algorithm design. Scientific Service: Editor, Algorithms (2020–present) Editor, Journal of Discrete Algorithms , Elsevier (2006–2018) Guest Editor, special issue on Algorithms for Shortest Paths in Dynamic and Evolving Networks , Algorithms (2021) Volume Editor for proceedings of ESA, ATMOS, COCOON, and others Conference Leadership: He has served on numerous program committees and as chair for conferences including ESA (Engineering Track, 2016), ATMOS (2020), and ICALP (2019). His involvement spans algorithmic engineering, transportation optimization, and theoretical computer science forums. Teaching: He currently teaches COL863: Special Topics in Theoretical Computer Science on concentration inequalities and their applications. He has previously taught advanced courses in algorithms and data structures.

• Data Algorithmics
• Probability and Networks
• Theoretical Computer Science
• +7 more

Furong Huang is an Associate Professor at the University of Maryland's Department of Computer Science, with affiliations at the Institute for Advanced Computer Studies, Center for Machine Learning, Maryland Robotics Center, and Applied Mathematics, Statistics, and Scientific Computation Program. Her research bridges trustworthy machine learning, sequential decision-making, and foundation models for robotics, emphasizing reliability, interpretability, and ethical standards. Research Interests: Trustworthy AI Generative AI Reinforcement Learning AI Security Algorithmic Fairness Foundation Models for Robotics Recent Publications span leading conferences (NeurIPS, ICML, ICLR, CVPR) and journals, focusing on: Robustness in Vision-Language Systems Trustworthy Generative AI Foundation Models for Sequential Decision-Making AI Security and Watermarking Scientific Awards MIT TR35 Innovator Under 35 (Asia Pacific 2022) Best Paper Award, AdvML Frontier Workshop, NeurIPS 2024 NSF NAIRR Pilot Awardee Microsoft Accelerate Foundation Models Research Award (2023) JP Morgan Faculty Research Awards (2019–2022) Advising and Grants : Her lab has graduated students to roles at OpenAI, Google, Meta, and Netflix. Research funded by DARPA, NSF, ONR, AFOSR, and industry partners like Microsoft, Adobe, and Capital One. Labs & Teams : Leads research groups focused on Trustworthy AI and Robotics at the University of Maryland, collaborating with the Maryland Robotics Center and Applied Mathematics Program.

• Machine Learning
• Trustworthy Machine Learning
• Generative AI
• +7 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