Find Academic Supervisors

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

• Program Synthesis
• Program Verification
• Type Systems
• +5 more

Professor Knut Reinert is a leading figure in algorithmic bioinformatics at the Free University of Berlin, where he holds a professorship in the Department of Mathematics and Computer Science. He also maintains a significant affiliation with the Max Planck Institute for Molecular Genetics in Berlin, where he leads the Efficient Algorithms for Omics Data group. His research spans both institutions through the Reinert Lab, which focuses on developing novel computational approaches for biological data analysis. Reinert's educational background includes a Diploma in Computer Science (1994) and a Doctorate (Dr. Ing./Ph.D., 1999, with honors) from the Max-Planck-Institut for Computer Science and Universität des Saarlandes in Saarbrücken. Prior to his professorship, he worked as a computer scientist under Prof. Gene Myers at Celera Genomics in Rockville, USA (1999-2002). His primary research interests center on algorithmic bioinformatics with specific focus on developing novel algorithms and data structures for biomedical mass data analysis. This includes creating mathematical models for genomic sequence analysis and algorithms for mass spectrometry data to detect differential protein expression between normal and diseased samples. His work bridges the gap between computational tool development and practical biological applications, with particular emphasis on NGS and proteomics data. The publications and projects led by Prof. Reinert demonstrate a consistent focus on advancing computational methods in bioinformatics. His research spans genomic sequence analysis, RNA research (particularly long non-coding RNAs), parallel computing applications, and GPU acceleration for biological data processing. The work shows increasing sophistication in handling large-scale biological datasets through innovative algorithmic approaches. Intel® Parallel Computing Center designation for his lab CUDA Research Center status DFG funding of 530 thousand Euros for RNA research de.NBI funding of 2 million Euros BMBF funded projects 'LIVE-DREAM' and 'EssBar' Prof. Reinert leads multiple significant research projects and has established strong collaborations with international partners including Texas A&M, Kings College London, Eberhardt-Karls Universität Tübingen, Robert-Koch-Institute, and various Turkish institutions. His lab receives funding from major organizations including DFG, BMBF, and Intel. The Reinert Lab maintains active teaching responsibilities at FU Berlin, offering courses at BSc, MSc, and PhD levels using both traditional and innovative learning concepts like e-learning and inverted classrooms. The Reinert Lab consists of two interconnected research groups that work closely with experimental biologists and medical researchers to develop practical computational solutions for real-world biological problems. The lab has established itself as a key player in the German and international bioinformatics community through its development of the widely-used SeqAn library and participation in national infrastructure initiatives.

• Algorithmic Bioinformatics
• Genomic Sequence Analysis
• Proteomics
• +7 more

Andreas Rietbrock is Professor and Director of the Geophysical Institute (GPI) at the Karlsruhe Institute of Technology (KIT) , Germany, where he also serves as Dean of Studies for Geophysics . He is a leading expert in earthquake seismology, seismic tomography, and subduction zone dynamics, with a strong focus on integrating advanced observational techniques and computational methods. Education: While specific degrees are not listed in the provided text, his extensive publication record and leadership roles indicate advanced academic training in geophysics and seismology. Research Interests: His work spans a wide range of topics including: Seismic imaging of subduction zones (e.g., Nazca, Lesser Antilles) Earthquake rupture dynamics and fault mechanics Volcanic seismology and magma transport Full waveform inversion and AI-enhanced seismic analysis Distributed Acoustic Sensing (DAS) applications Induced seismicity and reservoir monitoring Research Trends: His recent publications (2022–2025) emphasize the use of dense seismic arrays, AI-based data processing, and multi-method tomography to study complex tectonic environments. Key themes include high-resolution imaging of slab structures, fluid migration in subduction zones, and the integration of DAS and machine learning for seismic monitoring. Scientific Contributions: Andreas has led major international projects such as the ANTICS Large-N deployment in Albania and the VoiLA project in the Lesser Antilles. He has published extensively in top-tier journals like Nature , Geophysical Research Letters , and Journal of Geophysical Research , with over 200 peer-reviewed articles. Teaching and Supervision: He teaches courses such as "Introduction to Geophysics II", "Seismology", and "Current Topics in Seismology and Risk". While specific student names are not listed, his role as Dean and principal investigator on numerous projects indicates active supervision of graduate students and postdocs. Labs and Teams: He leads the seismology group at GPI, coordinating large-scale deployments of seismic instruments, including ocean-bottom seismometers and fiber-optic DAS systems. His team collaborates globally with institutions in Europe, South America, and Asia.

