Prof. Dr. Thomas Hofmann is a Full Professor and Head of the Department of Computer Science at ETH Zurich since 2014. He also leads the Institute for Machine Learning. His research focuses on machine learning, deep learning, natural language understanding, and text understanding. Hofmann holds a Ph.D. from the University of Bonn (1997) and has held academic positions at Brown University (1999–2004) and TU Darmstadt. He transitioned to industry as Director of Engineering at Google (2006–2014), leading the Zurich R&D center, before returning to academia. He co-founded Recommind (2000) and 1plusX (Swiss marketing tech company), currently serving as Chief Scientist and board member at 1plusX. Education: Ph.D. in Computer Science, University of Bonn (1997) Postdoctoral Work: MIT (CBCL/AI Lab), UC Berkeley (EECS/ICSI) His research explores advanced machine learning techniques, including diffusion models, generative adversarial networks, and optimization dynamics. Hofmann’s entrepreneurial ventures reflect his focus on applying AI to real-world challenges, such as e-discovery and marketing technology. His work spans theoretical contributions (e.g., neural network training dynamics, continual learning) and applied innovations (e.g., image editing, portrait generation). Hofmann actively bridges academia and industry, influencing both research and commercial AI applications.
Andrew Stuart is the Bren Professor of Computing and Mathematical Sciences at the California Institute of Technology (Caltech), joining in 2016. He previously held faculty positions at the University of Warwick (1999–2016), Stanford University (1992–1999), and Bath University (1989–1992). He earned his PhD from the University of Oxford's Computing Laboratory in 1986. Professor Stuart's research focuses on applied and computational mathematics , particularly Bayesian inverse problems , data assimilation for dynamical systems , and stochastic modeling . His work bridges mathematical theory, algorithm development, and applications in geophysics, materials science, and biological systems. His recent publications emphasize operator learning , machine learning for PDEs , and uncertainty quantification . Key areas include ensemble Kalman methods , Gaussian processes , and neural operators for solving and learning from complex systems. Scientific awards include the Vannevar Bush Faculty Fellowship and election to the Royal Society of Great Britain . He advises graduate students in applied mathematics, computational science, and geophysics, including Edoardo Calvello , Hojjat Kaveh , and Florian Wolf .
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.
Geoffrey E. Hinton is a distinguished Professor in the Department of Computer Science at the University of Toronto. He is renowned for his foundational contributions to machine learning, particularly in the development of deep learning and neural networks. His research focuses on understanding learning processes in both artificial and biological systems, with key contributions including Boltzmann machines, backpropagation, and deep belief networks. He teaches advanced machine learning courses such as CSC2535, emphasizing topics like graphical models, variational inference, and deep learning architectures. His work has been published extensively in top journals and conferences, with recent papers exploring forward-forward algorithms, analog diffusion models, and scalable neural network training methods. Hinton has advised numerous PhD and master's students and collaborates with institutions like Vector Institute. He is a central figure in the global AI community, regularly presenting at conferences (e.g., 2023 talks on CBS 60 Minutes, BBC, and PBS). His lab focuses on advancing machine learning theory and applications, addressing challenges in vision, language, and generative models.
Sicun Gao is an Associate Professor in the Computer Science and Engineering department at the University of California, San Diego. His research focuses on practical algorithms for NP-hard search and optimization problems in computational systems, emphasizing combinatorial perspectives in numerical and statistical contexts to achieve reliable autonomy. Research Interests: Automated reasoning, Hamilton-Jacobi reachability, safe reinforcement learning, control barrier functions, and optimization in cyber-physical systems. Teaching: Courses on AI search, optimization, and graduate research seminars. The 15 most recent publications highlight advancements in safe AI control, motion planning, and policy optimization, often integrating neural networks with formal verification. Awards include the IEEE Power & Energy Society Technical Committee Prize Paper Award and the IROS RoboCup Best Paper Award. He advises PhD students working on AI-driven control and robotics, with alumni placed at institutions like Seoul National University, Amazon, and Apple. Grants include NSF Career, Air Force Young Investigator, and DARPA Assured Autonomy funding. His lab develops tools like dReal for automated reasoning in nonlinear theories over the reals.
Bo Dai is an Assistant Professor at the School of Computational Science and Engineering, Georgia Institute of Technology, and a Staff Research Scientist at Google DeepMind. His research focuses on Agent AI, Generative Models, and Representation Learning, aiming to create decision-making agents through world modeling. He holds a Ph.D. from Georgia Tech (2013–2018) and previously worked at Google Brain. Dai has authored numerous influential papers in top conferences like NeurIPS, ICML, and ICLR, and received the AISTATS Best Paper Award (2016). Education: Ph.D., School of Computational Science and Engineering, Georgia Tech (2013–2018) Research Interests: Reinforcement Learning and Representation Learning for decision-making agents Generative Models and their integration with Agent AI Provable and scalable algorithms for real-world applications His work bridges theory and practice, emphasizing spectral representations and provable guarantees in complex systems. Key Article Trends: His recent work emphasizes scalable spectral methods for multi-agent systems, diffusion policies, and representation-based techniques in reinforcement learning. He also explores LLM alignment and sim-to-real transfer learning. Awards: AISTATS Best Paper Award (2016) NeurIPS Workshop Best Paper (2017) Ross Fellowship (2011–2012) Advising & Grants: Supervises 6 current Ph.D. and M.S. students. Active in organizing workshops on reinforcement learning and serves as an Area Chair for top conferences. Labs & Software: Leads development of Representation-based Reinforcement Learning and Repr-Control toolboxes for nonlinear control and stochastic systems.
Zaid Harchaoui is an Adjunct Professor in the Department of Statistics at the University of Washington. His research focuses on machine learning, generative AI, and algorithmic optimization, with applications spanning ecology, neuroscience, and artificial intelligence. He explores learning under distributional shifts and develops tools for scalable generative models in language and vision domains. University: University of Washington Department: Statistics Research Focus: Learning from data with computational, inferential, and mathematical rigor; distributional shift adaptation; generative model scaling Email: zaid@uw.edu His recent work emphasizes generative AI applications in ecology and neuroscience, stochastic optimization for robustness, and algorithmic efficiency in large-scale learning. Key contributions include techniques for distributionally robust optimization, interpretable authorship obfuscation, and uncertainty quantification in behavior classification. Scientific awards and honors are not explicitly mentioned in the provided text. Collaborative efforts often intersect with nonlinear control algorithms, spectral analysis, and privacy-preserving machine learning frameworks.
Professor Todd Squires is a distinguished faculty member in the Department of Chemical Engineering at the University of California, Santa Barbara, within the Robert Mehrabian College of Engineering. His research focuses on the fundamental principles of transport phenomena as applied to interfaces, membranes, and complex fluids, employing theoretical, computational, and experimental approaches to address significant challenges in micro-scale fluid mechanics. Dr. Squires' educational background includes: BS in Physics, UCLA (1995) BA in Russian Language and Literature, UCLA (1995) PhD in Physics, Harvard University (2002) His research interests span microfluidics and electrokinetics, active and nonlinear microrheology of complex materials, polymer dynamics and sensors, with particular emphasis on non-linear electrokinetic flows, interfacial rheology, and the self-assembly of nanostructured materials. His work bridges fundamental fluid mechanics with practical applications in microfluidic devices, energy storage, and biomedical systems, demonstrating the versatility of this fascinating field. Analysis of Professor Squires' recent publications reveals a consistent focus on interfacial phenomena, with particular attention to the rheological properties of fluid interfaces, particle dynamics in complex fluids, and novel microfluidic techniques for measuring and manipulating these systems. His research demonstrates strong interdisciplinary connections between chemical engineering, physics, and materials science, with applications spanning energy storage, biomedical engineering, and environmental systems. Professor Squires has received numerous prestigious awards and honors: 2018 Robert W. Vaughan Lecture in Chemical Engineering, Caltech 2015 Elected Fellow of the American Physical Society 2013 Mid-Career Award, American Electrophoresis Society 2012 The Dudley Saville Memorial Lecture at Princeton 2010 Pierre Gilles de Gennes Prize 2010 Allan P. Colburn Memorial Lectureship, University of Delaware 2009 Francois Frenkiel Award for Fluid Mechanics 2009 Camille Dreyfus Teacher-Scholar Award 2008 Beckman Young Investigator 2007 NSF CAREER Award 2005 'Rising Star' - Chronicle of Higher Education As principal investigator of the Squires Group, Professor Squires leads a dynamic research team that combines experimental, theoretical, and computational approaches to investigate transport phenomena at interfaces. His work has been supported by major funding agencies including the National Science Foundation, with his CAREER award indicating early recognition of his potential as both researcher and educator. While specific grant details aren't provided in the source material, his extensive publication record and prestigious awards suggest robust and sustained research funding. The Squires Group maintains state-of-the-art laboratory facilities for studying micro-scale fluid mechanics, including specialized equipment for microrheology measurements, microfluidic device fabrication, and interfacial characterization. Their research environment fosters collaboration across disciplines, with connections to materials science, physics, and biomedical engineering researchers at UCSB and beyond.
Professor Jiyuan Tu is a Professor in the Department of Mechanical and Automotive Engineering at RMIT University's School of Engineering. He specializes in computational fluid dynamics (CFD), multiphase flows, and their applications in renewable/nuclear energy, biomedical engineering, and built environment systems. His research has led to over 500 peer-reviewed articles, 9 books, and $10M+ in ARC grants. He has supervised over 50 postgraduate students and received prestigious awards such as the RMIT Research Excellence Award (2012) and Fulbright Senior Scholar Award (2008). Research interests include CFD modelling of bioaerosol transport, drug delivery systems, and thermal energy storage. He pioneered numerical models for multiphase flows, contributing to software implementations in industries. Notable works include books on CFD and multiphase flow analysis, and leadership in international conferences like COBEE 2018. He holds honorary professorships at Tsinghua University and is Editor-in-Chief of the Experimental and Computational of Multiphase Flow journal. Industry experience includes roles at ANSTO (1996-2001). Awards span fellowships from JSPS, KOSEF, and Fulbright programs. Grants include ARC Discovery, Linkage, and LIEF projects. His work ranks him among the world’s top researchers in pebble bed reactors and airborne infection studies (SciVal 2016-2025).
Bradley D. Olsen is a full professor in the Department of Chemical Engineering at the Massachusetts Institute of Technology (MIT), where he leads research at the intersection of polymer science, soft matter physics, and bioengineering. His work focuses on designing materials for critical applications in biotechnology, hemostasis, and sustainable polymer development while advancing fundamental understanding of polymer network mechanics and self-assembly. Education: Ph.D. in Chemical Engineering, University of California Berkeley (2007) S.B. in Chemical Engineering, Massachusetts Institute of Technology (2003) Olsen's research spans protein-based materials, block copolymer phase behavior, and mechanochemical hydrogels. He has pioneered methods for quantifying polymer network topology, developing hemostatic nanoparticles, and creating bio-inspired materials for selective biomolecular transport and medical applications. His recent publications emphasize data-driven approaches to polymer characterization and educational outreach in materials science. Scientific Awards: American Physical Society (APS) Fellow (2023) Fulbright Amazonia Scholar (2023) Alexander and I. Michael Kasser Chair in Chemical Engineering (2021) ACS Macro Letters Young Investigator Award (2021) MIT Committed to Caring Honor (2019) AIChE Owens Corning Early Career Award (2019) APS Dillon Medal (2018) Kavli Emerging Leader in Chemistry (2017) ACS Polymer Division Fellow (2016) Camille Dreyfus-Teacher Scholar (2015) Alfred P. Sloan Research Fellow (2014) NSF Career Grant (2013) NIH Postdoctoral Fellowship (2008-2009) Hertz Fellow (2003-2007) Barry M. Goldwater Scholarship (2002) Olsen has received significant grant support including NSF Career (2013) and AFOSR (2012) awards. His teaching activities include innovative international outreach like the 2025 soccer-themed science camp in Brazil. The Olsen Group at MIT explores advanced materials with applications ranging from trauma care to sustainable polymers.
Liming Feng is an Associate Professor at the Department of Industrial and Enterprise Systems Engineering, University of Illinois at Urbana-Champaign, and has served as Director of the Master of Science in Financial Engineering (MSFE) program since 2022. His academic career at the university spans from Assistant Professor (2006-2012) to his current role. He earned his Ph.D. in Industrial Engineering and Management Sciences from Northwestern University (2006), an M.S. in Mathematics from Northwestern University (2000), and a B.S. in Mathematics from Beijing Normal University (1997). Ph.D., Industrial Engineering and Management Sciences, Northwestern University, 2006 M.S., Mathematics, Northwestern University, 2000 B.S., Mathematics, Beijing Normal University, 1997 Feng’s research focuses on Financial Engineering, Stochastic Modeling, and Computational Methods. He has contributed extensively to quantitative finance, particularly in options pricing, portfolio optimization, and market impact models. His work leverages advanced numerical methods, Fourier transforms, and stochastic calculus to solve complex financial problems. The trends in his publications highlight expertise in Levy processes, jump diffusion models, and numerical algorithms for financial derivatives. He has developed innovative techniques for Bermudan options pricing, discretely monitored barrier options, and portfolio deleveraging strategies. His articles often intersect Operations Research with Financial Engineering, emphasizing computational efficiency and mathematical rigor. ISE Faculty Fellow (2025) INFORMS Financial Services Section Best Student Research Paper (2013) First runner-up of the 2012 Morgan Stanley Prize for Excellence in Financial Markets Feng has served on editorial boards for Operations Research Letters and Mathematical Finance . He has been recognized repeatedly for teaching excellence, including the Sharp Outstanding Teaching Award (2011, 2022) and multiple entries in the List of Teachers Ranked as Excellent by Their Students (2007-2024). He currently leads the MSFE program and contributes to curriculum development through courses like IE 522 (Statistical Methods in Finance) and IE 527 (MSFE Professional Development).
Baharan Mirzasoleiman is an Assistant Professor in the Department of Computer Science at the University of California, Los Angeles (UCLA), where she leads the BigML research group. Prior to joining UCLA, she was a postdoctoral research fellow in Computer Science at Stanford University working with Jure Leskovec. She received her Ph.D. in Computer Science from ETH Zurich advised by Andreas Krause. Her research focuses on addressing sustainability, reliability, and efficiency of machine learning, with particular emphasis on improving big data quality by developing theoretically rigorous methods to select the most beneficial data for efficient and robust learning. Her work spans several critical areas including data efficiency, robustness against label noise and data poisoning, and addressing spurious correlations in machine learning models. She has made significant contributions to understanding how neural networks exploit spurious features that correlate with certain categories during training but fail to generalize to minority groups. Professor Mirzasoleiman's research demonstrates how theoretically grounded approaches can lead to practical improvements in model robustness and efficiency across various applications including medical diagnosis and environmental sensing. Her work has resulted in the development of the SpuCo package, a Python library that provides modular implementations of state-of-the-art methods to address spurious correlations, along with controllable synthetic datasets like SpuCoMNIST and large-scale vision datasets like SpuCoAnimals. She has received numerous prestigious awards including the ETH medal for Outstanding Doctoral Thesis, being selected as a Rising Star in EECS by MIT, an NSF Career Award, a UCLA Hellman Fellows Award, and an Okawa Research Award. Her students have also received multiple fellowships and awards including Amazon Doctoral Student Fellowships and an OpenAI Superalignment Fast Grant. Professor Mirzasoleiman actively contributes to the academic community through invited talks at major conferences including ICML, ICLR, NeurIPS, and KDD, as well as co-organizing workshops on new frontiers in adversarial machine learning and sparsity in neural networks. She has developed educational resources including tutorials on Foundations of Data-efficient Learning presented at ICML 2024.
Andrew M. Stuart is a Professor at the California Institute of Technology's Division of Engineering and Applied Science. His research bridges computational mathematics, machine learning, and physical modeling, focusing on inverse problems, partial differential equations, and multiscale systems. He has pioneered methodologies integrating Gaussian processes, Kalman inversion, and neural operators for scientific computing. His recent publications highlight innovations in competitive protein dimerization networks, nonlinear Bayesian inference, and operator learning. Articles span applications in materials science, geophysics, and biochemical signal processing, emphasizing data-driven discovery of differential equations and scalable algorithms for high-dimensional problems. Stuart's work addresses challenges in structural error modeling, uncertainty quantification, and graph-based learning, with implications for climate modeling and dynamical systems. Despite extensive contributions, the scraped data does not specify students, awards, or contact details.
Ali Feizmohammadi is an Assistant Professor, Teaching Stream (LTA) in the Department of Mathematics at the University of Toronto Mississauga, affiliated with the Mathematical and Computational Sciences division. His research focuses on inverse problems, partial differential equations, and geometric analysis. He holds a position emphasizing teaching excellence within the university's framework. His work addresses advanced mathematical challenges such as coefficient identification in subdiffusion equations, fractional Laplacian problems on Riemannian manifolds, and nonlinear elliptic equations on manifolds. Recent articles highlight contributions to the Calderón problem in various contexts, wave equation control, and spacetime finite element methods. No scientific awards or grants are explicitly listed in the provided information. He has not yet listed advisees in the available data. His research trends emphasize rigorous mathematical analysis of inverse problems in both classical and fractional PDE frameworks, with applications to geometric and control-theoretic questions. Dr. Feizmohammadi's work spans theoretical advancements in inverse problems, numerical methods for control systems, and the interplay between differential geometry and PDEs. His contributions address both fundamental theory and applied methodologies in mathematical physics and engineering.
John Paisley is an Associate Professor of Electrical Engineering at Columbia University's Fu Foundation School of Engineering and Applied Science, and a member of Columbia's Data Science Institute (DSI). He holds a B.S., M.S., and Ph.D. in Electrical and Computer Engineering from Duke University (2004-2010), followed by postdoctoral research in Computer Science at Princeton University and UC Berkeley. His research focuses on Bayesian models, posterior inference techniques for Big Data, and applications in data analysis, recommendation systems, information retrieval, and compressed sensing. He has pioneered methods like Bayesian Gaussian Process ODEs and Double Normalizing Flows, with recent work emphasizing uncertainty quantification in environmental modeling and neuroimaging analysis. His collaborative workflows (e.g., bneR ) address air pollution exposure and PM2.5 concentration uncertainties, combining Bayesian nonparametric ensembles with geospatial data. He has also developed frameworks for neural network interpretability, image denoising, and compressed sensing MRI. Paisley's work bridges statistical theory and applied machine learning, with applications in healthcare, environmental science, and geophysics. His academic contributions include over 50 publications since 2016, spanning topics like deep metric learning, adversarial learning, and variational inference optimization. He maintains an active research group and serves on editorial boards for machine learning and signal processing journals.
