Yee Whye Teh is a Professor at the Department of Statistics, University of Oxford, and a research scientist at DeepMind. His work focuses on statistical machine learning, including probabilistic learning, Bayesian nonparametrics, deep learning, and Monte Carlo methods. He co-directs the ELLIS programme on Robust Machine Learning and has held roles such as Programme Co-chair for ICML 2017. Teh has delivered keynotes at UAI 2019, an IMS Medallion Lecture at JSM 2019, and the Breiman Lecture in 2017. His research emphasizes scalable inference algorithms, hierarchical models, and applications in genetics and natural language processing. Teh's educational background includes a PhD from the University of Toronto (2003) and a Master's from the same institution (2000). He has contributed to widely used software tools like the Sequence Memoizer and has been recognized for his work through prestigious lectureships. Research interests span Bayesian nonparametric models, MCMC methods, and their applications in genetics and data compression. His lab collaborates on projects like fragmentation-coagulation processes for genetic variation modeling and Mondrian forests for online learning. Teh advises students through Oxford's graduate programs, though he notes high demand for mentorship. His work often bridges theory and practice, addressing challenges in big data learning and small data problems.
Joshua D. Angrist is the Ford Professor of Economics at the Massachusetts Institute of Technology, where he has been a faculty member since 1996. He is also a co-founder and director of MIT's Blueprint Labs and a Research Associate at the National Bureau of Economic Research. Angrist shares the 2021 Nobel Prize in Economic Sciences with David Card and Guido Imbens for their methodological contributions to the analysis of causal relationships. Angrist received his B.A. from Oberlin College in 1982 and completed his Ph.D. in Economics at Princeton University in 1989. Prior to joining MIT, he taught at Harvard University and the Hebrew University of Jerusalem. His academic journey began somewhat unconventionally, as he left high school early after 11th grade, worked for over a year, and only later discovered his passion for economics through an inspiring teacher at Oberlin. Angrist's research focuses on developing and applying innovative econometric methods to answer important economic questions using natural experiments. His work spans labor economics, education economics, and causal inference methodology. He is particularly known for his contributions to instrumental variables methods and the Local Average Treatment Effect (LATE) framework developed with Guido Imbens. His research explores the economics of education and school reform, the impact of social programs on labor markets, and the effects of immigration and regulation. His recent publications reveal a continued focus on causal inference methods applied to education policy questions, labor market issues, and health economics. The trend shows increasing sophistication in research design, with particular attention to addressing selection bias and developing methods for external validity. His work spans theoretical econometric contributions alongside empirical applications in education, labor markets, and health. Sveriges Riksbank Prize in Economic Sciences in Memory of Alfred Nobel (2021) Fama Prize for Graduate Education (2018) Fellow of the American Academy of Arts and Sciences Fellow of the Econometric Society Angrist is deeply committed to teaching and mentoring. He has developed influential econometrics textbooks including 'Mostly Harmless Econometrics' and 'Mastering Metrics' with Jörn-Steffen Pischke. At MIT, he teaches courses including Labor Economics I (14.661), Econometric Data Science (14.32), and Labor Economics and Public Policy (14.64). He emphasizes selecting UROP students who have mastered foundational economics through courses like 14.64 and 14.32. Beyond MIT, Angrist co-founded Avela, a software startup using cutting-edge research to help schools improve enrollment and operations. Angrist co-founded and directs MIT's Blueprint Labs, which brings together researchers from economics, computer science, and education to develop innovative solutions for educational challenges. Through Blueprint Labs and Avela, his work bridges academic research with practical applications in education policy and technology.
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.
Minh Q. Phan is an Associate Professor of Engineering at Dartmouth College's Thayer School of Engineering. His expertise spans system identification, iterative learning control, model predictive control, robotic swarm control, and intelligent control systems. He holds a BS from the University of California, Berkeley, and MS/M.Phil/PhD degrees from Columbia University in Mechanical Engineering. Dr. Phan has contributed to over 50 peer-reviewed publications and serves as an Associate Editor for the Journal of Guidance, Control, and Dynamics. His research focuses on advancing control theory applications in robotics, structural health monitoring, and sustainable construction materials. Key contributions include the development of OKID (Observer/Kalman Filter Identification) methods and bilinear system identification frameworks. Education History: Bachelor of Science in Mechanical Engineering, UC Berkeley, 1985 Master of Science in Mechanical Engineering, Columbia University, 1986 Master of Philosophy in Mechanical Engineering, Columbia University, 1988 Doctor of Philosophy in Mechanical Engineering, Columbia University, 1989 Research Interests: Advanced control methodologies for dynamic systems Model-based predictive control strategies Applications in robotics and aerospace engineering Structural health monitoring via system identification Machine learning for materials science Teaching Responsibilities include courses like ENGG 149 (Systems Identification), ENGS 145 (Modern Control Theory), and ENGG 148 (Structural Mechanics). His work bridges theoretical control systems with practical industrial applications, including automation in food processing and sustainable construction practices. Dr. Phan has collaborated on projects addressing viral epidemiology in Vietnam and coastal erosion mitigation strategies.
Chua Tat Seng is a Professor at the School of Computing, National University of Singapore (NUS), holding the KITHCT Chair Professorship since 2009. He serves as co-Director of the NExT++ Center, a joint research center between NUS and Tsinghua University focused on Extreme Search. His academic career spans over three decades at NUS, where he has held various leadership positions including Acting Dean of the School of Computing (1998-2000) and Acting Head of the Department of Information Systems & Computer Science (1996-1998). Professor Chua's research spans unstructured data analytics , multimedia information retrieval , recommendation and conversation systems , and emerging applications in e-commerce and fintech . He established the Lab for Media Search (LMS) at the School of Computing and has been instrumental in advancing multimodal learning and search technologies. His work bridges theoretical foundations with practical applications, particularly in developing trustable AI systems for real-world deployment. His recent publications demonstrate a strong focus on large language models for recommendation systems , multimodal learning , and generative AI applications . The research trends show increasing emphasis on LLM-based recommendation, multimodal understanding, and addressing fundamental challenges in AI reliability, fairness, and efficiency. His work spans theoretical advancements in representation learning to practical applications in e-commerce, finance, and healthcare domains. ACM SIGMM Technical Achievement Award 2015 Multiple Best Paper Awards across ACM Multimedia, IEEE Transactions, and MMM conferences (2007-2020) Professor Chua has supervised 37 PhD students since 2004, establishing himself as a dedicated mentor in the academic community. His research has been supported by substantial grants including NExT++ ($12 million), Base Metals Price Forecasting ($200,000), and Multilingual Multimodal Knowledge Graph ($500,000). He maintains active collaborations with Tsinghua University, University of Southampton, and industry partners like Four Elements Capital and Singapore Press Holdings. As co-Director of the NExT++ Center, he leads a major research initiative focused on Web Intelligence and User Empowerment. His visiting professorships at Tsinghua University (2017-present) and Zhejiang University (2021-present) reflect his international impact in the field of multimedia and AI research.
Jennifer Olsen, PhD, is an Assistant Professor of Computer Science at the University of San Diego since 2020. She holds a PhD, MS, and BS in Human-Computer Interaction and Cognitive Science from Carnegie Mellon University, followed by postdoctoral research at the Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland. Her research focuses on the intersection of human-computer interaction, cognition, and education, emphasizing collaborative learning and educational technology design from both learner and instructor perspectives. Education: PhD in Human-Computer Interaction, Carnegie Mellon University MS in Human-Computer Interaction, Carnegie Mellon University BS in Cognitive Science, Carnegie Mellon University Research Interests: Dr. Olsen explores how collaboration supports learning, designs technologies to enhance educational practices, and investigates gaze-based metrics for understanding collaborative problem-solving. Her work spans gamified robotics, AI-driven orchestration systems, and virtual reality applications in vocational training. She emphasizes learner-centered design and the integration of social robots and virtual agents in pedagogical settings. Grants/Advising: While no specific grants or advisees are listed, her prolific publication record indicates active involvement in educational technology research and development. Her work addresses challenges in classroom orchestration, multimodal data analysis, and accessibility in educational robotics. Labs/Teams: Collaborates with interdisciplinary teams focused on educational technology, human-robot interaction, and adaptive learning systems. Her research leverages tools like FROG orchestration graphs and eye-tracking technologies to develop practical classroom solutions.
Sewoong Oh is a Professor at the Paul G. Allen School of Computer Science & Engineering at the University of Washington, where he has been faculty since 2019. His research focuses on the foundations of machine learning with particular emphasis on differential privacy, secure and robust machine learning, and federated learning. Prior to joining UW, he was at the Department of Industrial and Enterprise Systems Engineering at the University of Illinois at Urbana-Champaign from 2012-2019. He is affiliated with multiple NSF AI Institutes including ACTION (Agent-based Cyber Threat Intelligence and Operation), AI-EDGE (Future Edge Networks and Distributed Intelligence), and IFML (Foundations of Machine Learning). Oh received his PhD in Electrical Engineering from Stanford University in 2011 under Andrea Montanari, followed by postdoctoral work at MIT's Laboratory for Information and Decision Systems under Devavrat Shah. His educational background spans top institutions in theoretical computer science and electrical engineering. His research spans the critical intersection of machine learning security, privacy, and robustness. Oh's work addresses fundamental challenges in making AI systems reliable and trustworthy, with particular focus on defending against backdoor attacks, developing privacy-preserving algorithms, and creating efficient tokenization methods for language models. His recent SuperBPE work demonstrates how moving beyond traditional subword tokenization can significantly improve language model efficiency and performance. His research consistently bridges theoretical foundations with practical implementations, as evidenced by numerous open-source repositories containing production-ready code. Oh's publications reveal a consistent trajectory toward addressing security and privacy concerns in increasingly complex machine learning systems, with recent work focusing on language model tokenization, data-centric AI, and federated learning frameworks. His research shows strong interdisciplinary connections between theoretical computer science, statistics, and practical machine learning systems. ACM SIGMETRICS best paper award (2015) NSF CAREER award (2016) ACM SIGMETRICS rising star award (2017) GOOGLE Faculty Research Awards (2017, 2020) 2024 ICML Best Paper Award (for work by advisee Jon Hayase) Professor Oh maintains an active research group with numerous PhD students, postdocs, and undergraduate researchers. His students have secured prestigious positions at leading tech companies including Amazon, Google, and Snap, as well as academic appointments at institutions like University of Wisconsin-Madison and Shanghai Jiao Tong University. He has received substantial research funding through his participation in multiple NSF AI Institutes and industry research awards from Google. His lab maintains several active GitHub repositories implementing cutting-edge research in backdoor defense, robust statistics, and privacy-preserving machine learning.
Adrian Weller is a prominent researcher and academic at the University of Cambridge, serving as a Director of Research in Machine Learning within the Department of Engineering. He holds multiple significant leadership roles including Programme Director for Trust and Society at the Leverhulme Centre for the Future of Intelligence (CFI), and previously served as Programme Director for AI at The Alan Turing Institute, the UK national institute for data science and AI. His work bridges theoretical machine learning research with practical applications and societal implications of artificial intelligence. Weller's research interests span a broad spectrum of AI and machine learning topics with a particular focus on ensuring beneficial societal outcomes. His work encompasses explainability, fairness, robustness, scalability, privacy, safety, and ethics in AI systems. He has made significant contributions to trustworthy machine learning, including developing frameworks for AI governance, certification, and human-AI collaboration. His research group actively investigates neuro-symbolic approaches, privacy-preserving techniques, and methods for improving the reliability and interpretability of AI systems. His recent publications demonstrate a strong trend toward addressing the practical challenges of deploying AI systems in real-world contexts, particularly focusing on certification frameworks, governance mechanisms, and human-centered approaches. His work spans theoretical advances in machine learning architectures while maintaining a strong connection to societal impact, with publications appearing in top venues across AI, machine learning, and interdisciplinary applications. Scientific Awards: MBE for services to digital innovation (2022 Queen's Birthday Honours) Turing AI Fellowship for Trustworthy Machine Learning Weller actively supervises a large group of PhD students and postdocs, with current students including Juyeon Heo, Yanzhi Chen, Katie Collins, Isaac Reid, Yichao Liang, Herbie Bradley, and Shoaib Siddiqui. His former students have gone on to positions at leading institutions including Google DeepMind, ETH Zurich, NYU, and MPI-IS Tübingen. He has served on numerous advisory boards including the Centre for Data Ethics and Innovation, UNESCO's expert group on AI ethics, and the World Economic Forum's Global Future Council on AI. His research has been supported through his Turing AI Fellowship and various collaborative projects focused on safe and ethical AI development. Weller leads a vibrant research group focused on trustworthy machine learning, which actively organizes workshops and conferences including ICML 2024 (where he served as Program Chair), multiple workshops on responsible AI, and events through the ELLIS network. His group collaborates extensively across disciplines, working with researchers in computer science, social sciences, law, and policy to address the multifaceted challenges of developing beneficial AI systems.
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.
Aarti Singh is a Professor in the Machine Learning Department at Carnegie Mellon University and Director of the NSF AI Institute for Societal Decision Making. She leads research at the intersection of machine learning, statistics, and decision making, with applications to scientific and societal domains. Her work focuses on designing principled interactive algorithms for learning and decision making under uncertainty. Education: Ph.D. in Electrical Engineering, University of Wisconsin-Madison (2008) M.S. in Electrical Engineering, University of Wisconsin-Madison (2003) B.E. in Electronics and Communication Engineering, University of Delhi (2001) Research Interests: Professor Singh's research centers on developing interactive machine learning algorithms that go beyond finding input-output associations to make higher-level decisions about the most informative data and actions. Her work spans autonomous decision making, including active sampling, stochastic optimization, bandits, and reinforcement learning that are statistically optimal, computationally tractable, and robust. She also investigates human factors in decision making, designing algorithms that model and leverage human feedback while accounting for bias, memory effects, and calibration. Her research has applications in material science, cosmology, and peer review systems. Research Trends: Professor Singh's recent publications demonstrate a strong focus on reinforcement learning, particularly in developing more efficient and robust algorithms for decision making under uncertainty. Her work bridges theoretical foundations with practical applications, spanning from fundamental algorithm development to real-world implementation in scientific domains. There's a clear trajectory toward integrating human factors into decision-making algorithms, with significant contributions to peer review systems and preference learning. Scientific Awards: NSF Career Award United States Air Force Young Investigator Award A. Nico Habermann Faculty Chair Award Harold A. Peterson Best Dissertation Award Multiple paper awards Advising and Grants: Professor Singh has advised numerous PhD and master's students, many of whom have gone on to faculty positions or research roles at leading institutions. Her research is supported by prestigious grants from ONR, Simons Foundation, AFRL, ARL, and NSF. She serves as General Chair (2025) and Program Chair (2020) for the International Conference on Machine Learning (ICML) and has held leadership roles in multiple professional organizations. Research Team: Professor Singh leads a vibrant research group within the Machine Learning Department at CMU, with current PhD students working on topics including reinforcement learning, human-AI collaboration, and decision making under uncertainty. She also directs the NSF AI Institute for Societal Decision Making, which brings together researchers from multiple disciplines to develop AI systems that support human decision making in societal contexts.
Raj Ganesh S. Pala serves as a Professor in the Department of Chemical Engineering at the Indian Institute of Technology Kanpur. His research focuses on electrochemical engineering with particular expertise in energy storage systems, catalysis, and materials science. Dr. Pala maintains an active research program investigating fundamental electrochemical processes and their applications in energy conversion and storage technologies. Dr. Pala earned his PhD in Physical Chemistry from the University of Utah (1999-2005), followed by a Master's in Science (Biophysical Chemistry) from the Indian Institute of Science and National Center for Biological Science (1997-1998), and a Bachelor's in Chemical and Electrochemical Technology from the Central Electro-Chemical Research Institute (1992-1996). His research interests span electrochemical engineering, catalysis, and separation processes with applications in energy storage, water treatment, and sustainable chemical production. Dr. Pala's work bridges fundamental electrochemistry with practical engineering applications, particularly in battery technology and electrocatalysis. His recent publications demonstrate a strong focus on energy storage materials, particularly lithium-ion battery cathodes, and electrocatalytic processes for sustainable chemical production. The research spans from fundamental materials characterization to practical device implementation, with particular emphasis on improving efficiency, selectivity, and longevity of electrochemical systems. Dr. Pala is based in Office NL-II 304 at IIT Kanpur, where he conducts his research and teaching activities in the Department of Chemical Engineering. His work contributes significantly to IIT Kanpur's research initiatives in sustainable energy and advanced materials.
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.
David Williamson Shaffer is the Sears Bascom Professor of Learning Analytics and Vilas Distinguished Achievement Professor of Learning Sciences at the University of Wisconsin-Madison's Department of Educational Psychology. He is also a Data Philosopher at the Wisconsin Center for Education Research. His work focuses on merging statistical and qualitative methods to model complex human collaboration. Shaffer holds an AB in History and East Asian Studies from Harvard University (1987), and MS/PhD in Media Arts and Sciences from MIT (1996/1998). Before academia, he was a teacher, curriculum developer, and game designer. His research emphasizes Quantitative Ethnography —a methodology combining big data analysis with cultural interpretation. Key contributions include Epistemic Network Analysis (ENA) and over 250 publications, including influential books like How Computer Games Help Children Learn (2006) and Quantitative Ethnography (2017). Awardees of the EU Marie Curie Fellowship (2008) and Spencer Foundation Fellowship (2003), Shaffer's work has been presented globally at conferences like Learning Analytics & Knowledge and Computer Supported Collaborative Learning. His interdisciplinary approach bridges education, data science, and humanities, addressing challenges in authentic STEM experiences, collaborative learning analytics, and culturally responsive pedagogy.
Dr. Carolyn Emery is a Professor in the Faculty of Kinesiology at the University of Calgary, with joint appointments in Pediatrics and Community Health Sciences at the Cumming School of Medicine. She holds leadership roles as Chair of the Sport Injury Prevention Research Centre (an International Olympic Committee Research Centre) and the Alberta Children’s Hospital Research Institute. Her affiliations include the McCaig Institute for Bone and Joint Health, Hotchkiss Brain Institute, and O’Brien Institute for Public Health. Dr. Emery’s education includes a BScPT from Queen’s University (1988), MSc in Epidemiology from the University of Calgary (1999), and PhD in Epidemiology from the University of Alberta (2004). Her research focuses on injury prevention in youth sports, concussion, and pediatric rehabilitation, aiming to reduce long-term health consequences such as osteoarthritis and post-concussion syndrome. She leads major grants including CIHR’s “SHRed Injuries” and NFL-funded concussion surveillance programs. Her research interests emphasize practical interventions for injury prevention, including neuromuscular training and policy changes. Recent work explores concussion outcomes in adolescents, biomechanical injury mechanisms, and global sport safety initiatives. She has published extensively on topics like sport-related musculoskeletal injuries, concussion management, and the epidemiology of youth sports. Dr. Emery has received over 20 awards, including the Royal Society of Canada Fellowship, Killam Professorship, and CIHR Canada Research Chair. Her work bridges clinical practice, policy, and community engagement to enhance public health outcomes in sports and youth recreation. Her lab, the Sport Injury Prevention Research Centre, collaborates internationally to develop evidence-based strategies for injury prevention. Current projects include evaluating the impact of tackle laws in rugby, head acceleration in wrestling, and long-term consequences of pediatric concussions.
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.