• Earthquake Seismology
• Seismic Tomography
• Subduction Zone Processes
• +4 more

Christopher Morris is a tenure-track Assistant Professor at RWTH Aachen University and a DFG Emmy Noether fellow. He leads the Learning on Graphs (LoG) research group, focusing on machine learning methods for structured data, particularly graph neural networks. His work bridges machine learning, computer science theory, and discrete mathematics, addressing challenges in generalization, expressivity, and algorithmic efficiency. Education: PhD in Computer Science from TU Dortmund University (advised by Petra Mutzel and Kristian Kersting), postdoctoral research at Mila - Quebec AI Institute (Siamak Ravanbakhsh) and McGill University, and Polytechnique Montréal (Andrea Lodi). Research interests emphasize graph machine learning, including generalization theory, combinatorial optimization, and scalable graph embeddings. Notable contributions include analyzing Weisfeiler-Leman algorithms' impact on GNNs' expressivity and generalization (VC dimension connections). Awards: DFG Emmy Noether Fellowship. Supervises six PhD students in Aachen. Active in teaching, offering courses on graph-based machine learning foundations and applications since 2022. Labs/Teams: LoG group at RWTH Aachen, collaborating with institutions like Mila and Polytechnique Montréal. Erdős number 3 through Petra Mutzel’s collaboration network.

• Machine Learning
• Graph Neural Networks
• Computer Science Theory
• +3 more

Prof. Dr. Steffen Marburg is a Full Professor at the Chair of Acoustics of Mobile Systems within the TUM School of Engineering and Design at the Technical University of Munich. His research focuses on numerical methods in vibroacoustics, structural optimization, and acoustic modeling for applications in automotive, maritime, and musical instrument domains. Education: PhD from Technical University of Dresden (1998). Academic Career: Junior Professor at TU Dresden (2004), Chair of Technical Dynamics at University of the Federal Armed Forces Munich (2010), Full Professor at TUM (2015–present). Editorial Roles: Co-Editor-in-Chief of Journal of Theoretical and Computational Acoustics, Associate Editor of Journal of the Acoustical Society of America, Editor of Acoustics Australia and Mechanical Systems and Signal Processing. His research integrates computational acoustics, boundary element methods, and machine learning to address noise control and structural optimization challenges. Recent work explores acoustic metamaterials, viscothermal losses, and data-driven modeling. He has co-authored over 150 publications and led advancements in multifrequency solution methods and noise-insulating structures. Scientific awards include the Innovation Award of the Industrieclub Sachsen e.V. (1999). His editorial contributions and leadership in journals highlight his influence in computational acoustics and structural dynamics.

• Numerical Methods in Vibroacoustics
• Aeroacoustics
• Structural Optimization
• +6 more

Prof. Dr. André Bardow is a Full Professor in Energy and Process Systems Engineering at ETH Zurich , leading research at the intersection of thermodynamics, machine learning, and sustainable energy systems. Previously, he held professorships at RWTH Aachen University (2010-2020) and TU Delft (2007-2010). He also served as part-time director at Forschungszentrum Jülich (2017-2022) and visiting professor at UC Santa Barbara (2015/16). His work focuses on energy systems optimization , computer-aided molecular design , and CO2 capture & utilization . PhD from RWTH Aachen University Current ETH Zurich affiliation Former roles at RWTH Aachen, TU Delft, Jülich Research Center His research integrates machine learning with thermodynamic modeling to optimize processes like crystallization and electrochemical cooling . Recent publications demonstrate advancements in solvent design, CO2 transport LCA, and ORC working fluid optimization. He chairs the VDI Technical Committee for Thermodynamics (2016-2024) and has received multiple awards including the Covestro Science Award and Arnold-Eucken-Award . Current projects address carbon circular economies , electrified chemical production , and AI-driven process optimization . His lab at ETH Zurich develops cutting-edge technologies like ML-CAMPD frameworks for sustainable separation processes and photoacid-based CO2 capture systems. Funding from the H2020 Systemic Expansion of Circular Ecosystems (grant 101036854) supports these initiatives. 2024 Clarivate Highly Cited Researcher 2022 Inaugural Lecture: "To sustainability and beyond: A computer-animated story on energy & chemicals" Recipient of multiple teaching and research excellence awards

