Sanjit A. Seshia is the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley . He is affiliated with the Group in Logic and the Methodology of Science and participates in centers like the Industrial Cyber-Physical Systems Center , Berkeley AI Research , and the Simons Institute for the Theory of Computing . Research interests include formal methods for automated verification and synthesis of dependable systems, with applications to cyber-physical systems , AI-based autonomy , and computer security . His work spans SMT solving, model counting, syntax-guided synthesis, and algorithmic improvisation, with tools like UCLID5 , VerifAI , and Scenic for verifying autonomous systems and educational platforms like CPSGrader . Students and collaborators include notable researchers such as Dorsa Sadigh (Stanford), Daniel Fremont (UC Santa Cruz), and Hazem Torfah (Chalmers). He has co-founded startups like Decyphir and 20ⁿ Labs based on his research.
Jonathan M. Baker is an Assistant Professor in the Department of Electrical and Computer Engineering at The University of Texas at Austin, holding the Advanced Micro Devices Chair in Computer Engineering. His research centers on quantum computer architecture with emphasis on practical quantum error correction implementation across the quantum computing stack. His educational background includes a Ph.D. in Computer Science from the University of Chicago (advised by Fred Chong) and dual B.S. degrees in Mathematics and Chemistry and Computer Science from the University of Notre Dame. Baker's research spans quantum compilation, logic synthesis, multi-radix architectures, and error mitigation for both near-term and fault-tolerant quantum systems. His work addresses critical challenges in quantum hardware-software co-design, with particular focus on optimizing quantum circuits for real-world hardware constraints and noise characteristics. Current projects emphasize qudit-based computing, neutral atom architectures, and efficient error correction implementations. His publication record shows strong focus on quantum architecture innovations, with recent work exploring qudit advantages, modular chiplet designs, and dynamic noise adaptation. Key trends include hardware-aware compilation techniques, communication optimization across quantum systems, and practical approaches to fault tolerance. Best Paper Award Runner Up, MICRO 2020 IEEE Micro Top Pick, 2020 (Virtualized Logical Qubits) IEEE Micro Top Pick, 2020 (Extending Frontier with Qutrits) IEEE Micro Top Pick, 2021 (Emerging Technologies) Best Poster Award, MICRO 2018 Baker actively mentors graduate students in quantum computing architecture research and serves on conference review committees including MICRO and ASPLOS. His teaching includes specialized quantum systems courses at UT Austin and online EdX modules covering quantum computation fundamentals and architecture. He collaborates with the Duke Quantum Center and maintains strong industry connections through the AMD Chair position, focusing on bridging academic research with practical quantum computing implementations.
Assia Mahboubi is a tenured researcher ( directrice de recherche ) at INRIA in the Gallinette team, Nantes, France, and an endowed professor in the Algebra and Number Theory section of the Vrije Universiteit Amsterdam, Netherlands. Her work bridges theoretical computer science and formal mathematics, with significant contributions to proof assistants and formal verification. Her research focuses on the foundations and formalization of mathematics in type theory, particularly on the automated verification of mathematical proofs. She explores the interplay between computer algebra and formal proofs, and is a key contributor to the Rocq prover (formerly Coq) and the Mathematical Components libraries. Her work often examines how familiar mathematical objects can be optimally represented for computer-aided proof checking. Recent publications show a strong trend toward categorical reasoning, diagram chasing, and continuity properties in constructive type theory, with increasing focus on practical applications of formal methods in computational mathematics. Her work demonstrates the maturation of formal verification techniques from theoretical foundations to practical tools for mathematical research. ERC Consolidator grant for the FRESCO (Fast and Reliable Symbolic Computation) project Mahboubi actively supervises doctoral students including Vojtěch Štěpančík, Tomás Vallejos Parada, and Alain Chavarri Villarello. She has received significant research funding through her ERC Consolidator grant for the FRESCO project, which aims to develop fast and reliable symbolic computation techniques. She is deeply involved in the international research community, serving on program committees for major conferences including POPL, CPP, and ICFP. She leads research in the Gallinette team at INRIA, which focuses on the intersection of proof assistants, programming languages, and formal mathematics. Her work has helped establish formal verification as a practical tool for mathematical research, moving beyond theoretical foundations to real applications in computational mathematics.
Matthias Feurer is a Thomas Bayes Fellow and interim professor at the Chair of Statistical Learning and Data Science, funded by the Munich Center for Machine Learning (MCML) at Ludwig Maximilian University of Munich. He is a member of the Department of Statistics at LMU Munich, working under Prof. Dr. Bernd Bischl. His academic background includes: PhD in Computer Science from Albert-Ludwigs-Universität Freiburg, supervised by Prof. Dr. Frank Hutter M.Sc. in Computer Science from the University of Freiburg B.Sc. in Computer Science and Media from the Media University Stuttgart Feurer's research focuses on simplifying machine learning usage through Automated Machine Learning (AutoML). His work encompasses hyperparameter optimization, meta-learning, and model selection, with increasing emphasis on multi-objective AutoML that considers factors beyond predictive performance such as interpretability, deployability, and fairness. He actively develops open-source tools to advance the field. His recent publications demonstrate a strong trajectory in practical AutoML systems, with growing attention to tabular machine learning, foundation models integration, and addressing real-world constraints in optimization. His work consistently bridges theoretical advances with practical implementations through several widely-used open-source projects. Notable achievements include: 1st place in the warmstarting-friendly leaderboard of the BBO NeurIPS challenge Winner of the 2nd AutoML challenge Winner of the kdnuggets blog contest on AutoML Feurer is actively mentoring and teaching, having advertised PhD positions focused on AutoML, optimization, and benchmarking. He co-founded the Open Machine Learning Foundation supporting OpenML.org. His upcoming move to TU Dortmund as an assistant professor in AutoML and Optimization signals continued growth in his academic career while maintaining his research focus on making machine learning more accessible and rigorous.
Emilio Frazzoli is a Full Professor at ETH Zurich’s Department of Mechanical and Process Engineering. He leads the Institute for Dynamic Systems and Control and the Center for Sustainable Future Mobility, focusing on autonomous systems, robotics, and socio-technical control frameworks. Current affiliations: ETH Zurich (Dynamic Systems and Control, Sustainable Future Mobility) Research: Autonomous mobility-on-demand, game theory for resource allocation, and safety verification in multi-agent systems His work bridges robotics, control theory, and economics, with projects like the open-source AMoDeus simulation framework for autonomous taxis and karma-based resource allocation systems. Recent publications emphasize trustworthy AI, reproducibility in autonomous vehicle control, and human-robot interaction challenges. Notable projects include nuReality (VR-based pedestrian interaction studies) and CARSI II (context-driven vehicle interfaces).
Professor Paul D. Sclavounos is a faculty member in the Department of Mechanical Engineering at the Massachusetts Institute of Technology (MIT). He earned his B.Sc. from the National Technical University of Athens in 1977 and Ph.D. from MIT in 1981. Research Interests : Marine hydrodynamics, stochastic control, offshore wind/wave/tidal/solar energy, machine learning applications, magnetohydrodynamic propulsion systems. Notable Contributions : Development of computational tools like SWAN and SML software suites; analysis of nonlinear wave dynamics; integration of AI/ML in marine hydrodynamics. Scientific Recognition : First Prize in National Mathematics Competition (1972), Georg Weinblum Memorial Lecturer (2010-2011), Best Paper Award at OMAE 2019, AEOLOS Scientific Award (2024). Leadership : Director of the Laboratory for Ship and Platform Flows since 1985; advisory roles for US Navy, US Department of Energy, and Det Norske Veritas (DNV). Teaching : Courses in Hydrodynamics (2.016), Advanced Fluid Mechanics (2.25), and Naval Architecture (2.701).
Gordon Plotkin is a Professor at the School of Informatics, University of Edinburgh, where he is affiliated with the Laboratory for Foundations of Computer Science (LFCS). His research lies at the intersection of theoretical computer science and programming language semantics, with a profound influence on the formal understanding of computation. His research interests include Programming Language Theory, Semantics of Programming Languages, Domain Theory, Operational Semantics, Lambda Calculus, Type Theory, Concurrency Theory, and Algebraic Effects. His seminal work on structural operational semantics and domain theory has laid the foundation for modern semantics of programming languages. His publications span over five decades, showing a sustained and evolving research trajectory from foundational work in lambda calculus and domain theory to recent contributions in algebraic effects, probabilistic computation, and biochemical systems modeling. The articles demonstrate a consistent focus on formal methods, mathematical rigor, and the algebraic structure of computational effects. He has collaborated with leading researchers including Martín Abadi, John Power, Glynn Winskel, and John Reynolds. His work continues to influence both theoretical and practical developments in programming languages and systems. Gordon Plotkin has made foundational contributions to computer science, particularly through his development of structural operational semantics and domain-theoretic models of computation. He has advised numerous researchers and supervised many influential PhD theses, though specific student names are not listed in the provided text. His work has been supported by long-standing affiliations with the Laboratory for Foundations of Computer Science and the University of Edinburgh, and he has contributed to major collaborative projects in programming language design and verification. He is associated with several research groups and labs, most notably the Laboratory for Foundations of Computer Science (LFCS), which serves as a hub for theoretical research in programming languages, semantics, and logic at the University of Edinburgh.
Professor Amin Abbosh is a faculty member at the School of Electrical Engineering and Computer Science, University of Queensland. His research focuses on Medical Microwave Imaging and Millimeter-wave Engineering, with contributions to advanced imaging systems, antenna design, and communication technologies. He leads projects in electromagnetic medical sensing, including portable brain scanners and wearable diagnostic systems. His work integrates applied electromagnetics with AI-driven algorithms, addressing challenges in stroke detection, liver health monitoring, and deep vein thrombosis diagnosis. With over 16 patents and collaborations across biomedical and engineering domains, his research bridges clinical needs with cutting-edge electromagnetic techniques. Key projects include the development of low-cost healthcare monitoring systems and reconfigurable antennas for satellite communications. Research interests span medical imaging systems, antenna array design, and signal processing for healthcare applications. His team innovates in areas like phased arrays, dielectric property analysis, and non-invasive diagnostics. Recent advancements include synthetic microwave focusing techniques and self-supervised deep learning models for clutter removal in imaging. Publications highlight contributions in IEEE journals and conferences, emphasizing clinical applications and device prototyping. Collaborations with institutions like the University of Queensland’s medical faculty and industry partners ensure practical implementation of his research.
Conor Ryan is a Professor in the Department of Computer Science & Information Systems at the University of Limerick. He is a Science Foundation Ireland-funded Investigator since 2002 and a member of multiple research centres including Lero – the Irish Software Research Centre and the Limerick Digital Cancer Research Centre. His research focuses on Genetic Programming, Grammatical Evolution, and their applications in domains like healthcare analytics, digital circuit design, and financial modeling. He has authored over 250 publications, with recent work emphasizing automated feature selection in medical diagnostics, neural architecture search, and blockchain ecosystems. Teaching includes courses on Foundations of Computer Science and Computer Games Programming. Research interests span evolutionary computation, machine learning, and interdisciplinary applications. Collaborations involve global institutions, reflecting his work's impact across computer science, engineering, and healthcare. His research has addressed challenges in breast cancer diagnosis via genetic algorithms, cryptocurrency volatility prediction using random forests, and automated generation of digital circuits. Ongoing projects explore interpretability in AI, energy-efficient computing, and sustainable transport systems through predictive analytics. Professional memberships include roles in the Centre for Research Training in Foundations of Data Science and the Data-Driven Computer Engineering Research Centre, underscoring his commitment to interdisciplinary innovation.
Cong Ling is a Professor of Information Theory and Cryptography at Imperial College London's Department of Electrical and Electronic Engineering, within the Faculty of Engineering. His research focuses on lattice theory and its applications in coding, cryptography, quantum information, and number theory. Key affiliations include the Academic Centre of Excellence in Cyber Security Research and the Engineering Secure Software Systems group. Education details are not explicitly provided in the text, but his professional experience indicates advanced qualifications in electrical engineering and mathematics. Research interests span lattice-based cryptography, post-quantum security, algebraic coding theory, and quantum-resistant algorithms. His work bridges information theory and number theory, with contributions to MIMO systems, secure communication protocols, and cryptographic protocol design. Recent publications emphasize lattice reduction techniques, quantum algorithms for the shortest vector problem, and advancements in polar codes. Notable trends include exploration of non-commutative algebras for cryptography, Gaussian sampling optimizations, and hybrid quantum-classical approaches to hard integer problems. Over 50+ articles published since 2018 reflect his leadership in lattice-based research and quantum-safe technologies. Awards: None explicitly listed in the text. Grants/Advising: No specific grants or student advisees mentioned; focus remains on collaborative research outputs. Labs/Teams: Associated with Imperial's Cyber Security Research groups and quantum engineering initiatives.
Prof. Martin Boeker is a Professor of Medical Informatics at the Technical University of Munich (TUM), affiliated with the TUM School of Medicine and Health. His work focuses on advancing healthcare through AI-driven solutions, interoperability frameworks, and precision medicine initiatives. Key projects include the German Medical Text Corpus (GeMTeX) and the MIRACUM DIFUTURE Alignment Hub. Expertise: Medical Informatics, AI in Healthcare, Federated Learning, Health Data Integration Key Contributions: FHIR-based systems, clinical decision support, patient-centered outcomes research Leadership: Director of the Institute for AI and Informatics in Medicine at TUM Hospital Right of the Isar Research emphasizes bridging clinical practice and data science through projects like modular health crawlers, automated guideline adherence monitoring, and cross-institutional medical NLP solutions. His work spans oncology informatics, rare disease management, and pandemic response data ecosystems. Recent articles highlight innovations in digital twins for precision oncology, federated analysis in oncology, and German-language medical NLP challenges. He collaborates internationally on EHR standardization and healthcare interoperability, contributing to the Medical Informatics Initiative (MII) and pandemic evidence ecosystems. Grants and collaborations involve the German Federal Ministry of Education and Research, European initiatives, and industry partnerships. Educational efforts focus on training future medical informatics professionals through MII competency programs.
Dr. Cesar Dario Cadena Lerma is a Lecturer at the Department of Mechanical and Process Engineering and a tenured Senior Scientist at the Institute of Robotics and Intelligent Systems (IRIS) at ETH Zurich. He leads the Perception, Mapping and Navigation team within the Robotics Systems Lab (RSL), co-founded and directs the ETH RobotX initiative focusing on educational robotics, and previously held roles at ETH Zurich's Autonomous Systems Lab, University of Adelaide, and George Mason University. His research focuses on robotics perception, particularly in SLAM (Simultaneous Localization and Mapping), semantic scene understanding, and robust perception systems for dynamic environments. Education: PhD in Computer Science and System Engineering from the University of Zaragoza, followed by postdoctoral research at George Mason University and The University of Adelaide. Professional roles include managing director of ETH RobotX and leadership in multi-modal mapping frameworks like maplab 2.0. Research interests emphasize integrating perception and learning in robotics, with a focus on semantic mapping, data association, place recognition, and navigation in unstructured environments. His work bridges traditional SLAM techniques with modern deep learning approaches to create robust, modular systems. Key contributions include the PHASER registration algorithm, SCIM obstacle avoidance framework, and C-Blox dense mapping system. Awards include the Best Paper Award at the 2017 IEEE International Symposium on Safety, Security, and Rescue Robotics. His articles span topics like semantic pointcloud filtering, volumetric mapping, and embodied domain adaptation. He collaborates widely, with over 50 peer-reviewed publications in top venues such as IEEE Robotics and Automation Letters and International Journal of Robotics Research.
Prof. Dr. Ingo Scholtes is Chair of Machine Learning for Complex Networks at Julius-Maximilians-Universität Würzburg's Center for Artificial Intelligence and Data Science (CAIDAS). His research spans network science, graph machine learning, and computational social science, with applications in software engineering, ecology, biology, and physics. He received a Juniorfellowship from the German Informatics Society (2014) and an SNSF Professorship (CHF 1.5Mio, 2018). Current affiliations: JMU Würzburg (since 2021), University of Zurich (2018-2024), Bergische Universität Wuppertal (2019-2021) Research focus: Higher-order network modeling, temporal graph analysis, AI for collaborative systems, causality-aware machine learning His recent publications demonstrate strong trends in temporal network analysis , graph neural networks for time-series, and higher-order models across software engineering and social science domains. He co-chairs multiple international workshops on complex networks and serves as associate editor for EPJ Data Science and Advances in Complex Systems. Key scientific contributions: Foundational work on higher-order network models published in Nature Physics Methodological innovations in temporal network visualization (HOTVis) and path-based analysis (pathpy) As both educator and organizer, he leads the Computational Social Science Section at GI e.V., mentors across disciplines, and develops tools like git2net for collaboration analysis. His work bridges theoretical foundations with practical applications in network science.
Professor Emilio Artacho is a faculty member in the Department of Physics at the University of Cambridge, based at the Cavendish Laboratory. He transitioned from the Department of Earth Sciences in 2011, where he was granted a Professorship in 2006. His research focuses on computational simulations of non-equilibrium processes in condensed matter, particularly using first-principles molecular dynamics and density-functional theory. He co-developed the SIESTA program for linear-scaling electronic structure calculations, widely utilized in computational materials science. Artacho’s work spans far-from-equilibrium phenomena in irradiated matter, multiferroics, nanoconfined water systems, and surface chemistry. His contributions include studies of electronic stopping power in materials, 2D electron gas formation at ferroelectric interfaces, and the structural dynamics of water under confinement. His academic roles include adjunct positions at Ikerbasque (Nanogune, Spain) and visiting professorships at institutions like the University of California, Berkeley, and École Normale Supérieure de Lyon. Research interests are anchored in theoretical condensed matter physics, with applications to nanomaterials, radiation effects, and interfacial phenomena. His computational methods bridge quantum mechanics and classical dynamics, enabling insights into complex systems like proton-irradiated solar cells and confined water films.
Rahul Mangharam is a Professor in the Department of Electrical and Systems Engineering at the University of Pennsylvania's School of Engineering and Applied Science, with a secondary appointment in Computer and Information Science. He directs the Safe Autonomous Systems Lab (mLAB) and is a founding member of the PRECISE Center. Mangharam serves as Penn Director for the Safety21 DoT National University Transportation Center ($20MM), Director of the Autoware Center of Excellence, and leads the F1Tenth Autonomous Racing Community. Education: Ph.D. in Electrical & Computer Engineering, Carnegie Mellon University M.S. in Electrical & Computer Engineering, Carnegie Mellon University B.S. in Electrical & Computer Engineering, Carnegie Mellon University His research bridges formal methods, machine learning, and control systems with applications in medical devices, autonomous systems, and energy-efficient buildings. Key focus areas include safety verification for autonomous vehicles, real-time control systems, and patient-specific cardiac modeling for clinical applications. Recent work explores conformal prediction for safe perception, differentiable control barrier functions, and explainable autonomous systems. Mangharam's publication trends show strong emphasis on autonomous systems safety (control synthesis, uncertainty quantification) and biomedical applications (cardiac modeling, clinical decision support). His 2022-2023 publications demonstrate cross-disciplinary approaches combining control theory, machine learning, and formal methods for robust autonomous systems. Awards and Honors: Presidential Early Career Award (PECASE) 2016 IEEE Benjamin Franklin Key Award 2014 NSF CAREER Award 2013 Intel Early Faculty Career Award 2012 National Academy of Engineers US Frontiers of Engineering (2012, 2018) Stephen J. Angelo Term Chair (2008-2013) He leads multiple major grants including NSF CAREER, DoT Safety21 Center ($20MM), DoE Energy-Efficient Building Hub ($160MM), and DARPA HACMS. Current PhD students include Zirui Zang. Mangharam founded the F1Tenth autonomous racing platform used globally for education and hosts international competitions through the Autoware Center of Excellence.
