Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and leads the MIT Programming Systems Group. His research focuses on programming systems that address system uncertainty to enhance performance, energy efficiency, and resilience, particularly in environments involving neural networks , approximate computing , and unreliable hardware . His work spans probabilistic programming , quantum computing , and machine learning systems . Articles highlight contributions in pruning neural networks , quantum data structures , and compiler optimization , reflecting trends in deep learning , formal verification , and language-driven systems . Scientific Awards : MIT Frank E. Perkins Award (2020) Sloan Research Fellowship (2020) Facebook Research Award (2019) NSF CAREER Award (2018) Best Paper Awards at OOPSLA (2013, 2014) He has advised numerous graduate students and postdocs including Eric Atkinson, Cambridge Yang, and Charles Yuan, and served on program committees for conferences like POPL, OOPSLA, and ICLR. His group collaborates with institutions such as MIT CSAIL and explores applications in quantum algorithms and probabilistic inference .
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.
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.
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.
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
Fei Fang is an Associate Professor in the Software and Societal Systems Department at Carnegie Mellon University (CMU) , where she explores the intersection of artificial intelligence and multi-agent systems . Her work integrates machine learning with game theory to address challenges in security , sustainability , and mobility , aligning with the AI for Social Good mission. Ph.D. in Computer Science, University of Southern California (2016) B.Eng. in Electronic Engineering, Tsinghua University (2011) Recent research focuses on reinforcement learning , large language models (LLMs) , and human-AI collaboration . Her team’s work has been recognized with 15+ awards across prestigious venues like IAAI, AAAI, and IJCAI. Notable accolades include the 2023 Allen Newell Award , 2022 Sloan Fellowship , and NSF CAREER Award (2021) . She actively contributes to educational initiatives , including teaching "Demystifying AI for Everyone" at CMU, and has sought part-time teaching assistants for course development. Her research spans 15+ domains , including AI ethics , cyber defense , traffic optimization , and public health .
Tapio Schneider is the Theodore Y. Wu Professor of Environmental Science and Engineering at the California Institute of Technology. His research focuses on atmospheric dynamics across Earth and other planets, climate modeling innovations, and geophysical turbulence analysis. He contributes to the Climate Modeling Alliance (CliMA) and develops advanced computational tools for climate prediction. Albert-Ludwigs-Universität Freiburg (Vordiplom, 1993) Princeton University (M.Sc. 1997, Ph.D. 2001) University of Washington, Seattle (Visiting Graduate Student, 1994-1995) His research spans climate dynamics , atmospheric turbulence , and AI-enhanced climate modeling , addressing challenges in cloud dynamics, extreme weather patterns, and planetary climate systems. Current work emphasizes hybrid machine learning-physical models and computational acceleration for high-resolution simulations. Recent publications highlight trends in AI integration for climate science, with applications in hydrology , cloud microphysics , ocean circulation , snowpack modeling , and climate tipping points . His team develops open-source tools like ClimateMachine for GPU-accelerated simulations. Scientific Recognition: Fellow, American Geophysical Union (2022) Rosenstiel Award (2019) World Economic Forum Young Scientist (2012) David and Lucile Packard Fellow (2005-2010) Alfred P. Sloan Research Fellow (2004-2006) Tapio leads climate dynamics research at Caltech, directs the Linde Center for Global Environmental Science (2011-2012), and serves as Editor for the Journal of Advances in Modeling Earth Systems . His group collaborates with NASA Jet Propulsion Laboratory (2016-2024) and Google Research (2022-present).
Raffaele Ferrari is the Cecil & Ida Green Professor of Oceanography and Co-Director of the MIT Lorenz Center within the Department of Earth, Atmospheric, and Planetary Sciences (EAPS). He holds a BS/MS from Università di Torino and a PhD from Politecnico di Torino and Scripps Institution of Oceanography. His research focuses on ocean dynamics, climate modeling, and paleoclimatology, with emphasis on turbulence, carbon cycling, and climate system interactions. Key projects include the Climate Modeling Alliance (CliMA) and the Bottom Boundary Layer observational program. He has been recognized with awards such as the Harald Sverdrup Lecture (2022) and the Nicholas P. Fofonoff Award (2007). His work integrates high-resolution modeling, observational data, and theoretical frameworks to advance climate science. Education: BS/MS (Università di Torino), PhD (Politecnico di Torino/Scripps) Affiliations: MIT Lorenz Center, CliMA collaboration (Caltech/JPL), MIT-WHOI Joint Program Research spans ocean turbulence, paleoclimate dynamics (e.g., Last Glacial Maximum, Eocene), and climate model development using AI/ML. He advises numerous students across these themes, contributing to breakthroughs in submesoscale dynamics and ocean energetics.
Prof. Dr.-Ing. Hakan Kayal serves as University Professor for Aerospace Engineering at the University of Würzburg, holding the Chair of Computer Science VIII (Space Technology) and chairing the Interdisciplinary Research Center for Extraterrestrial Studies (IFEX). His leadership bridges computer science and space systems engineering within the university's Institute of Computer Science. Research focuses on three synergistic domains: nanosatellite development for extraterrestrial missions (including the SONATE-2 6U platform demonstrating AI-driven onboard processing), scientific investigation of Unidentified Anomalous Phenomena (UAP) through the university's collaboration with the Federal Aviation Office, and spacecraft autonomy systems enabling higher mission independence. Current projects include the NEAlight mission (extended to develop the Apophis Interceptor concept for the 2029 asteroid flyby), VaMEx3-MarsSymphony for Mars exploration, and JMU Space Observatory initiatives. Publication trends reveal strong emphasis on asteroid defense strategies (particularly for Apophis), CubeSat-based UAP detection methodologies, and real-time AI processing in constrained space environments. His team actively engages students through ADS-B tracking, Meteosat App development, and Moon Base 2030 projects, while recent recognition includes co-authoring a landmark UAP review in Progress in Aerospace Sciences with 33 international scientists.
Joseph Bentsman is a Professor in the Department of Mechanical Science and Engineering at the University of Illinois at Urbana-Champaign's Grainger College of Engineering. He also holds affiliate appointments in the Department of Aerospace Engineering (since 2015) and the Department of Electrical and Computer Engineering (since 2018). His academic journey began with an M.S. from Byelorussian Polytechnic Institute in Minsk, USSR (1979), followed by a Ph.D. in Electrical Engineering from Illinois Institute of Technology (1984). Professor Bentsman's research focuses on control of nonlinear and distributed parameter systems, nonlinear oscillations, network control, stability theory, and stochastic multiscale methods. He pioneered a new class of dynamical systems with active singularities that admit control actions during singular phases of motion, which represent a novel category of hybrid systems characterized by impulsively controlled discrete transitions. His recent work has expanded into biomedical applications, particularly thermophysical modeling of tissue during electrosurgery and control of phase change processes. His recent publications (2021-2024) reveal a strong trend toward biomedical applications of control theory, particularly in modeling heat conduction in biological tissues, electrosurgical processes, and phase change phenomena. Approximately 60% of his recent work focuses on biomedical applications, while the remainder continues his foundational work on nonlinear control systems, distributed parameter systems, and systems with active singularities. Key subfields include Stefan problems, enthalpy-based control, telegraph equation modeling, and PDE-based control of complex physical processes. NSF Presidential Young Investigator Award (1989) Life Fellow of American Society of Mechanical Engineers Life Senior Member of IEEE IEEE Control Systems Society Technical Committee Chair on Power Generation (2015-2019) International Society of Automation POWID Achievement Award (2014) 2018 AIST Computer Applications Best Paper Award Featured in 'People in Control', IEEE Control Systems Magazine (2018) Professor Bentsman has been instrumental in developing educational approaches that integrate signal processing, instrumentation, control, and machine learning, as evidenced by his two textbooks. His work on the steel continuous casting process, particularly the mold oscillation system, has led to practical industrial applications. He has also made significant contributions to power plant control systems and boiler/turbine control. His research group appears to focus on both theoretical control systems development and practical implementation in industrial and biomedical settings, with strong connections to steel manufacturing, power generation, and medical device industries.
Veronika Eyring serves as Head of the Earth System Model Evaluation and Analysis Department at the German Aerospace Center (DLR) Institute of Atmospheric Physics and Professor of Climate Modelling at the University of Bremen. She holds dual appointments at these leading institutions, directing cutting-edge research at the intersection of climate science and artificial intelligence. Education: 2008: Habilitation in Environmental Physics at the University of Bremen 1999: PhD in Physics from the University of Bremen 1994: Diploma in Physics from the University of Erlangen Professor Eyring's research program focuses on improving climate models and projections through innovative integration of machine learning techniques and spaceborne Earth observations. Her work spans process-oriented modeling, development of observationally-based performance metrics, and understanding systematic biases in climate models. She has pioneered approaches to weighting model projections based on their performance using machine learning, significantly advancing the field of climate model evaluation. Her research has critical applications across multiple sectors including aeronautics, space research, transportation, and energy systems. Analysis of her recent publications reveals a clear trajectory toward deeper integration of machine learning with traditional climate modeling approaches. Her work has increasingly focused on developing community tools like the Earth System Model Evaluation Tool (ESMValTool) and leading major international initiatives such as the USMILE project (Understanding and Modelling the Earth System with Machine Learning). The publications span climate science, machine learning, Earth system modeling, and remote sensing, with specific emphasis on climate model evaluation, parameterization techniques, and improved climate projections. Scientific Awards: AGU Ambassador Award (2024) TUM Distinguished Affiliated Professor (2024) Gottfried Wilhelm Leibniz Prize (2021) ERC Synergy Grant (2019) Thomson Reuters Highly Cited Researcher (2016-2021) Top female researchers award, Helmholtz-Society (2015) Professor Eyring actively supervises a large research group comprising PhD students working on ML-based sea ice parameterizations, causal model evaluation for air-sea interactions, and machine learning-based detection of droughts in climate projections. She leads the prestigious ERC Synergy Grant USMILE and secured significant funding through the DFG Gottfried Wilhelm Leibniz Prize. Her research group at DLR includes multiple postdocs, research scientists, and software engineers working collaboratively on climate informatics projects. Professor Eyring leads the Earth System Model Evaluation and Analysis Department at DLR, which encompasses research groups focused on CMIP model evaluation, ESMValTool development, and machine learning applications in climate science. She founded and supervises the 'Climate Informatics' Group at the DLR Institute for Data Science in Jena. Her department maintains strong international collaborations, particularly with the National Center for Atmospheric Research (NCAR) in Boulder, Colorado, where she serves as an Affiliate Scientist.
Marta Kwiatkowska is a Professor of Computing Systems at the University of Oxford and a Fellow of Trinity College. Her research focuses on probabilistic verification , quantitative model checking , and formal methods for complex systems including autonomous robots, medical devices, and biological systems. She leads the development of the PRISM and PRISM-games probabilistic model checkers. Key research areas: Probabilistic systems, formal verification, autonomous robotics, medical device analysis, systems biology Grants: ERC Advanced Grant VERIWARE, EPSRC Programme Grant Mobile Autonomy Awards: 2024 ETAPS Test-of-Time Tool Award for PRISM Students: Current and former advisees in topics spanning formal methods, robotics, and quantitative verification The PRISM-games extension enables verification of stochastic multi-player games with applications in network protocols, autonomous systems, and game theory. Her work bridges theory, algorithms, and practical implementation, with real-world applications in ubiquitous computing and nanotechnology.
Amir AghaKouchak is a Chancellor’s Professor in the Department of Civil and Environmental Engineering at the Samueli School of Engineering, University of California, Irvine (UCI). He directs the Center for Hydrometeorology and Remote Sensing (CHRS) and focuses on interdisciplinary research at the intersection of hydrology, climatology, statistics, and remote sensing. B.Sc. and M.Sc. in Civil Engineering (Water Resources), K.N. Toosi University of Technology, Tehran, Iran (2001, 2005) Ph.D. in Civil and Environmental Engineering, University of Stuttgart, Germany (2010) His research aims to leverage satellite data and ground observations to advance modeling of hydrologic extremes (droughts, floods, landslides) and develop decision-support systems for water resources management. Key areas include climate change impacts , stochastic modeling , and the water-energy nexus . Recent publications highlight his work on multi-hazard analysis, groundwater decline, wildfire resilience, and climate projections. Tools like MhAST and MvCAT demonstrate his methodological contributions to copula-based and multi-hazard modeling.
Kathryn Roeder is the UPMC University Professor of Statistics and Life Sciences at Carnegie Mellon University (CMU), affiliated with the Dietrich College of Humanities and Social Sciences and the Departments of Statistics & Data Science and Computational Biology. Her research focuses on developing statistical methods for genetic and genomic data, particularly in identifying autism risk genes and analyzing single-cell multi-omic data. She earned her Ph.D. in Statistics from Penn State University and has been at CMU since 1994, previously serving as Vice Provost for Faculty (2015–2019). Education: Ph.D. in Statistics, Penn State University (1988) B.S. in Wildlife Resources, University of Idaho (1982) Research Interests: Her work integrates modern statistical techniques (high-dimensional statistics, machine learning, networks) to study complex diseases like autism and schizophrenia. Recent efforts include tools for analyzing single-cell RNA-seq and proteomic data, such as UNICORN, DAWN, and SCEPTRE. Key Awards: COPSS Distinguished Achievement Award (2020) National Academy of Sciences Member (2019) COPSS Presidents’ Award (1997) AAAS Fellow (2020) Advising & Grants: She has advised over 20 Ph.D. students, many contributing to landmark studies in autism genetics. Her grants include NIH funding for projects like the Autism Sequencing Consortium. Current research teams focus on computational biology and statistical genetics. Labs & Collaborations: Her lab develops software tools (e.g., TADA, MIND) and collaborates with the Autism Sequencing Consortium and iPSYCH-BROAD Consortium on large-scale genomic studies.
Kostas Bekris is a Professor in the Department of Computer Science at Rutgers University, specializing in Robotics and Artificial Intelligence. His research focuses on motion planning, autonomous manipulation, and robot control, with notable contributions to tensegrity robotics, perception-driven systems, and large-scale package handling. He leads a team conducting groundbreaking work in robotics, supported by grants from NSF, NASA, and industry collaborators like ExxonMobil. His group emphasizes interdisciplinary approaches, combining machine learning, topological methods, and differentiable physics modeling to advance robot capabilities in complex environments. Education details are not explicitly stated in the provided texts, but his academic career has included significant mentorship of PhD students and postdoctoral researchers. Key projects involve vision-driven manipulation pipelines, obstacle detection systems (PROBE), and resilient robot designs inspired by biological structures. He has been recognized for his work through prestigious awards including the NASA Early Career Grant and multiple NSF grants, as well as team achievements in robotics competitions like the Amazon Picking Challenge. Research interests span robotics subfields such as: Autonomous manipulation in cluttered environments Learning-based control for dynamic systems Topological data analysis for motion reasoning Tensegrity and soft robotics architectures Sim-to-real transfer in robotic tasks His team's work has produced open-source software tools and datasets, advancing benchmarks in manipulation and perception. Recent articles emphasize scalable solutions for industrial automation and robust navigation strategies in unstructured settings. Scientific achievements include: Development of PROBE for proprioceptive obstacle detection Advances in differentiable physics engines for tensegrity systems NSF-funded projects on robotic rearrangement and modular morphologies Advising contributions span over a decade, with current advisees focusing on topics like non-prehensile manipulation and large-scale storage optimization. Collaborations with industry (e.g., ExxonMobil) and academic partners (Yale University) reflect his commitment to applied robotics research. Labs and teams under his leadership include the Rutgers CS Robotics Group, contributing to projects like the ARIAC challenge platform and packing/industrial automation systems. Future work targets improved robot resilience in disaster scenarios and enhanced human-robot collaboration paradigms.