• Energy Systems Optimization
• Conceptual Process Design
• Life Cycle Assessment
• +8 more

Zeynep Akata is the Liesel Beckmann Distinguished Professor of Computer Science at the Technical University of Munich (TUM) and Director of the Institute for Explainable Machine Learning at Helmholtz Munich. Previously she was a W3 Professor at the University of Tübingen (2019-2023) and held faculty and post-doctoral positions at the University of Amsterdam, UC Berkeley and the Max Planck Institute for Informatics. Her research focuses on multimodal learning and explainable artificial intelligence . Education: PhD, University of Grenoble / INRIA Rhône-Alpes, 2014 MSc, RWTH Aachen University, 2010 BSc, Trakya University, Turkey, 2008 Research Interests: Professor Akata’s group develops algorithms that learn from vision, language and other modalities simultaneously, with a strong emphasis on zero-shot, few-shot and continual learning . A central theme is making decisions interpretable, leading to work on explainable AI, concept bottleneck models, multimodal reasoning and human-aligned representation learning . Recent projects investigate large-scale multimodal language models, dataset distillation, model merging and continual knowledge editing. Publication Trends: Her 2024-2025 publications reveal a shift toward foundational large-scale models (diffusion, LLMs, vision-language transformers) while retaining the core themes of interpretability and generalization under limited supervision . Topics span dataset distillation, model merging, continual learning, fairness auditing of generative models and novel evaluation protocols for zero-shot learning systems. Scientific Awards: Lise-Meitner Award for Excellent Women in Computer Science (2014) Young Scientist Honour, Werner-von-Siemens-Ring Foundation (2019) ERC Starting Grant, European Commission (2019) DAGM German Pattern Recognition Award (2021) ECVA Young Researcher Award (2022) Alfried Krupp Award (2023) Advising & Funding: Prof. Akata currently supervises or co-supervises 25+ PhD students across TUM and the University of Tübingen via ELLIS and IMPRS-IS doctoral programs. She holds major grants including an ERC Starting Grant and DARPA Explainable AI funding, and is a frequent program chair and area chair for premier conferences (CVPR 2024, ECCV 2026, NeurIPS, ICML, etc.). Labs & Teams: She leads the Institute for Explainable Machine Learning at Helmholtz Munich and heads the Multimodal Learning and Explainable AI group at TUM. The institute collaborates closely with the ELLIS Institute Tübingen and Cyber Valley ecosystem, and maintains close ties with the Max Planck Institute for Intelligent Systems and Informatics.

• Multimodal Learning
• Explainable Artificial Intelligence
• Zero-Shot Learning
• +2 more

Prof. Dr. Christian Homburg holds the Chair of Business-to-Business Marketing, Sales & Pricing at the University of Mannheim's Faculty of Business Administration. Since 2007, he has been a Professorial Fellow at the University of Melbourne. His research spans marketing strategy, sales management, pricing, and customer relationship management, with a focus on business-to-business contexts. He collaborates with global firms such as Accenture, BOSCH, SAP, and BASF. Research Interests: Prof. Homburg explores topics like sales force automation, key account management, IoT in marketing, and augmented reality in sales. His work bridges academic theory and practical implementation, emphasizing organizational systems driving customer and competitor responsiveness. Scientific Awards: Hermann Billing Prize (1989) Multiple Best Paper Awards from the American Marketing Association (1997-2010) Louis W. Stern Award (2009) Best Paper Awards from Journal of the Academy of Marketing Science and Journal of Business to Business Marketing Publications: Author of 7+ editions of Marketing Management , co-editor of the Handbook of Customer Loyalty Management , and contributor to leading journals like Journal of Marketing and Strategic Management Journal .

