Find Academic Supervisors

Assia MahboubiView profile

Researcher

• Type Theory
• Formal Verification
• Computer-Aided Mathematics
• +3 more

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 FeurerView profile

Professor

• Automated Machine Learning
• Hyperparameter Optimization
• Bayesian Optimization
• +5 more

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.

• Medical Informatics
• Artificial Intelligence in Healthcare
• Healthcare Data Integration
• +7 more

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.

Ingo ScholtesView profile

Professor

• Network Science
• Graph Neural Networks
• Computational Social Science
• +4 more

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.

Michael SchaubView profile

Assistant Professor

• Network Science
• Dynamical Systems
• Machine Learning
• +3 more

Michael Schaub is a tenure-track Assistant Professor in the Department of Computer Science at RWTH Aachen University, specializing in Computational Network Science. His research focuses on analyzing complex systems through network and graph models, integrating dynamical systems, control theory, and machine learning. He leads the Computational Network Science group, advancing methodologies for higher-order network models like simplicial complexes and hypergraphs. Schaub holds a PhD from Imperial College London and has held postdoctoral positions at MIT and Oxford. He is an ERC Starting Grant recipient (2022) and a Marie Curie Fellow, recognized for contributions to network dynamics and topological data analysis. Education: PhD in Mathematics, Imperial College London (2011-2015) MSc in Biomedical Engineering, Imperial College London (2010) BSc in Electrical Engineering, ETH Zurich (2007-2010) Research Interests: Schaub’s work spans interdisciplinary applications of network science, including biological systems, social networks, and technical infrastructures. Key areas include: Higher-order network models (hypergraphs, simplicial complexes) Graph signal processing and dynamics on networks Community detection and dynamical systems analysis Topological data analysis and machine learning Grants & Awards: ERC Starting Grant (2022): HIGH-HOPeS project Marie Skłodowska-Curie Fellowship (2017-2019) Junior Fellow, German Informatics Society (GI) Member of Junges Kolleg (North Rhine-Westphalia Academy) Labs & Teams: Leads the Computational Network Science Lab at RWTH Aachen, collaborating internationally on projects like the ELLIS Society and the European Laboratory for Learning and Intelligent Systems (ELLIS). Active in organizing workshops (e.g., Toponets, SIAM MDS).

Eric SaxView profile

Professor

• Automotive Systems
• Autonomous Driving
• Cybersecurity
• +7 more

Prof. Dr.-Ing. Eric Sax is a Professor of Electronic Systems Engineering and Management at the Karlsruhe Institute of Technology (KIT), serving as Dean of the Department of Electrical Engineering and Information Technology (ETIT). He leads the Institut für Technik der Informationsverarbeitung (ITIV) and directs the Forschungszentrum Informatik ESS division . As Program Director of the Electronic Systems Engineering & Management (ESEM) master's program at the HECTOR School, he focuses on integrating academic and professional education. His research spans automotive systems engineering , self-learning functions , cybersecurity , and data-driven validation . Key themes include over-the-air updates, scenario-based testing, and the synergy between machine learning and automotive systems. His work addresses challenges in autonomous driving validation, software-defined mobility, and cyber-physical system security. Prof. Sax's contributions include frameworks for automotive software partitioning, cloud-enabled vehicle architectures, and methodologies for quantifying data quality impacts on perception systems. He actively collaborates with industry partners to bridge academic research with industrial application. His recent projects include OptiCAM (cloud/edge function offloading), Drive4C (autonomous driving benchmarking), and UNCOVER (data-driven security monitoring). He holds leadership roles in both KIT and the HECTOR School's technology business programs.

Jonathan KülzView profile

Researcher

• Modular Robotics
• Robotics
• Reinforcement Learning
• +3 more

Jonathan Külz is a Researcher at the Technical University of Munich (TUM) , affiliated with the Department of Informatics 6 - Chair for Cyber Physical Systems under Prof. Matthias Althoff. His research focuses on Modular Robotics , Reinforcement Learning , Cyber-Physical Systems , and Control Systems . His work includes algorithmic synthesis of modular robot compositions, model-based manipulator co-design, and unifying benchmarks for robotics. He has supervised multiple Master’s theses Bachelor’s theses Practical courses on topics like Robot Workspace Representation and Dynamic Model Identification . Notable supervised projects include Autonomous Navigation of Reachbot and Task-Based Modular Robot Configuration Synthesis . His recent publications span Robotics , Benchmarking , and Computational Social Science . Key trends include Computationally efficient assessment of robot capabilities Deep reinforcement learning for robotics Analysis of political discourse polarization Jonathan emphasizes structured thesis supervision, requiring exposés, shared folders, and protocol-driven meetings. He advocates for LaTeX in scientific writing and tools like NotebookLM and Zettlr for research documentation.

Steffen KlamtView profile

Research Fellow

• Metabolic Engineering
• Systems Biology
• Computational Modeling
• +2 more

