Osbert Bastani is an Associate Professor at the Department of Computer and Information Science, University of Pennsylvania, leading the trustml@Penn research group. He is affiliated with the ASSET , PRECISE , and PRiML centers, and the PLClub research group. His research focuses on Trustworthy Neurosymbolic Systems , Synthesizing Neurosymbolic Programs , and Machine Learning for Programmer Productivity , with applications in verification, fairness, and human-AI collaboration. He received the NSF CAREER Award in 2023. His recent publications (2024-2025) emphasize AI Safety , LLM Robustness , and Algorithmic Fairness , including work on adversarial robustness, conformal prediction, and program synthesis. Students he has advised include Sagnik Anupam, Stephen Mell, Jason Ma, Shuo Li, and others. Awards: NSF CAREER Award (2023)
Lutz Schubert is a researcher at the Institute of Computer Science , University of Cologne. He focuses on efficient distributed and parallel execution environments for heterogeneous systems, notably the MyThOS operating system in collaboration with Brandenburg University of Technology, Cottbus-Senftenberg. His interdisciplinary work bridges computer science and digital archaeology , addressing modeling of non-deterministic events from sparse excavation data and exploring human behavior constraints in archaeological contexts. Research Interests Design of modular, scalable operating systems for distributed systems Optimization of execution environments for heterogeneous hardware Application of complex systems modeling to digital archaeology Statistical and probabilistic methods for archaeological interpretation Autonomic resource distribution and adaptation in computing Publication Trends : His work spans operating systems , parallel computing , and digital humanities , with recent emphasis on probabilistic reasoning in archaeology and adaptive OS design for multicore architectures. Labs & Collaborations : He collaborates with Brandenburg University of Technology on MyThOS and leads research in computational archaeology as chair of Computer Applications and Quantitative Methods in Archaeology (CAA) , Germany.
Peter Bühlmann is a Professor at ETH Zürich within the Seminar für Statistik , focusing on high-dimensional statistics, causal inference, and machine learning. His work bridges theoretical advancements with practical software implementations in R packages like pcalg , mboost , and glmmlasso , impacting fields such as genomics, proteomics, and intensive care analytics. Key Contributions : Causal structure learning, stability selection, anchor regression, and deconfounding. Software : Developed widely used R packages for statistical modeling and causal inference. Teaching : Courses on high-dimensional statistics at ETH Zürich and international institutions. Research Trends : Recent articles emphasize causal robustness, domain adaptation, and applications in medicine. His work addresses challenges in heterogeneous data, missing values, and covariate shifts using methods like spectral deconfounding and residual prediction tests. Scientific Recognition : Co-author of a paper designated as a New Hot Paper (Meinshausen and Bühlmann, 2006) by Essential Science Indicators, indicating significant impact in high-dimensional multiple testing.
Anca Dragan is an Associate Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, where she runs the InterACT Lab focused on algorithms for human-AI and human-robot interaction. Currently on leave from Berkeley, she leads AI Safety and Alignment at Google DeepMind, overseeing safety for Gemini models and preparing for future advancements. Dragan has been a co-PI of the Center for Human-Compatible AI and served on the steering committee for the Berkeley AI Research (BAIR) Lab. B.Sc. in Computer Science from Jacobs University Bremen, Germany Ph.D. from Carnegie Mellon University Dr. Dragan's research focuses on enabling AI agents to work effectively with, around, and in support of people. Her work bridges robotics, machine learning, and game theory to create systems that better understand human preferences and coordinate with users. Key areas include AI alignment (ensuring AI does what people actually want), learning reward functions from diverse human feedback forms, and developing algorithms for human-AI collaboration across domains like autonomous vehicles, brain-machine interfaces, and recommender systems. Her research emphasizes maintaining uncertainty about human preferences and accounting for the plurality of human values. Dr. Dragan's recent publications reveal a strong focus on addressing fundamental challenges in AI safety and alignment. Her work spans theoretical foundations of reward learning, practical implementations for human-AI coordination, and critical examinations of limitations in current approaches. There's a clear trajectory toward more robust, safe, and value-aligned AI systems that can handle complex human preferences while avoiding both present-day harms and potential catastrophic risks. IEEE RAS Early Academic Career Award in Robotics and Automation (2021) McEntyre Award for Excellence in Teaching (2020) PECASE (Presidential Early Career Award for Science and Engineering) (2019) Sloan Fellowship (2018) NSF CAREER Award (2017) Okawa Foundation Award (2017) MIT Tech Review 35 Innovators Under 35 (2017) Multiple best paper awards at top robotics and AI conferences Dr. Dragan has mentored numerous successful students who have gone on to faculty positions at MIT, Stanford, CMU, and Princeton, as well as industry roles at DeepMind, Waymo, and Meta. Her advising philosophy emphasizes both technical rigor and consideration of broader societal impacts. She has secured significant research funding including NSF CAREER, ONR Young Investigator, and Okawa Foundation awards, supporting work on human-AI interaction and alignment. Dragan has also consulted for Waymo for six years, helping develop roadmaps for deploying increasingly learning-based safety-critical systems. Dr. Dragan leads the InterACT Lab at UC Berkeley, which has produced influential work on Cooperative Inverse Reinforcement Learning, Inverse Reward Design, and other foundational concepts in human-AI interaction. The lab's research has significantly shaped the field of AI alignment, with applications spanning autonomous vehicles that coordinate with human drivers, brain-machine interfaces that adapt to user needs, and language models that better understand human preferences. Current work focuses on scaling safety approaches as AI capabilities advance, ensuring alignment keeps pace with technological progress.
Insup Lee is the Cecilia Fitler Moore Professor in the Department of Computer and Information Science and Director of the PRECISE Center at the University of Pennsylvania's School of Engineering and Applied Science. He holds a secondary appointment in the Department of Electrical and Systems Engineering and the Perelman School of Medicine’s Department of Biostatistics, Epidemiology, and Informatics. IEEE TCCPS Distinguished Leadership Award (2023) Fellow of the AAAS (2022) Test of Time Award, Runtime Verification (2019) Fellow of the ACM (2017) Best Paper Awards at IEEE ICPS, ACM/IEEE ICCPS, and MEMOCODE His research focuses on cyber-physical systems , real-time and embedded systems , safe autonomy , and internet of medical things , with applications in healthcare and connected systems. He advises PhD students including Eric Lu, Kaustubh Sridhar, Sooyong Jang, and Jean Park (co-advised with Kevin Johnson). Recent publications address safety monitoring for learning-enabled systems, model-free control synthesis using reinforcement learning, and multilingual toxicity guardrails for large language models. His team collaborates with institutions like Hillrom and Penn Nursing to optimize medical device usage in clinical settings.
Trevor Campbell is an Associate Professor in the Department of Statistics at the University of British Columbia (UBC), Vancouver. He holds a Ph.D. in Machine Learning and Statistics from MIT and a B.A.Sc. in Aerospace Engineering from the University of Toronto. His research focuses on automated, scalable Bayesian inference algorithms, Bayesian nonparametrics, and streaming data analysis. Campbell is a core contributor to probabilistic programming tools like Pigeons.jl and has developed influential methods for coreset-based Bayesian inference. Education : Ph.D. in Machine Learning and Statistics (2016), MIT M.S. in Aeronautics and Astronautics (2013), MIT B.A.Sc. in Aerospace Engineering (2011), University of Toronto Research Interests : His work emphasizes scalable Bayesian computation, including variational inference, MCMC optimization, and coresets. He develops algorithms that balance statistical accuracy with computational efficiency, particularly for large-scale datasets. His recent work explores adaptive samplers (e.g., AutoStep, autoMALA) and theoretical guarantees for coreset methods. Applications span astrophysics, materials science, and network analysis. Awards & Grants : NSERC Discovery Grant (2025) Blackwell-Rosenbluth Award (2021) PIMS Early Career Award (2023) Google Perception Academic Funding (2020) Advising & Labs : He supervises a team of PhD and M.Sc. students at UBC, focusing on Bayesian methodology and computational tools. His lab collaborates with institutions like SFU and MIT on projects involving distributed sampling and probabilistic modeling. He co-organizes workshops on Bayesian computation and serves on editorial boards for Bayesian Analysis and TMLR.
Jonas Fischer is the head of the Explainable Machine Learning group at the Max Planck Institute for Informatics, Department of Computer Vision and Machine Learning. His research focuses on interpreting complex machine learning models, particularly in genomics and healthcare, aiming to enhance robustness and alignment with human decision-making. Prior to his role at MPI, he was a postdoctoral fellow at Harvard University's Department of Biostatistics, where he worked on interpretable models for gene regulatory systems in cancer. Education: PhD in Computer Science from Saarland University (2022), with a thesis titled More than the sum of its parts , exploring the intersection of pattern mining and deep learning. He has contributed to advancing methods in neural network pruning, federated learning, and low-dimensional embeddings (e.g., dtSNE, Mercat). His work bridges computational biology, data mining, and machine learning, with applications in DNA methylation analysis, graph-based differential networks, and biomedical informatics. Key research areas include: (1) Explainable AI and neural network interpretability, (2) Biomedical applications of machine learning (e.g., gene regulatory networks, cancer genomics), (3) Low-dimensional embeddings and visualization techniques, (4) Federated learning for privacy-preserving collaborative models, and (5) Pattern mining for error analysis in NLP and classification tasks. Publications span top venues like NeurIPS, ICLR, Bioinformatics, and Genome Biology. His group develops tools such as BONOBO for omics data integration and node2vec2rank for scalable graph analysis. He actively collaborates with biomedical researchers to address challenges in data-driven healthcare and precision medicine.
Han Liu is a Professor in the Department of Computer Science at Northwestern University's McCormick School of Engineering. He directs the MAGICS (Modern Artificial General Intelligible and Computer Systems) Lab and the Center for Foundation Models and Generative AI at Northwestern, with prior roles as director of the Deep Reinforcement Learning Center at Tencent AI Lab and professor at Princeton and Johns Hopkins Universities. PhD in Machine Learning and Statistics from Carnegie Mellon University (2012), advised by John Lafferty and Larry Wasserman Han Liu's research focuses on integrating artificial intelligence with computer systems, particularly through foundation models and probabilistic graphical models. His work aims to revolutionize science, engineering, and business by deploying statistical machine learning methods in edge and cloud computing environments. Recent research trends include transformer-based models, modern Hopfield networks, genomic foundation models, and theoretical analysis of attention mechanisms. His 2025 publications explore topics like species differentiation with DNA embeddings, universal approximation capabilities of transformers, and metaverse spatial reasoning. Alfred P Sloan Fellowship in Mathematics IMS Tweedie New Researcher Award ASA Noether Young Scholar Award NSF CAREER Award Presidential Early Career Awards for Scientists and Engineers Han Liu serves as associate editor for the Journal of American Statistical Association, Electronic Journal of Statistics, Technometrics, and the Journal of Portfolio Management. He has directed research centers at Northwestern and contributed to major conferences as area chair (NeurIPS, ICML, ICLR).
Nancy Margaret Reid is a University Professor of Statistical Sciences at the University of Toronto, holding the Canada Research Chair in Statistical Theory and Applications. She has served as Scientific Director of the Canadian Statistical Sciences Institute (2015–2019) and led the Department of Statistical Sciences as Chair (1997–2002). Her research focuses on theoretical statistics, particularly likelihood inference and foundational aspects of statistical methodology. Reid earned her PhD from Stanford University (1979) under Rupert G. Miller, with Brad Efron and Vernon Johns on her committee. Reid's accolades include Fellowships from the Royal Society, Royal Society of Canada, and National Academy of Sciences, as well as the Guy Medal in Gold (2022) and David R. Cox Award (2023). She has authored influential books like *Theory of the Design of Experiments* and contributed to courses on mathematical statistics and likelihood inference. Active in academic service, she teaches graduate-level courses and has advised numerous students and postdocs in theoretical and applied statistical research.
Michael A Osborne is Professor of Machine Learning at the University of Oxford and leads the Bayesian Exploration Lab . He serves as Director of the EPSRC Centre for Doctoral Training in Autonomous Intelligent Machines and Systems and co-directs the Oxford Martin AI Governance Initiative. His research focuses on Bayesian optimization, Gaussian processes, and probabilistic numerics with applications in quantum devices, battery modeling, and AI governance. Key Positions: Professor of Machine Learning, University of Oxford Official Fellow, Exeter College Co-founder of Mind Foundry Lead Researcher, Oxford Martin Programme on Technology and Employment Research Themes: Probabilistic modeling for quantum systems Uncertainty quantification in energy storage AI safety and societal impact analysis Automated experimental design Quantum device calibration Probabilistic numerical methods Technical Contributions: Bridging reality gap in quantum devices Efficient Bayesian quadrature techniques Personalized neurostimulation algorithms Automated measurement protocols Quantum-classical hybrid ML
Alessio Lomuscio is a Professor of Safe Artificial Intelligence at Imperial College London, holding the prestigious Royal Academy of Engineering Chair in Emerging Technologies and recognized as an ACM Distinguished Member. He leads the Safe AI Lab, which focuses on developing methods and tools for the verification of AI systems to ensure their safe and secure deployment in applications of societal importance. His research spans verification and robust learning for neural networks and decision trees, robust machine learning in aviation and finance, monitoring of machine learning systems, assurance for autonomous systems and AI, and verification and validation of neuro-symbolic systems. Lomuscio has made significant contributions to formal verification methods for AI systems, particularly in the context of safety-critical applications. His recent publications demonstrate a strong focus on neural network verification techniques, with applications across multiple domains including finance, aviation, and autonomous systems. His work bridges theoretical advances in formal methods with practical applications in real-world AI systems, addressing critical challenges in AI safety and trustworthiness. Scientific Awards: Royal Academy of Engineering Chair in Emerging Technologies ACM Distinguished Member Lomuscio has served in numerous leadership roles, including as Co-Director (2023-present) and Deputy Director (2019-2023) of the UKRI Centre for Doctoral Training in Safe and Trusted Artificial Intelligence. He has also held positions as Director of Strategy and Planning (2017-2020), Member of Management Committee (2013-2020), and Deputy Head of Department (2016-2017). His editorial service includes roles as Associate Editor for Artificial Intelligence Journal and Editorial Board Member for Journal of Artificial Intelligence Research and Journal of Autonomous Agents and Multi-agent Systems. His research group actively mentors students and researchers, with current openings for PhD and postdoctoral positions focused on AI verification and safety. Lomuscio's work has established him as a leading figure in the field of safe and verifiable AI systems, with significant contributions to both theoretical foundations and practical applications.
Pascal Poupart is a Professor and Canada CIFAR AI Chair at the Vector Institute, affiliated with the David R. Cheriton School of Computer Science at the University of Waterloo. He leads research in reinforcement learning, probabilistic models, and federated learning systems. Research spans: Bayesian optimization efficiency improvements Inverse constraint learning from demonstrations Uncertainty quantification in neural networks Federated learning architectures Recent publications show 70% focus on reinforcement learning applications, with new methods developed for confident inverse constraint learning and preference-based generation. Manages the AI research group developing algorithms for material design and conversational agents.
Andreas Vlachos is a Professor of Natural Language Processing and Machine Learning at the Department of Computer Science and Technology, University of Cambridge, and holds the Dinesh Dhamija Fellowship at Fitzwilliam College. His research spans dialogue modeling, automated fact-checking, imitation learning, semantic parsing, biomedical text mining, and trustworthiness in AI systems. PhD in Computer Science, University of Cambridge (supervised by Ted Briscoe and Zoubin Ghahramani) Lecturer at University of Sheffield Postdoctoral roles at UCL, University of Cambridge (NLIP group, Stephen Clark), and University of Wisconsin-Madison (Mark Craven) Current research focuses on evaluating and mitigating biases in language models, advancing fact-checking methodologies, and improving model robustness through interpolation, reinforcement learning, and causal reasoning. His work integrates natural logic, knowledge graphs, and multimodal evidence for verification tasks. Recent publications address uncertainty quantification, temporal planning benchmarks, and ethical framing of NLP artifacts. Grants from ERC, EPSRC, Facebook, Google, and the Alan Turing Institute fund his research team. Collaborations include Sebastian Riedel, Stephen Clark, and Mark Craven. Key projects explore disinformation detection, long-form generation, and confidence calibration in AI systems.
Henrik Sandberg is a Professor at the Division of Decision and Control Systems , KTH Royal Institute of Technology , Stockholm, Sweden. He holds the title of Deputy Head of Division and is affiliated with the School of Electrical Engineering and Computer Science . Education: MSc in Engineering Physics (1999) PhD in Automatic Control (2004) from Lund University Postdoctoral position at Caltech (pre-2007) Research Interests: Focus on cyber-physical systems security , power systems , model reduction , and fundamental limitations of control systems . Key sub-areas include attack detection , networked control , privacy-preserving estimation , and resilient control architectures . Publications: Over 150 papers across IEEE Transactions and Automatica , covering topics like stealthy attacks , distributed control , LQG optimization , and thermodynamic costs in filtering . Recent work includes LWE-based encrypted control and Bayesian deception mechanisms . Scientific Awards: Best Student Paper Award Finalist at IEEE CASE 2014; Best Student-Paper Award at IEEE CDC 2004. Grants & Projects: Leads the DYNACON project (WASP Cybersec cluster) and collaborates on CERCES (critical infrastructure resilience). Serves as examiner for multiple advanced courses in cybersecurity and control systems. Contact: Email: hsan@kth.se Phone: +46 (0)8 790 7294 Room: A:607, Malvinas Väg 10, Stockholm
Daniel M. Roy is a Full Professor at the University of Toronto, with cross-appointments in the Department of Computer Science, Department of Statistical Sciences, and Department of Electrical and Computer Engineering. He serves as Research Director at the Vector Institute and holds the CIFAR Canada AI Chair. Research Focus: Foundational principles of prediction, inference, and decision-making under uncertainty across machine learning, statistics, mathematical logic, applied probability, and computer science. Scientific Contributions: Key work in learning theory, statistical network analysis, probabilistic programming, and information-theoretic frameworks for generalization. Awards: ICML 2024 Best Paper Award for "Information Complexity of Stochastic Convex Optimization" and promotion to Full Professor in 2024. Student Advising: Actively mentors Ph.D. candidates and postdoctoral researchers with strong quantitative backgrounds, particularly at the intersection of machine learning, statistics, and computer science. Email: daniel.roy@utoronto.ca