• Marketing Management
• Sales Management
• Pricing Strategy
• +7 more

Madelon Hulsebos is a Researcher at CWI in Amsterdam, where she leads the Table Representation Learning (TRL) Lab and contributes to the Database Architectures group. She is also a faculty member of the European Laboratory for Learning and Intelligent Systems (ELLIS) Amsterdam unit. Her career bridges academia and industry, including a postdoctoral fellowship at UC Berkeley and prior industry experience in automating data analysis pipelines with ML. Education : PhD in Computer Science (University of Amsterdam, 2023), with research at Sigma Computing and MIT; Postdoctoral Fellow (UC Berkeley, 2024). Her research focuses on establishing tabular data as a key AI modality through Table Representation Learning , generative models for relational data, and robust systems for data analysis. Key interests include: Relational Table Embeddings LLMs for QA/text2SQL and data wrangling Retrieval over Data Lakes and Databases Agentic Systems for Data Science Democratizing insights from structured data Recent work highlights trends in benchmarking table retrieval (TARGET), semantic column detection (AdaTyper, Sherlock), and large-scale tabular data curation (GitTables, SchemaPile). These projects address challenges in metadata utilization, data lake search, and end-to-end systems for structured data. She has secured significant funding, including the NWO AiNed Fellowship Grant ($1M) for her 5-year DataLibra project. Madelon organizes workshops at NeurIPS , SIGMOD , and ACL , and reviews for top venues like VLDB and NeurIPS. Scientific Awards : NWO AiNed Fellowship Grant ($1M) She actively mentors students and collaborates on European AI initiatives, including monthly TRL seminars and workshops. Her lab's tools (GitTables, TARGET) are widely adopted for training foundation models on tabular data.

• Table Representation Learning
• Generative Models for Tabular Data
• Semantic Data Type Detection
• +4 more

Prof. Karen Alim is a Professor of Biological Physics and Morphogenesis at the Department of Physics, Technische Universität München (TUM), affiliated with the TUM School of Natural Sciences. She holds a PhD from the Ludwig-Maximilians-Universität München (2010) and conducted postdoctoral research at Harvard University (2010–2015) before leading a Max Planck Research Group in Göttingen. Her research focuses on non-neuronal information processing in living systems, particularly using Physarum polycephalum to study physical principles of network adaptation, fluid dynamics, and morphogenesis. Education: PhD in Physics, Ludwig-Maximilians-Universität München (2010) Studies at Universität Karlsruhe, LMU München, and University of Manchester Research Interests: Prof. Alim explores how biological systems process information without neurons, emphasizing adaptive flow networks, mechanical signaling in plants, and collective behavior in active matter. Her work combines theoretical modeling with experimental systems like slime molds and plant tissues. Awards: ERC Starting Grant (2020) Elisabeth-Schiemann-Kolleg Fellowship (2013–2018) DAAD Stipendium (2011–2014) John Birks Award (2004) Advising & Grants: While specific grant details beyond the ERC award are not listed, her research has been supported by major funding bodies. No student advisees are explicitly listed in the provided materials. Labs/Teams: Leads the Biological Physics and Morphogenesis group at TUM, focusing on interdisciplinary studies of living systems' physical principles.

• Biological Physics
• Morphogenesis
• Non-neuronal Information Processing
• +4 more

Prof. Marc Stamminger is a Professor of Visual Computing at FAU since 2002, leading the Chair of Computer Science 9 (Computer Graphics). His work focuses on algorithms for synthesizing and analyzing images through 3D modeling, LiDAR/Radar capture, and light simulation. He co-leads FAU Solar, applying 3D modeling for environmental lighting analysis under varying conditions. Stamminger has published over 250 papers, winning prestigious awards like the Siggraph Test-of-Time Award. He holds executive roles in Eurographics and is Vice Dean of FAU's Technical Faculty. Research interests span neural rendering , 3D reconstruction , radar imaging , and medical visualization . Recent work emphasizes radiance field rendering (e.g., VR-Splatting, INPC) and radar-based human motion tracking. His lab's FAU Solar project integrates large-scale 3D models with environmental lighting simulations. Publications trends highlight neural rendering optimizations , radar-MIMO systems , and agricultural digital twins . Key collaborations involve medical imaging (e.g., vocal fold reconstruction) and autonomous driving data generation. Awards: Siggraph Test-of-Time (2023?), 2× Siggraph Best-Of-Show Grants/Teams: FAU Solar Lab, Eurographics leadership, FAU Vice Dean Labs: Chair of Computer Science 9, FAU Solar Initiative

