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 .
Yin Tat Lee is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering , University of Washington, and a Senior Principal Researcher in Microsoft AI. His research spans convex optimization , convex geometry , graph algorithms , online algorithms , and differential privacy , with applications in machine learning and theoretical computer science.
Holger Fröning is a full professor at Heidelberg University’s Institute of Computer Engineering (ZITI), where he leads the Hardware and Artificial Intelligence (HAWAII) Lab. His research focuses on embedded machine learning , high-performance computing , and hardware-software co-design , with emphasis on resource efficiency, power optimization, and emerging architectures like analog , photonic , and resistive memory systems. He has held leadership roles including Managing Director of ZITI (2023–present) and Dean of Studies for Computer Science (2019–2022) , and has collaborated with institutions such as NVIDIA Research, Chinese Academy of Sciences, and Graz University of Technology. Research Trends : His recent publications explore Bayesian neural networks , green machine learning , analog computing noise mitigation , and GPU/FPGA optimization . Articles highlight photonic computing for AI , memory-efficient training , and hardware-aware DNN compression . Scientific Awards : 2025 HiPEAC Paper Award (Nature Computational Science) 2014 Google Faculty Research Award Multiple Best Paper Awards (IPDPS, ICPP, ECML-PKDD workshops) Leadership & Service : Organized workshops (WEML, ITEM, F4HD), chaired tracks at EuroPar and ISC, and served on program committees for ICPR, ECAI, and FPL. Education & Affiliations : PhD and MSc from University of Mannheim (2007/2001). Sponsors include DFG, FWF, FFG, NVIDIA, SAP, and XILINX.
Prof. Bryan Ford leads the Decentralized/Distributed Systems (DEDIS) lab at EPFL. He focuses on secure decentralized systems, including blockchain technology, privacy, and systems security. He earned his Ph.D. from MIT and held faculty positions at Yale University and EPFL. His work spans distributed consensus protocols, peer-to-peer networking, and privacy-preserving systems. Key projects include QuePaxa (timeout-free consensus), UIA (global connectivity for mobile devices), and MedCo (secure healthcare data sharing). He advises numerous PhD students and contributes to open-source projects like Bitcoin collective signing and privacy networks like Riffle. Education: Ph.D., MIT; Postdoctoral work at Yale Research interests include blockchain scalability, consensus algorithms, and cryptographic privacy. His lab develops systems like TRIP for coercion-resistant voting and F3B to mitigate blockchain front-running. His work on NAT traversal and peer-to-peer protocols (e.g., STUN/ICE) remains foundational in network architecture. He emphasizes practical, auditable security solutions such as CertiKOS and atomic cross-chain transactions (Atom). Notable contributions: CoSi (collective signing), OmniLedger (sharded blockchain), and privacy-preserving protocols like PURBs (Protected Unsealable Recursive Boxes). His lab collaborates with Swiss Post to audit e-voting systems and designs democratic cryptocurrencies like PoPCoin.
Prof. Dr. Markus Zimmermann leads the Chair of Product Development and Lightweight Design at the Technical University of Munich (TUM). With a background in mechanical engineering from TU Berlin and the University of Michigan, and a doctorate from MIT on solid-state singularities, he bridges academic rigor with industrial application. His career spans 12 years at BMW focusing on vehicle development before transitioning to academia. Specializes in solution space engineering for robust design Expert in additive manufacturing and systems engineering Develops methodologies for managing design complexity and uncertainty His research focuses on multidisciplinary design optimization and lightweight structures , particularly in robotics and automotive systems . His team applies digital twin frameworks and attribute dependency graphs to enhance design processes. Recent publications emphasize topology optimization in robotic systems and thermal management for medical X-ray sources. Key trends in his 2024-2025 publications include: Topological optimization for additive manufacturing and robotics Application of solution spaces to manage design uncertainty Development of compact X-ray systems for medical therapy Integration of digital twin technologies in industrial contexts
Prof. Dr. Martin Kronbichler is a faculty member at the Faculty of Mathematics , Ruhr University Bochum , leading the Numerics group. His research focuses on higher-order finite element methods, multigrid techniques, and high-performance computing for complex fluid and solid mechanics problems. Key Research Areas: Higher-order finite element methods, iterative solvers, multigrid algorithms, exascale mathematical software, and computational fluid dynamics. Notable Projects: EU-funded dealii-X (exascale digital twins), BMBF PDExa (optimized PDE solvers for exascale), and DFG grants for cut-discontinuous Galerkin methods and geometric multigrid. Publications Trends: Recent works emphasize matrix-free operators for hyperelasticity, diffuse-interface models for additive manufacturing, and multigrid smoothers for higher-order elements. Scientific Awards: Recipient of the Humboldt Research Award for his contributions to numerical methods and HPC. Team: Collaborates with researchers like Dr. Shubham Kumar Goswami, Dr. Richard Schussnig, and Natalia Nebulishvili.
Prof. Dr.-Ing. Lars Linsen is a full Professor of Computer Science at the Westfälische Wilhelms-Universität (WWU) Münster, leading the VISualization & graphIX (VISIX) group. His primary affiliation is the Institute of Computer Science within the Faculty of Mathematics and Computer Science. He holds adjunct professorships at Jacobs University, Bremen, and has held previous academic roles including Full Professor at Jacobs University (2012–2017) and Associate/Assistant Professor roles in Germany and the U.S. His research focuses on interactive visual analysis, medical visualization, and scientific visualization, with applications in life sciences and engineering. Education: PhD (Dr.-Ing.) in Computer Science from Universität Karlsruhe (2001), M.Sc. (Diplom) in Computer Science (1997), B.Sc. (Vordiplom) in Computer Science (1994). Awards: IEEE Visualization Design Contest Winner (2008, 2022, 2018), Preis des Fördervereins des Forschungszentrum Informatik (2002). Research Highlights: Develops visualization tools for medical imaging (e.g., mass spectrometry imaging, MRI data analysis) and physical simulations (e.g., wildfire spread analysis, asteroid impact modeling). Active in EU-funded projects like Pig-Pro-QuO (surface coatings) and cells-in-motion initiatives. Supervised over 20 PhD/MS advisees, including notable graduates in medical visualization and simulation ensemble analysis. Publications: Over 100 peer-reviewed articles in top venues like IEEE Transactions on Visualization and Computer Graphics, Computers & Graphics, and EuroVis. Key works include SciVis contest-winning wildfire analysis frameworks and medical visualization tools for stenosis detection. Teaching: Offers courses on visualization, computer graphics, and computational science. Actively involved in thesis supervision and curriculum development at both WWU Münster and Jacobs University. Grants & Collaborations: Principal investigator on DFG-funded projects (e.g., hemodynamics simulations, ensemble visualization) and industry collaborations (e.g., Tascon GmbH for coating quality analysis). Member of the Cells-in-Motion Interfaculty Centre and CDH board at WWU.
Prof. Dr. Markus Bachmayr is a full professor at the Institute for Geometry and Practical Mathematics, RWTH Aachen University, holding the chair for Applied Mathematics. His research focuses on nonlinear approximation, high-dimensional partial differential equations (PDEs), uncertainty quantification, and numerical methods in quantum chemistry. He leads the ERC Consolidator Grant project Computational Complexity of Highly Nonlinear Approximations (COCOA) and contributes to CRC 1481 Sparsity and Singular Structures, and RTG 2326 Energy, Entropy, and Dissipative Dynamics. His recent work emphasizes adaptive low-rank and sparse approximation techniques for parametric and stochastic PDEs, including applications in radiative transfer and poroviscoelastic flow modeling. He serves as Editor-in-Chief of Foundations of Computational Mathematics and Associate Editor for multiple journals. Scientific Awards: John Todd Award 2013 Borchers Plakette 2014 Erwin Wenzl Preis 2007 He has taught courses such as Numerische Analysis I/II, Numerische Mathematik für Elektrotechniker, and seminars on numerical methods and approximation theory.
Joachim Weickert is a Professor of Mathematics and Computer Science at Saarland University where he heads the Mathematical Image Analysis Group since 2001. He received his diploma and Ph.D. in mathematics from the University of Kaiserslautern (1991, 1996), and a habilitation degree in computer science from the University of Mannheim (2001). Prior to his current position, he worked as a research assistant at the University of Kaiserslautern, as a post-doctoral researcher at the universities of Utrecht and Copenhagen, and as an assistant professor at the University of Mannheim. His research focuses on image processing, computer vision, and scientific computing, with special emphasis on techniques based on partial differential equations, variational principles, wavelets, morphological and nonlocal methods, as well as neuroexplicit approaches. He has developed mathematical models and efficient numerical algorithms for image restoration, enhancement, segmentation, compression, optic flow computation, stereo reconstruction, shape from shading, and signal processing methods for tensor fields. These ideas have been successfully applied in industry, biomedical image analysis, and other fields. Analysis of his recent publications reveals a strong trend toward combining traditional PDE-based methods with modern deep learning approaches, particularly in the areas of image inpainting and compression. His work increasingly explores the connections between numerical algorithms for partial differential equations and neural network architectures, demonstrating how mathematical foundations can inform cutting-edge AI techniques while maintaining strong theoretical guarantees. Gottfried Wilhelm Leibniz Prize (2010), considered the most important research award in Germany ERC Advanced Grant (2017) for "Inpainting-based Compression of Visual Data" Elected member of Academia Europaea - The Academy of Europe Jan Koenderink Prize for Fundamental Contributions in Computer Vision (2014) Multiple DAGM Prizes and Best Paper Awards throughout his career AAIA Fellow (2021) and Highly Ranked Scholar (2024) distinctions Professor Weickert has supervised over 250 bachelor's and master's theses and initiated the Master Programme in Visual Computing at Saarland University, the first of its kind in Germany taught in English. He has established numerous interdisciplinary collaborations with colleagues from medicine, bioinformatics, pharmacy, physics, mechatronics, and mechanical engineering. As Principal Investigator for Visual Computing within the Multimodal Computing and Interaction Cluster of Excellence, and former dean of the Faculty of Mathematics and Computer Science (2008-2010), he has played a significant leadership role in advancing visual computing research and education. He heads the Mathematical Image Analysis Group, which has been at the forefront of developing mathematical methods for image analysis. The group maintains strong connections with both theoretical mathematics and practical applications, bridging the gap between fundamental research and real-world implementation across various domains including medical imaging, industrial inspection, and multimedia processing.
Marco Caccamo is a Professor at the Technical University of Munich (TUM) , holding the Chair of Cyber-Physical Systems in Production Engineering within the Faculty of Mechanical Engineering. He is also a Principal Investigator and Professor at the Department of Computer Science, with courtesy appointments in Electrical and Computer Engineering, Coordinated Science Lab (CSL), and Aerospace Engineering at the University of Illinois at Urbana-Champaign (UIUC). His research spans Embedded Systems , Real-Time Systems , and Cyber-Physical Systems (CPS) , focusing on resource management, reinforcement learning architectures, and 6D pose recognition for robotics. University of Pisa (B.Sc., 1997) Scuola Superiore Sant'Anna (Ph.D., 2002) Research highlights include predictable resource management on heterogeneous platforms, security frameworks for AI-based controllers , and UAV testbed development . His work integrates deep learning and real-time constraints in industrial applications like avionics, farming, and automotive systems. His 15 most recent publications emphasize cache optimization , memory bandwidth regulation , and reinforcement learning for CPS , with a focus on multi-core processors and DNN inference . Awards include the IEEE Fellow (2018), Alexander von Humboldt Professorship (2018), and multiple Best Paper Awards at RTSS, RTNS, and RTAS. NSF CAREER Award (2003) IEEE Fellow (2018) Alexander von Humboldt Professorship (2018) Best Paper Awards (RTSS 2024, RTNS 2023, ECRTS 2019) He has advised numerous Ph.D. students and postdocs, with a track record in UAV development and industrial collaborations . His lab, the Real-Time and Embedded System Laboratory , focuses on real-time OS and predictable computing .
Prof. Dr. Estela Suarez is a Professor of High Performance Computing at the Institute for Computer Science, University of Bonn (W2 in the Jülich Model) and Joint Lead of the Division "Novel System Architecture Design" at the Jülich Supercomputing Centre (JSC), Forschungszentrum Jülich GmbH. She also leads the Research Group "Next Generation Architectures and Prototypes" at JSC and serves as Spokesperson of Helmholtz Information Program 1, Topic 2. Currently on sabbatical during the 2024/2025 and 2025 academic years, she remains active in research leadership roles. 2010: PhD in Physics from University of Geneva, Switzerland 2004: Master in Physics, Specialization in Astrophysics, University Complutense of Madrid, Spain Professor Suarez specializes in high performance computing with particular expertise in heterogeneous HPC system architectures and modular supercomputing architecture (MSA). Her research spans hardware prototyping and evaluation, system software development, operational data analysis, and co-design methodologies. She has pioneered approaches to address hardware heterogeneity through system-wide orchestration of diverse computing resources, enabling more efficient scientific computing across multiple domains. Her work bridges theoretical computer architecture with practical implementation challenges in exascale computing environments, focusing on real-world applications that require specialized hardware configurations. Professor Suarez's publication record shows a clear evolution from foundational work on the DEEP project (2016) through the development of modular supercomputing concepts (2019-2021) to current applications across diverse scientific domains (2022-2024). Her recent publications demonstrate how modular architectures can be effectively applied to climate modeling, neuroscience simulations, quantum chemistry calculations, and other computationally intensive fields. This trend highlights her focus on practical implementation challenges and the growing importance of adaptable computing architectures in modern scientific research. 2023/2024 Lehrpreis der Universität Bonn: UniBonn teaching award Professor Suarez has secured significant research funding through major projects including NUMERIQS (Projects A05, B02, and Z02), European Processor Initiative (EPI), DEEP-SEA (Software for Exascale Architectures), IFCES2 (optimization of simulation algorithms for exascale supercomputers), and AIDAS (virtual laboratory between Forschungszentrum Jülich and CEA on AI and data analytics). While currently not accepting new students due to sabbatical, she has previously mentored graduate students in high performance computing techniques and has delivered numerous invited lectures at international conferences. Professor Suarez leads the "Next Generation Architectures and Prototypes" research group at JSC and serves as Joint Lead of the "Novel System Architecture Design" division. She chairs the Research and Innovation Advisory Group (RIAG) from EuroHPC Joint Undertaking since 2024. Her work involves close collaboration with international research teams on advancing supercomputing architectures, including contributions to the University of Bonn's new HPC system "Marvin" which ranks on both the TOP500 and GREEN500 lists.
Rainer Gemulla is a Professor of Practical Computer Science I: Data Analytics at the University of Mannheim, heading the Data and Web Science Group within the School of Business Informatics and Mathematics. He has been a W3-Professor at the University since 2014, following positions as a senior researcher at Max-Planck-Institut für Informatik (2010-2014) and postdoctoral researcher at IBM Almaden Research Center (2008-2010). His research focuses on machine learning with structured and semi-structured data, particularly knowledge graphs, and developing efficient systems for data-intensive processing. Professor Gemulla's research spans multiple areas including machine learning with structured data (relational data), machine learning with semi-structured data (multi-relational graphs), combining these approaches with unstructured knowledge (text), and developing efficient, scalable methods for data-intensive processing. His work bridges theoretical foundations with practical implementations, as evidenced by numerous open-source software projects including LibKGE, DistKGE, and AdaPM. His recent publications show a strong trend toward knowledge graph embeddings, parameter server architectures, and efficient training methods. The research demonstrates increasing focus on scalability challenges in graph learning, with particular attention to hyperparameter optimization, dynamic resource allocation, and benchmarking methodologies. His work consistently addresses the practical challenges of implementing machine learning systems at scale. Distinguished Reviewer Award at SIGMOD, 2025 Distinguished PC Member Award at EDBT, 2023 Outstanding Reviewer Award at NeurIPS, 2021 Junior-Fellow of the Gesellschaft für Informatik (GI), 2013 IBM's 2011 Pat Goldberg Memorial best paper award Best paper of NIPS 2011 Biglearn workshop Professor Gemulla actively mentors PhD students and has supervised numerous successful doctoral candidates. His leadership extends to administrative roles including Head of examination board for MSc Business Informatics since 2017, and previously serving as Study dean of the WIM faculty (2016-2019) and CIO of University of Mannheim (2022-2024). His research is supported by grants including AWS in Education Research Grant Award (2013) and Google Focused Research Award (2011). The Data and Web Science Group develops multiple open-source software projects including LibKGE (knowledge graph embedding library), DistKGE (multi-GPU training), AdaPM (adaptive parameter manager), Lapse (parameter server), and various tools for information extraction and sequence mining. The group maintains active collaborations with industry partners and academic institutions worldwide, particularly in the areas of knowledge graph research and scalable machine learning systems.
Tsun-Ming Tseng is a Professor and principal investigator at the Chair of Electronic Design Automation at the Technical University of Munich (TUM). He leads the Emerging Technology Group and oversees multiple DFG/BMBF-funded research projects in the areas of microfluidic large-scale integration, optical network-on-chip design, and novel microfabrication techniques. Dr. Tseng's research focuses on design automation for emerging technologies, with particular expertise in three main areas: microfluidic large-scale integration, optical network-on-chip systems, and novel microfabrication processes. His work bridges the gap between electronic design automation and cutting-edge applications in bioengineering, photonics, and advanced manufacturing. His research group develops sophisticated algorithms and tools for optimizing design, reliability, and performance in these emerging domains. Analysis of Dr. Tseng's recent publications reveals a strong focus on practical implementation challenges in emerging technologies. His work spans both theoretical algorithm development and practical system implementation, with particular emphasis on reliability, performance optimization, and manufacturing considerations. The research shows increasing integration between different technology domains, particularly the convergence of microfluidics, optical networking, and electronic design automation. Dr. Tseng has been awarded multiple significant research grants including: "DE-TW-CloudWRONoC" (BMBF-NSTC project, PI, 2025-2028, EUR 797.7K) "DE-TW-PI3D" (BMBF-NSTC project, PI, 2024-2027, EUR 391.6K) "Physical Design for Microfluidic Large-Scale Integration" (DFG research grant, PI, 2024-2026, EUR 331.9K) Multiple other DFG and industrial projects totaling over EUR 3 million in funding He has successfully supervised numerous doctoral researchers and postdoctoral fellows, with current group members including Jiahui Peng, Debraj Kundu, Liaoyuan Cheng, and several others. Dr. Tseng leads the Emerging Technology Group at TUM, which focuses on developing design automation methodologies for next-generation technologies. The group maintains strong collaborations with international institutions, including partnerships with researchers in Taiwan and Hong Kong. The team operates state-of-the-art facilities for research in microfluidics, optical networking, and advanced microfabrication techniques.
Prof. Karsten Urban is a Full Professor of Numerical Mathematics at the University of Ulm, leading the Institute for Numerical Mathematics. He holds roles such as Dean of Studies in Computational Science and Engineering (CSE) and Deputy Spokesman for the Research Association for Scientific Computing in Baden-Württemberg. He is an active member of prestigious societies including the Deutsche Mathematikervereinigung (DMV) and SIAM. His academic journey includes a PhD from RWTH Aachen (1995), Habilitation (2001), and a full professorship at Ulm since 2005. Research focuses on numerical methods for PDEs, reduced basis techniques, multiscale simulations in fluid mechanics, biomechanics, quantum sciences, and financial mathematics. He has pioneered wavelet-based methods and collaborated with industries on ship propulsion and energy trading models. His work integrates mathematical rigor with real-world applications, emphasizing model reduction and computational efficiency. Editorial Roles: Managing Editor of Advances in Computational Mathematics , Editor of SN Partial Differential Equations and Applications . Awards: Teaching award of Baden-Württemberg (2005), Science-Economy Cooperation Awards (2004, 2008). Administrative Roles: Member of the University Council and ASIIN expert committee. Supervises doctoral students in numerical analysis, quantum simulations, and biomechanics. Active in interdisciplinary projects, including quantum systems (IQST) and fracture healing modeling in collaboration with biomechanics experts. His contributions bridge academia and industry, driving innovation in computational methods.
Dmitriy Traytel is an Associate Professor at the University of Copenhagen's Department of Computer Science since August 2020, where he currently heads the Software, Data, People & Society (SDPS) section. Prior to this position, he worked as a senior researcher (Oberassistent) in the Information Security Group led by David Basin at ETH Zürich. He completed his PhD at TU München under Tobias Nipkow's supervision in 2015. His research focuses on formal methods, particularly logic, automata theory, runtime verification and monitoring, decision procedures, (co)induction and (co)recursion, and interactive theorem proving. Traytel develops formally verified tools for runtime monitoring including VeriMon, TimelyMon, and WhyMon, emphasizing correctness and efficiency in monitoring complex temporal properties. His recent publications (2021-2025) demonstrate a strong focus on first-order temporal logic monitoring, with particular attention to explainable verdicts, scalable parallel implementations, and formal verification of monitoring algorithms. The work spans theoretical foundations in logic and category theory while maintaining practical applications in runtime verification systems. Distinguished Paper Award at POPL 2025 for 'Barendregt Convenes with Knaster and Tarski' Best Student Paper Award at FSCD 2016 Distinguished Paper Award at ATVA 2018 Traytel has supervised numerous PhD, Master's, and Bachelor's students in areas spanning formal verification, runtime monitoring, and theorem proving. His research has been supported through collaborations with major institutions including ETH Zürich and TU München. He actively contributes to the academic community by serving on program committees for major conferences including ITP 2025 and RV 2025. He leads the Software, Data, People & Society section at the University of Copenhagen, focusing on developing formally verified tools for runtime verification that bridge theoretical computer science with practical applications in security and system monitoring.