Dr.-Ing. Steffen Klamt leads the Research Group 'Analysis and Redesign of Biological Networks' at the Max Planck Institute for Dynamics of Complex Technical Systems in Magdeburg, Germany, where he has been employed since 1998. He received his Diplom-Systemwissenschaftler degree from the University of Osnabrück in 1998 and his Dr.-Ing. from the University of Stuttgart in 2005. His research focuses on computational systems biology with emphasis on metabolic engineering, biochemical networks analysis, and bioprocess optimization. He develops computational tools like CellNetAnalyzer for network analysis and StrainDesign for metabolic engineering applications. Key research areas include constraint-based modeling, minimal cut sets analysis, and dynamic optimization of metabolic processes. His recent publications demonstrate strong focus on multi-stage bioprocess optimization, enzyme cascade engineering, and novel strain development strategies for chemical production. Common themes include ATP manipulation strategies, thermodynamic constraints in metabolism, and integration of experimental data with computational models. Scientific Awards: Ernst Dieter Gilles Lecture Award Ernst Dieter Gilles Fellowship He leads a research group developing computational methods for metabolic network analysis and maintains collaborations with experimental groups for model validation and application. The group develops open-source software tools widely used in systems biology research.

Philipp AllgeuerView profile

Researcher

• Robotics
• Humanoid Robotics
• Bipedal Locomotion
• +5 more

Dr. Philipp Allgeuer is a Postdoctoral Research Associate at the Knowledge Technology Research Group within the Department of Informatics at the University of Hamburg. His work focuses on humanoid robotics, bipedal locomotion, and sensor fusion. He holds a PhD from the Autonomous Intelligent Systems Group at the University of Bonn, alongside dual bachelor's degrees in Mechatronic Engineering and Mathematical/Computer Sciences (both with First-Class Honors). His research contributions include the development of the igus Humanoid Open Platform and the NimbRo-OP series of humanoid robots, recognized with awards like the RoboCup HARTING Open Source Award (2016) and the Best Humanoid Award (2018). He has authored influential papers on fused angles for robot balance, tilt phase space representations, and neuro-inspired control architectures. Allgeuer's teams have dominated RoboCup competitions, winning titles in AdultSize and TeenSize leagues multiple times. His open-source software frameworks (e.g., rot_conv_lib , attitude_estimator ) and hardware designs are widely used in robotics research. Recent work explores multimodal human-robot interaction and AI-driven robotic task coordination. He is affiliated with the Knowledge Technology Research Group and contributes to projects like the NICOL humanoid robot, bridging social interaction and reliable manipulation. His research spans from low-level control algorithms to high-level behavior planning systems.

Jens FoerdererView profile

Professor

• Economics of Information Systems
• Digital Markets
• Digital Transformation
• +4 more

Jens Foerderer is a Professor at the Technical University of Munich (TUM) School of Management, holding the Professorship for Innovation and Digitalization. His research focuses on the economics of information systems, competition in digital markets, and quantifying the business value of digital technologies. University of Mannheim - B.Sc. (2011), M.Sc. (2013), Ph.D. (2017) Visiting Research Fellow, University of Oxford, Oxford Internet Institute (2023) Key research areas include: Digital transformation metrics and measurement frameworks Competition dynamics in platform ecosystems Web scraping and data-driven analysis of digital markets Econometric methods for causal inference in digital contexts Enterprise software platform governance Impact of platform owner strategies on innovation Recent publications analyze: Causal effects of platform governance in digital ecosystems Competitive interactions in platform markets Timing dynamics in data breach disclosures Knowledge boundaries in enterprise software development Platform award mechanisms and their innovation impacts

• Database Management Systems
• Transaction Processing
• In-Memory Databases
• +6 more

Andrew Pavlo is a Professor in the Computer Science Department at Carnegie Mellon University's School of Computer Science. His research focuses on database management systems, particularly in the areas of transaction processing, in-memory databases, and self-driving database systems. He leads a productive research group that has published extensively in top database venues including VLDB, SIGMOD, and CIDR. Pavlo's research interests span database management systems, transaction processing, in-memory databases, non-volatile memory databases, and self-driving database systems. His work often bridges theoretical database concepts with practical system implementation, focusing on performance optimization, query processing, and system architecture. Recent work has explored machine learning applications for database tuning, novel storage techniques, and innovative approaches to transaction processing. An analysis of his recent publications reveals a strong focus on self-driving database systems, with significant work on the Database Gym framework for training machine learning models to optimize database performance. His research also examines columnar storage formats, transaction scheduling, and novel approaches to user-defined function optimization. The work demonstrates a consistent trajectory toward making database systems more autonomous and efficient through a combination of systems techniques and machine learning. Pavlo has been instrumental in mentoring numerous PhD students who have become active contributors to the database research community. His research has been supported by significant grants that have enabled the development of innovative database technologies and frameworks. His research group operates within CMU's vibrant database ecosystem, collaborating with other researchers on projects related to database systems, storage engines, and query processing frameworks. The group maintains close connections with industry partners to ensure practical relevance of their research contributions.

Michael D. ErnstView profile

Professor

• software engineering
• programming languages
• type theory
• +6 more