• Computer Graphics
• 3D Reconstruction
• Neural Rendering
• +7 more

Teruko Mitamura is a prominent researcher at Carnegie Mellon University with over three decades of contributions to natural language processing, computational linguistics, and artificial intelligence. Her work spans from foundational research in event representation to advanced applications in multimodal systems and question answering. Her research interests focus on event detection and understanding, question answering systems, information retrieval, and multimodal processing. She has made significant contributions to event coreference resolution, timeline construction, and cross-document event analysis, developing methodologies that have become standard in the field. Her work often bridges theoretical advances with practical applications, particularly in complex information environments requiring deep semantic understanding. Natural Language Processing : Specializing in event extraction, coreference resolution, and narrative understanding with over 179 publications Question Answering Systems : Developing advanced techniques for complex question answering, particularly through NTCIR QA Lab and PoliInfo tasks Multimodal Processing : Integrating textual, visual, and temporal information for richer understanding in systems like ProMQA Evaluation Methodologies : Creating robust frameworks for assessing NLP systems through TAC KBP Event Tracks Her recent publication trends show a strong focus on leveraging large language models for event understanding, multimodal question answering, and timeline construction. She has expanded her research into specialized domains including patent analysis and novelty examination, demonstrating the breadth of her research impact across academic and practical applications. Active participant in major NLP conferences including ACL, EMNLP, NAACL, and AAAI with consistent publications Long-standing collaborator with researchers at CMU's Language Technologies Institute including Eduard H. Hovy and Eric Nyberg Contributor to shared tasks that have shaped research directions in event processing and question answering Organizer of multiple NTCIR QA Lab tasks focused on political information question answering Dr. Mitamura has mentored numerous researchers who have gone on to make their own contributions to the field, as evidenced by her extensive co-authorship network and the progression of her former students and collaborators into faculty and research positions. Her work continues to evolve with the field while maintaining her focus on deep semantic understanding of events and narratives.

• Natural Language Processing
• Computational Linguistics
• Event Detection and Understanding
• +4 more

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.

• Embedded Machine Learning
• High-Performance Computing
• Computer Architecture
• +6 more

Prof. Dr. Mirko Hornung is a Professor of Aircraft Design at the TUM School of Engineering and Design, Technische Universität München. His research focuses on conceptual aircraft design, integration of propulsion systems, and evaluation of aviation technologies in operational contexts. Education and Career: PhD in Aeronautical Engineering from the University of the Bundeswehr (2003), awarded a research prize for work on reusable space transport systems. 2003–2009: Worked at Airbus Group (EADS) on military air systems, propulsion integration, and program management. Executive Director of Research & Technology at Bauhaus Luftfahrt, a think tank for long-term aviation developments. Research Interests: Aircraft design optimization, including hybrid energy systems, electric propulsion, and UAV technologies. Environmental sustainability in aviation, such as hydrogen-powered aircraft and lifecycle assessment. Aerodynamic and structural analysis, including flutter suppression and composite materials. Key Publications Highlight Trends: Focus on hybrid-electric and hydrogen propulsion for reducing environmental impact. Advancements in UAV design, including morphing wings and autonomous systems. Integration of AI-driven tools for propulsion optimization and lifecycle analysis. Scientific Awards: EADS Promotion Award (1995) Research Prize for Thesis on Reusable Space Transport Systems (2003) Advising & Grants: Directs research at Bauhaus Luftfahrt, collaborating on future aviation concepts. Engaged in interdisciplinary projects like FLEXOP UAV demonstrator and Ce-Liner eMobility studies. Labs/Teams: Active in the Aircraft Design Professorship at TUM and leadership roles at Bauhaus Luftfahrt, focusing on next-generation aviation technologies.

• Aircraft Design
• Aviation Technology
• Aerospace Engineering
• +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.

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