Schloss Dagstuhl - Leibniz Center for InformaticsGermany
Anastasia Ailamaki is a Professor at the Swiss Federal Institute of Technology in Lausanne (EPFL), renowned for her work in database systems and data management . Her research focuses on optimizing query processing for modern hardware, particularly GPUs and heterogeneous systems, and advancing cloud data analytics with serverless architectures like PixelDB . She has co-authored influential frameworks for adaptive query optimization , hardware-conscious database engines , and model-relational data management . Key research areas: GPU acceleration , HTAP , query approximation , spatial data processing , and cloud-native databases . Recent work emphasizes cross-task optimizations in distributed environments, efficient sampling , and context-aware joins integrating vector embeddings. In 2023, she contributed to adaptive recursive query optimization and speculative K-means clustering, while 2024 publications addressed proportional caching (HPCache) and model-relational systems . Her collaborations span institutions such as MIT, Microsoft, and ETH Zurich, with publications in top venues like SIGMOD , VLDB , and ICDE .
Fabian Fritz holds an M.Sc. degree and works at the Technical University of Munich (TUM) within the Chair of Aerodynamics and Fluid Mechanics . His research focuses on computational fluid dynamics (CFD) and numerical simulation of multiphase flows, particularly using Smoothed Particle Hydrodynamics (SPH) . He collaborates on projects like PBF-LB/M (additive manufacturing) and contributes to Lagrangian fluid mechanics benchmarking frameworks. Research Trends: His publications emphasize numerical methods (SPH, level-set, finite-volume), multiphase flow modeling , heat transfer , and thermoacoustic stability . Recent work includes hardware-agnostic code optimization and adaptive mesh refinement techniques. Education: Completed a master’s thesis on Diffusive-Interface Modeling of Multiphase Flows with Surface-Tension Effects , supervised by P.D. Dr.-Ing. habil. Stefan Adami.
Schloss Dagstuhl - Leibniz Center for InformaticsGermany
Jishen Zhao is an Assistant Professor in the Department of Computer Science and Engineering at the University of California, San Diego (Jacobs School of Engineering). His research focuses on computer architecture, non-volatile memory systems, and deep learning acceleration. Dr. Zhao has published extensively in top venues including ISCA, MICRO, ASPLOS, and IEEE Transactions. He collaborates with researchers at UCSD and beyond to advance systems for emerging applications in AI and autonomous vehicles. Dr. Zhao's primary research areas include persistent memory systems, hardware/software co-design for deep learning, and safety-critical computing. He develops techniques for crash consistency, memory disaggregation, and efficient neural network deployment. His work on autonomous vehicles addresses scenario generation and perception-aware system design. Recent projects explore LLM applications for software engineering and hardware verification. Analysis of Dr. Zhao's 2024-2025 publications reveals a strong shift toward AI-integrated systems research. He applies large language models to tasks like RTL verification and software issue localization while continuing to innovate in memory systems for serverless computing. There is growing emphasis on safety-critical systems for autonomous vehicles and energy-efficient neural network training using novel hardware architectures. Information about Dr. Zhao's scientific awards, advising activities, grants, and laboratory facilities was not available in the provided documentation.
Prof. Dr. Tobias Gemmeke is a University Professor at RWTH Aachen University's Faculty of Electrical Engineering and Information Technology, leading the Chair of Integrated Digital Systems and Circuit Design. His work focuses on neuromorphic computing, hardware accelerators, and energy-efficient electronics. He has pioneered advancements in FPGA-based computational neuroscience simulators, neuromorphic processor architectures, and sensor integration for industrial and medical applications. Research interests include time-domain computing, ReRAM reliability, and co-optimization of neural networks with hardware. Notable contributions include the neuroAIx framework for accelerated neuroscience simulations and energy-efficient ASIC designs for post-quantum cryptography. He actively explores memristive devices and domain generalization techniques for edge computing. Recent publications highlight innovations in spiking neural networks, sensor systems for plain bearings, and time-domain compute-in-memory engines. His work bridges theoretical neuroscience with practical hardware implementations, emphasizing scalability and real-time performance.
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.
Torsten Grust is a Professor of Computer Science at the University of Tübingen, leading the Database Systems research group since 2008. Previously, he held professorships at TU München and TU Clausthal. He earned his M.Sc. (Diploma) and Ph.D. in Computer Science from Universität Konstanz in 1994 and 1999, respectively. His research focuses on database languages, query and programming language technology, and scalable processing of non-relational queries. He bridges database and programming language research, emphasizing mutual benefits between the fields. **Education:** Ph.D. in Computer Science, University of Konstanz (1999) M.Sc. (Diploma), Computer Science, University of Konstanz (1994) Visiting Scientist, IBM Silicon Valley Laboratories (2000) **Research Interests:** Design and optimization of database languages Query compilation and execution engines Integration of functional programming with SQL Query provenance and debugging **Awards and Honors:** ACM SIGMOD Reproducibility Award (2021) University of Tübingen Teaching Award (2021/22) Winner of Dyalog 2019 APL Program Solving Competition Member of the VLDB Endowment Board of Trustees (2022–2027) **Advising & Grants:** Guided numerous students, including alumni such as Alexander Ulrich, Benjamin Dietrich, and Christian Duta Recipient of grants supporting research in query compilation, provenance analysis, and database language design **Labs & Teams:** Leads the Database Systems research group at University of Tübingen Collaborates with the National Institute of Informatics (Tokyo) on query and programming languages
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.
Günter Rote is a Professor in the Department of Computer Science at Freie Universität Berlin, specifically within the Theoretical Computer Science group (Arbeitsgruppe Theoretische Informatik). He holds a formal academic title of Professor Dr. and is affiliated with the Faculty of Mathematics and Computer Science. His research focuses on theoretical computer science, computational geometry, algorithms, and discrete mathematics. Key research interests include geometric algorithms, optimization problems (e.g., shortest paths, traveling salesman problems), and algorithm design for parallel computing systems. His work spans topics such as systolic arrays, convex hulls, and combinatorial optimization. Rote’s contributions include foundational studies on computational geometry problems, algorithmic complexity, and practical applications in energy equity and infrastructure design. Publications highlight contributions to solving extremal equations, polygon transformations, and the quadratic assignment problem. He has been active in academic leadership, mentoring students, and contributing to computational science communities. His email is rote@inf.fu-berlin.de, and his office is located at Takustraße 9 in Berlin.
Prof. Dr. Fabian Gieseke is a Professor and Chair of Machine Learning and Data Engineering at the University of Münster. He holds a PhD in Computer Science from Carl von Ossietzky University of Oldenburg and a dual degree in Mathematics and Computer Science from the University of Münster. His research focuses on Machine Learning, High-Performance Computing, and their applications in Geosciences, Smart Cities, and Astrophysics. Education: PhD in Computer Science (2012), Carl von Ossietzky University of Oldenburg University studies in Mathematics and Computer Science (2006–2011), University of Münster Research Interests: Data Mining and Machine Learning High-Performance Computing & Distributed Systems Deep Learning Applications in Environmental Science and Astrophysics Geospatial Data Analysis using Satellite Imagery Publications Trends: His recent work emphasizes large-scale environmental monitoring via deep learning, including canopy height estimation, forest biomass prediction, and national-scale tree counting. He also explores interactive systems for geospatial data retrieval and optimization of machine learning models for resource-constrained environments. Advising & Grants: Supervised over 30 theses on topics like satellite image analysis, deep learning on microcontrollers, and data marketplaces for smart grids. Active in securing grants for interdisciplinary projects combining AI with Earth observation. Labs/Teams: Leads the Machine Learning and Data Engineering group at the University of Münster, focusing on scalable AI solutions for real-world challenges in science and industry.
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 .
Philipp Neumann is a Professor and Chair of High-Performance Computing at Helmut Schmidt University since 2019. Previously, he held roles including Senior Researcher at the German Climate Computing Center (2016–2019), Postdoc at the University of Hamburg (2017–2019), and completed his Habilitation in Scientific Computing at TU Munich (2019). He transitioned to DESY/Universität Hamburg in May 2024. Education : PhD (Dr. rer. nat.) in Scientific Computing at TU Munich (2008–2013) Habilitation in Scientific Computing at TU Munich (2019) Studies in Technomathematics at Friedrich-Alexander University Erlangen-Nuremberg (2003–2008) Research Interests focus on high-performance computing, parallel and distributed systems, computational science, and applications in climate modeling. His work bridges computational methods with medical challenges, including surgical simulation training, wound healing mechanisms, and gastrointestinal pathology. Professional Activities include leadership roles in major conferences such as steering committee member for ISPDC (since 2021) and program committee roles in IPDPS, ICCS, and IEEE Cluster. He also managed the DFG priority program SPPEXA (2013–2016). Labs/Teams include the Chair for High-Performance Computing at Helmut Schmidt University and collaborations with the German Climate Computing Center. His current work at DESY/Universität Hamburg likely expands these computational efforts into interdisciplinary research.
Thomas Berger is a Professor at the University of Hohenheim , affiliated with the Faculty of Agricultural Sciences and leading the Department of Economics of Land Use . He also contributes to the Computational Science Hub and Hohenheim Tropics initiatives. Focus Areas: Climate change adaptation, land-use modeling, biodiversity-productivity trade-offs, agent-based simulation, and machine learning in agricultural systems. Key Projects: Simulation frameworks for smallholder resilience in Ethiopia, bioeconomic modeling in the Amazon, and hybrid intelligence applications in European agricultural policy. Recent Publications: 2025 study on climate change effects on insecticide reduction in Germany, 2024 work on reconciling biodiversity with productivity via hybrid models, and 2023 methodological contributions to surrogate modeling and seasonal forecast integration. Research Trends: Interdisciplinary integration of climate science, agricultural economics, and computational modeling, with increasing emphasis on AI-assisted decision support systems and sustainability policy validation. Teaching & Outreach: Offers Agricultural Economics seminars and Hohenheim Tropics discussions, requiring advance email registration for office hours.
Axel Haase is a Carl von Linde Senior Fellow at the Technical University of Munich (TUM) and Director of the Institute of Medical Engineering (IMETUM). He holds a professorship in Experimental Physics (Biophysics) at the University of Würzburg. His research focuses on magnetic resonance imaging (MRI), including co-inventing the FLASH MRI technique and advancing biomedical applications like cardiac and neurological studies. He previously served as President of the University of Würzburg (2003–2009) and President of the European Society of Magnetic Resonance in Biology and Medicine (ESMRMB). Education: Diploma in Physics (1977), PhD (1980) from University of Giessen, Habilitation in Biophysical Chemistry (University of Frankfurt). Leadership Roles: Max Planck Institute of Biophysical Chemistry (1978–1989), Postdoc at University of Oxford (1982). Research Interests: MRI技术创新，包括快速成像技术、医学成像应用、生物医学工程。His work has led to patents and significant advancements in MRI methodologies. Awards: 包括Bavarian Academy of Sciences Fellow (2001)、ISMRM金质奖章 (1991)、DFG Heisenberg Fellowship (1987)等。 Labs & Teams: Director of IMETUM at TUM, leading interdisciplinary research in medical engineering and imaging technologies.
Zachary Kincaid is an Associate Professor in the Department of Computer Science at Princeton University's School of Engineering and Applied Science. His research focuses on program analysis, logic, and programming languages, with an emphasis on making program analysis compositional and robust. He received his PhD from the University of Toronto under the supervision of Azadeh Farzan. His work has been implemented in the Duet program analyzer, and he has an Erdős number of 3. Dr. Kincaid's research interests include: Compositional program analysis techniques Algebraic approaches to program analysis Termination analysis and ranking function synthesis Verification of concurrent and parallel programs Automated reasoning and decision procedures Analysis of numerical programs and loops His recent publications show a strong focus on developing novel techniques for program analysis that bridge theoretical computer science with practical verification tools, particularly in nonlinear analysis, quantified reasoning, and compositional verification. Dr. Kincaid has received research support from ONR grant N00014-19-1-2318 for his work on robust program analysis. He has advised graduate students including: Current: Jake Silverman, Nicolas Koh, Nikhil Pimpalkhare Graduated: Shaowei Zhu (PhD 2024, Researcher at Amazon), Charlie Murphy (PhD 2023, Postdoc at University of Wisconsin–Madison) Dr. Kincaid teaches courses including: COS 320 – Compiling Techniques (Spring 2024, 2022, 2020, 2019) COS 516 / ELE 516 – Automated Reasoning about Software (Fall 2025, 2022, 2018) COS 217 – Introduction to Programming Systems (Fall 2024) COS IW – Practical Solutions to Intractable Problems (Fall 2023, Spring 2023, 2018, 2017) COS IW – Little Languages (Spring 2018) COS 597D – Reasoning about concurrent systems (Fall 2016)