Michael D. Ernst is a Professor in the Computer Science & Engineering department at the University of Washington's College of Engineering. His research aims to make software more reliable, more secure, and easier (and more fun!) to produce. Previously, he was a tenured professor at MIT and a researcher at Microsoft Research. Ernst's primary technical interests are in software engineering, programming languages, type theory, security, program analysis, bug prediction, testing, and verification. His research combines strong theoretical foundations with realistic experimentation, with an eye to changing the way that software developers work. He focuses particularly on programmer productivity and developing practical tools that can be integrated into developers' workflows. Analysis of his recent publications (2018-2025) reveals a continued focus on verification techniques, program analysis, and testing methodologies. His work spans from theoretical foundations of type systems to practical applications of NLP for test generation and LLMs for test oracle creation. A consistent theme is developing lightweight, modular approaches that can be practically applied in real-world development environments. Scientific Awards: ACM Fellow (2014) John Backus Award (2009) NSF CAREER Award (2002) ACM SIGSOFT Impact Paper Award (2013) 8 ACM Distinguished Paper Awards across multiple conferences ECOOP 2011 Best Paper Award Microsoft Academic Search ranked #2 in software engineering research (2013) Ernst has received significant research funding including the NSF CAREER Award, supporting his work on program analysis and verification techniques. His research combines theoretical rigor with practical impact, often resulting in tools that are adopted by the software engineering community. He actively collaborates with researchers across institutions and has served in leadership roles for major conferences in programming languages and software engineering. His research group develops practical tools that address real challenges in software development, with a focus on making verification and analysis techniques more accessible to working developers. Current projects include applying machine learning techniques to software engineering problems while maintaining strong theoretical foundations.

Estela SuarezView profile

Professor

• high performance computing (HPC)
• heterogeneous HPC system architectures
• modular supercomputing architecture (MSA)
• +4 more

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.

Christian KrupitzerView profile

Professor

• Food Informatics
• Self-adaptive Software Systems
• Machine Learning
• +4 more

Jun.-Prof. Dr. Christian Krupitzer is a Tenure Track Professor in Food Informatics at the University of Hohenheim's Institute of Food Science and Biotechnology, part of the Faculty of Natural Sciences. He leads the Department of Food Informatics and is a member of the Computational Science Hub (CSH). His research focuses on self-adaptive software systems, machine learning (especially edge computing), IoT technologies, and software engineering applied to food processing and agricultural systems. Education: PhD in Business Information Systems (Dr. rer. pol.), University of Mannheim (2018) M.Sc. and B.Sc. in Business Information Systems, University of Mannheim (2010–2012) High School Diploma (Abitur) from Wilhelmi-Gymnasium Sinsheim (2007) Research Interests: Krupitzer’s work integrates computational methods with food science, emphasizing adaptive systems for food quality monitoring, IoT in agriculture, and machine learning for predictive analytics. He explores edge computing’s role in real-time decision-making and secure group communication schemes for IoT networks. Publications: His recent work spans predictive maintenance in Industry 4.0, digital twins in food systems, and blockchain applications in supply chain authentication. The articles highlight trends in interdisciplinary approaches combining AI, IoT, and domain-specific challenges in food production and logistics. Awards: No scientific awards explicitly listed in the provided materials. Grants & Advising: While specific grants are unmentioned, his roles as department head and tenure-track professor suggest involvement in research funding. No formal advisee list provided, though his team includes postgraduate researchers like Dana Jox, Daniel Einsiedel, and others. Labs & Teams: Leads the Food Informatics department and collaborates with the Computational Science Hub. His team focuses on developing innovative solutions for food systems through computational methods.

• Algebraic Geometry
• Hyperkähler Manifolds
• Rozansky-Witten Invariants
• +3 more

Prof. Dr. Marc Nieper-Wißkirchen is a University Professor (W3) for Algebra and Number Theory at the Institute of Mathematics, University of Augsburg, since 2008. He has held visiting positions at the Max Planck Institute for Mathematics in Bonn and the University of Cambridge, and served as a Junior Professor at Johannes Gutenberg University Mainz (2004–2008). Since October 2021, he has been Vice Dean of the Faculty of Mathematics, Natural Sciences and Technology (MNTF). Education: Diploma in Mathematics (2000) from the University of Cologne, preceded by preliminary diplomas in physics (1997) and mathematics (1997). His doctoral studies (2000–2002) under Prof. Daniel Huybrechts focused on characteristic classes and Rozansky-Witten invariants of hyperkähler manifolds. His research spans algebraic geometry, differential geometry, and mathematical physics, with a focus on hyperkähler manifolds, Hilbert schemes of points, irregular singular connections, and Stokes phenomena. He has contributed to the understanding of Rozansky-Witten invariants, Chern numbers, and topological aspects of differential equations. Recent publications include works on Betti structures of hypergeometric equations (2022) and Stokes matrices for confluent hypergeometric equations (2022), reflecting his ongoing exploration of differential equations' geometric underpinnings. Earlier works address Hochschild homology, equivariant cohomology, and operads in algebraic contexts. His computational contributions include software demonstrations for elliptic curve arithmetic, Collatz sequences, and Google Matrix simulations. Technical expertise includes programming languages (TeX, PHP, HTML) and systems (Unix/Linux, Zope/Plone).