Find Academic Supervisors

Björn KieferView profile

Professor

• Continuum mechanics
• Constitutive modeling
• Active and multifunctional materials
• +10 more

Professor Björn Kiefer, Ph.D. serves as Professor of Engineering Mechanics – Solid Mechanics at the Institute of Mechanics and Fluid Dynamics, Freiberg University of Mining and Technology, Germany. His academic career spans prestigious institutions including TU Dortmund University and the University of Stuttgart in Germany, and Texas A&M University in the USA. His educational background includes: PhD in Aerospace Engineering from Texas A&M University (2006), with doctoral thesis "A Phenomenological Constitutive Model for Magnetic Shape Memory Alloys" under Dr. Dimitris C. Lagoudas Diploma in Mechanical Engineering/Applied Mechanics from Ruhr University Bochum (2001), with diploma thesis "Revisit and Characterization of a Thermomechanically Coupled Constitutive for the Description of Polycrystalline Shape Memory Alloys" under Prof. Dr.-Ing. Otto T. Bruhns Professor Kiefer's research expertise centers on continuum mechanics with geometric and physical nonlinearities, constitutive modeling of active materials, and electromagnetic-mechanical coupling phenomena. His work integrates computational mechanics, micromechanics, and multiscale modeling approaches to address complex problems in phase transformations, plasticity, damage mechanics, and fracture analysis. His research has significant applications in developing advanced multifunctional materials for engineering systems. His scientific recognition includes: Elected Fellow of ASME (2021) Multiple invited professorships in France Prestigious early-career recognition programs Graduate student awards including best paper presentation Professor Kiefer actively contributes to the academic community as Treasurer (and former Secretary 2020-2021) of the ASME Aerospace Division's Adaptive Structures and Material Systems Branch since 2011. He serves on technical committees for active materials and adaptive systems, and reviews for numerous top-tier mechanics journals. He has organized multiple international conferences including symposia at ASME events and GAMM meetings, demonstrating leadership in his field. His teaching portfolio includes Continuum Mechanics, Higher Strength Theory, Plasticity, and core Technical Mechanics courses covering statics and strength of materials.

Mathis RichterView profile

Researcher

• Higher cognition
• Concept representation
• Dynamic Field Theory
• +9 more

Dr. Mathis Richter is a Postdoctoral Researcher at the Institute of Neuroinformatics (INI), part of the Faculty of Computer Science at Ruhr University Bochum, Germany. He has been affiliated with the INI since 2008, progressing from Research Assistant to Research Associate, and currently serves as a Postdoctoral Researcher since July 2018. At the INI, he contributes to both the Embodied Cognition group and the Autonomous Robotics group, led by Prof. Dr. Gregor Schöner. Dr. Richter earned his Dr.-Ing. (Ph.D. equivalent) in Engineering from Ruhr-Universität Bochum between 2011 and 2018, following an M.Sc. and B.Sc. in Applied Computer Science from the same institution. His academic journey includes an exchange year at the University of Birmingham, UK. His research centers on higher cognition, specifically concept representation, how concepts combine to form complex mental scenes, and the neural mechanisms organizing cognitive operations in time. Using Dynamic Field Theory as his primary framework, he develops mathematical models explaining how neural populations represent objects and concepts. His work demonstrates how these cognitive models connect to sensory-motor systems, often implemented on robotic platforms to validate their autonomy and functionality. Analysis of Dr. Richter's publications reveals a consistent focus on neural dynamic modeling of cognitive processes, with particular emphasis on spatial relations, language grounding, and embodied cognition. His research trajectory shows increasing sophistication in modeling complex cognitive phenomena while maintaining strong connections to robotic implementations. As an educator, Dr. Richter has taught Lab courses in Autonomous Robotics across multiple terms since Winter 2015/2016 and has delivered Lectures in Computational Neuroscience: Neural Dynamics since Winter 2018/2019. His teaching directly reflects his research expertise in neural dynamics and cognitive systems. Dr. Richter actively participates in interdisciplinary research that bridges cognitive science, neuroscience, computer science, and robotics, contributing to the INI's mission of understanding how organisms generate behavior and cognition through interaction with their environments.

• Taxonomy
• Molecular Biology
• Phylogenetics
• +4 more

Dr. Michael Raupach is the Head of Section Hemiptera at the Zoological State Collection Munich (ZSM) within the Bavarian State Natural Science Collections (SNSB) . His research integrates molecular techniques with traditional taxonomy to address systematics, biodiversity assessment, and phylogenetic relationships in Hemiptera and other arthropod groups. Key affiliations: ZSM, SNSB, German Research Foundation (DFG) projects Primary roles: Section Head, Researcher, Scientific Editor Dr. Raupach specializes in DNA barcoding and phylogenetic analysis of marine and terrestrial invertebrates, particularly Carabidae beetles , Isopoda crustaceans , and Hemiptera bugs . His work reveals cryptic species , glacial refugia , and deep-sea colonization patterns . His publications demonstrate expertise in mitogenome phylogeny , species delineation , and bioinformatic approaches to biodiversity. Collaborations span Antarctic marine ecology , German freshwater arthropods , and global crustacean systematics . Scientific Awards Recipient of the Order of Merit of the Federal Republic of Germany Leadership in national DNA barcoding initiatives Dr. Raupach actively contributes to peer-reviewed journals , scientific conferences , and public biodiversity education . His work bridges morphological taxonomy with next-generation sequencing to resolve long-standing classification challenges.

Renate Delucchi DanhierView profile

Researcher

• Psycholinguistics
• Comparative Linguistics
• Multilingualism
• +12 more

Renate Delucchi Danhier is a researcher at the Faculty of Cultural Studies, Technical University of Dortmund, where she has held positions as Temporary Academic Councilor (2018–2026) and Research Assistant (2015–2018). She holds a Ph.D. in Comparative Linguistics from Heidelberg University and an M.A. in German as a Foreign Language, Classical Archaeology, and Egyptology. Doctorate: Comparative Linguistics, Heidelberg University (2015) Master of Arts: German as a Foreign Language Philology, Classical Archaeology, Egyptology, Heidelberg University (2008) Her research focuses on psycholinguistics, multilingualism, bilingual education, language and cognition, and the role of language in inclusion. She investigates how linguistic structures affect perception, particularly in spatial and educational contexts. Her work often integrates eye-tracking methodologies and interdisciplinary collaboration, especially with Barbara Mertins. The 15 most recent publications reveal a strong trend in psycholinguistics, with emphasis on comparative analysis of German and Spanish, syntactic features in educational texts, and multilingual cognition. Her recent work extends into data visualization and diversity in cognition, showing a growing interest in humanistic data representation. She has contributed to significant interdisciplinary projects such as 'Psycholinguistic Foundations of Inclusion' and co-edited special issues on diversity in cognition. Renate Delucchi Danhier has not received any explicitly mentioned scientific awards. She has not listed any advisees or students. There is no information about labs or research teams she leads, but her collaborative publications suggest active participation in research groups focused on language, cognition, and education.

Frank BergmannView profile

Researcher

• Computational Systems Biology
• Biochemical Network Modeling
• Simulation Software Development
• +3 more

Dr. Frank Bergmann is a Researcher at BioQuant (Center for Quantitative Analysis of Molecular and Cellular Biosystems) within the Faculty of Biosciences at Heidelberg University. His work focuses on computational systems biology with particular emphasis on developing simulation tools and standards for biochemical network modeling. He maintains an active research profile with numerous publications spanning from 2011 to 2018 and teaches programming courses including Python and C++. His research interests center around computational systems biology, with specific expertise in biochemical network modeling, simulation software development, and systems biology standards. Dr. Bergmann has made significant contributions to the development of COPASI (Complex Pathway Simulator) and SBML (Systems Biology Markup Language), which are widely used tools and standards in the field. His work enables researchers to create, simulate, and share computational models of biological processes. Analysis of his publication record reveals a consistent focus on developing standards and infrastructure for reproducible computational biology. His work spans model representation (SBML), simulation experiment description (SED-ML), data exchange formats (SBtab), and model archiving (COMBINE). These contributions have helped establish frameworks that enable collaborative, reproducible research in systems biology across international boundaries. Dr. Bergmann actively collaborates with researchers worldwide, as evidenced by his extensive co-authorship network across multiple publications. His work bridges computer science, mathematics, and biological sciences, contributing to Heidelberg University's strong presence in molecular life sciences research.

• Decision Making
• Cognitive Psychology
• Judgment and Decision Making
• +5 more

Christin Schulze serves as Senior Research Scientist at the Max Planck Institute for Human Development and Adjunct Associate Professor at The Arctic University of Norway since 2019. Her work bridges cognitive psychology and decision science, focusing on how humans develop and execute choices under uncertainty across individual and social contexts. Education Ph.D. Psychology, University of New South Wales (2015) M.Sc. Psychology (Dipl. Psych.), Friedrich-Schiller University Jena (2011) Research Focus : Schulze leads the “Development of Decision Making” research area within the Adaptive Rationality group. Her investigations span experience-based decisions under uncertainty , childhood development of decision strategies , cognitive modeling of judgment , and social/group decision dynamics . She employs experimental paradigms and computational models to dissect how environmental structure, cognitive constraints, and social interactions shape choices from infancy through adulthood. Publication Trends : Her 2015-2021 corpus reveals consistent exploration of probability matching phenomena, social sampling mechanisms, and description-experience gaps. Key contributions demonstrate how group contexts eliminate individual decision biases (Schulze & Newell, 2016) and how bounded rationality governs social information acquisition (Schulze et al., 2021), bridging cognitive, developmental, and social psychology. Scientific Awards Advising & Grants : While specific students and funding sources aren’t detailed in available materials, her leadership of a Max Planck research area implies significant mentorship responsibilities and grant management for decision-science projects. Research Infrastructure : Schulze heads the “Development of Decision Making” unit within the Adaptive Rationality department at Max Planck, directing a team investigating cognitive architectures of choice through behavioral experiments and mathematical modeling.

• Database Systems
• Integration of heterogeneous databases
• Data quality and data integrity
• +6 more

Thomas Kudraß serves as Professor for Database Systems at the Faculty of Computer Science, Mathematics and Natural Sciences (IMN) at Leipzig University of Applied Sciences (HTWK Leipzig). With over 25 years of academic and industry experience, he teaches courses including Database Basics, Database Application Programming, Data Warehousing, and Big Data Technologies. His leadership roles include Internship Coordinator for Computer Science since 2001, Member of the Academic Senate since 2011, and Contact person for the IMN faculty alumni association since 2005. Dr. Kudraß earned his Dipl.-Ing. in Computer Science from Technical University of Dresden (1985-1990) and completed his doctorate at Darmstadt University of Technology (1992-1997), where his dissertation received the prestigious Jos Schepens Memorial Award. Prior to academia, he worked as an Information Systems Architect at UBS AG Zurich and Database Specialist at Swiss Bank Corporation Basel. His research spans database technologies with focus on heterogeneous database integration, data quality, data privacy, and modern database concepts. Recent work explores cloud-native billing applications for 5G, NoSQL databases, and privacy-preserving record linkage techniques. His publication record shows continuous evolution from traditional database systems to contemporary challenges in big data and distributed systems. Jos Schepens Memorial Award for doctoral dissertation (1997) Active participation in German Informatics Society (GI) specialist groups Organizer of multiple database-related workshops and conferences Professor Kudraß has significantly contributed to academic governance as E-Learning Officer (2000-02), Faculty Council member (2009-12), and liaison lecturer for the German Society for Computer Science (2001-14). He has coordinated numerous student projects and served on program committees for major conferences including INFORMATIK 2017 and BTW series.

Chao PengView profile

Researcher

• Software Testing
• Program Repair
• LLM for Code Generation
• +3 more

Chao Peng is a Principal Research Scientist at ByteDance where he leads the Software Engineering Lab, focusing on AI agents for software engineering. He holds a part-time position as a Postgraduate Student Mentor at Fudan University's School of Computer Science. His research bridges industry and academia, with significant contributions to software testing, program repair, and LLM applications in software development. Education: PhD in Informatics, 2021, University of Edinburgh, UK MSc in High Performance Computing and Data Science, 2017, University of Edinburgh, UK BEng in Computer Science and Technology, 2016, Xuzhou University of Technology, China Dr. Peng's research interests center on the intersection of artificial intelligence and software engineering. He explores how large language models can transform traditional software development practices, particularly in code generation, testing, and bug fixing. His work on LLM4Code has led to innovative frameworks like CodeVisionary for evaluating code generation capabilities and Trae Agent for software engineering tasks with test-time scaling. He investigates the synergy between machine learning techniques and compiler optimizations to enhance software reliability and developer productivity. His recent publications reveal a strong focus on practical evaluation frameworks for LLMs in real-world software engineering contexts. Rather than theoretical benchmarks, his work emphasizes real-world applicability, as seen in RepoMasterEval which evaluates code completion in actual repository settings. He examines multi-faceted challenges including code generation, bug reproduction, issue resolution, and repository-level question answering, consistently addressing the gap between laboratory evaluations and practical development environments. Scientific Awards: Distinguished Reviewer for FSE'25 Invited to program committees for FSE'26, SANER 2026, ASE 2025, and others School of Informatics Scholarship (fully-funded PhD) Multiple national scholarships during undergraduate studies Honours Spot Bonus at ByteDance Dr. Peng actively mentors postgraduate students at Fudan University while leading research initiatives at ByteDance that foster university collaborations. His laboratory work translates academic research into practical tools for software development, with several frameworks deployed in industrial settings. He serves on multiple conference program committees, contributing to the advancement of software engineering research through rigorous peer review and community building. His Software Engineering Lab at ByteDance operates at the forefront of AI-assisted development, exploring how agent-based systems can automate complex software engineering tasks. The team's work on frameworks like AEGIS for bug reproduction and DialogAgent for code question answering demonstrates their commitment to solving practical challenges faced by developers in real-world settings.

Shibashis GuhaView profile

Associate Professor

• Formal Methods
• Logic in Computer Science
• Automata Theory
• +12 more

Shibashis Guha is an Associate Professor (Reader) at the School of Technology and Computer Science, Tata Institute of Fundamental Research (TIFR), where he conducts research and teaches in formal methods, logic, automata theory, and verification. His work focuses on reactive controller synthesis, probabilistic systems, timed automata, and the integration of machine learning with formal verification. Institution: Tata Institute of Fundamental Research School: School of Technology and Computer Science Department: Department of Computer Science Academic Rank: Associate Professor His research interests span formal methods, logic in computer science, automata theory, probabilistic systems, algorithmic game theory, and reinforcement learning. He investigates the synthesis of reactive controllers, behavioral equivalences, and the application of learning in verification. His work often intersects with infinite games and descriptive complexity. The recent publications highlight a strong trend in stochastic games, mean-payoff objectives, window properties, probabilistic model checking, and the synthesis of controllers under logical specifications. There is a clear emphasis on bridging formal methods with learning, especially in continuous-time and probabilistic settings. Scientific Awards: Best paper award at MFCS 2021 Guha advises several students and collaborates widely across institutions. His research is funded by the DST-SERB project on zero-sum and nonzero-sum games for controller synthesis. He has served on program committees for major conferences including CAV, ATVA, CONCUR, LICS, and VMCAI, and has organized workshops such as iVerif. He teaches advanced graduate courses like Automata and Computability, Descriptive Complexity, and Automata, Verification, and Infinite Games. He is actively involved in the research community, delivering invited talks at institutions like IST Austria, ENS Paris-Saclay, and Indian Statistical Institute. He also leads seminar series and participates in panels on AI and verification.

• Classical Archaeology
• Ancient Sanctuaries
• Greek Votive Practices
• +4 more

Professor Helga Bumke serves as Professor of Classical Archaeology at Martin Luther University Halle-Wittenberg since Winter Semester 2011. She is affiliated with the Faculty of Philosophy I, specifically the Seminar for Classical Archaeology within the Institute for Art History, Archaeology and Classical Studies. Her academic career spans significant positions including a professorship at Ruhr University Bochum (2010-2011) and research positions at the University of Bonn (2000-2010). Her educational background includes studies in Classical Archaeology, Art History and Ancient History at the Free University of Berlin and Heidelberg University (1986-1993), where she earned her Master of Arts in Classical Archaeology. She completed her doctorate at the Free University of Berlin in 1997 with a dissertation on 'Statuary Groups in Early Greek Art' and achieved her habilitation in 2007 with a thesis on 'Artemis Sanctuaries in Western Asia Minor.' Professor Bumke's research focuses on the topography and history of Didyma and Miletus, ancient sanctuaries and votive practices, and Greek sculpture and iconography. Her work explores the religious character of Greek deities in the Ionian 'colonization area,' cultural transfer in antiquity, and the intricate relationships between urban centers and their surrounding sacred landscapes. She has made significant contributions to understanding ritual practices, votive offerings, and sanctuary organization in ancient Greece. Her recent publications (2012-2022) demonstrate a consistent focus on Didyma as a central research site, with increasing attention to specific aspects of sanctuary organization, votive practices, and the relationships between different cults within the same sanctuary complex. Her work shows a methodological evolution from traditional archaeological description toward more anthropological approaches examining ritual behavior and cultural interaction. Research Fellowship from the German Archaeological Institute (1997-2000) Research grant from the German Research Foundation in Athens (2006) Corresponding Member of the German Archaeological Institute (since 2009) Member of the Saxon Academy of Sciences in Leipzig (since 2017) Professor Bumke has supervised numerous graduate students through her membership in the Graduate School ANARCHIE (2012-2021) and has secured substantial research funding, including the North Rhine-Westphalian Academy project 'Cults in Cults' (2009-2021) and the current DFG-funded project 'New Edition of the Construction Reports of Didyma.' Her research has been supported by prestigious institutions including the German Archaeological Institute and the German Research Foundation. She leads the Didyma excavation project of the German Archaeological Institute (2012-2023) and co-leads the international research team working on the 'New Edition of the Construction Reports of Didyma' with the Austrian Academy of Sciences. Her work involves collaboration with multiple international research clusters, including Research Cluster 4 'Sanctuaries. Form and Ritual, Continuity and Change' organized by the German Archaeological Institute.

Katja KuehlmeyerView profile

Academic

• Medical Ethics
• Clinical Ethics
• Research Ethics
• +3 more

Katja Kuehlmeyer is a Senior Researcher at the Institute of Ethics, History and Theory of Medicine of Ludwig-Maximilians-University Munich . She specializes in translational bioethics , focusing on health care ethics, clinical ethics, and research ethics with an emphasis on moral challenges and ethical decision-making in complex situations . She co-founded the network Qualitative Research in Medicine and Public Health to support early-career researchers and contributes to teaching qualitative research methods at medical faculties. Institution: Institute of Ethics, History and Theory of Medicine, LMU Munich Role: Vice-Director, Senior Researcher Contact: katja.kuehlmeyer@med.uni-muenchen.de Her research spans qualitative studies on end-of-life decision-making, disorders of consciousness, and ethical implications of neurodiagnostics. Recent work addresses cross-cultural ethical challenges, pandemic triage protocols, and caregiver experiences during collective hunger strikes. Publications demonstrate a commitment to bridging empirical research with normative ethics. Notable collaborations include projects on migrant healthcare , post-traumatic stress disorder , and functional neurodiagnostics . She has contributed to systematic reviews on late recovery from vegetative states and stakeholder engagement in health research.

• German Medieval Studies
• Middle High German Literature
• Political Influence and Power in Medieval Texts
• +3 more

Elke Brüggen is a Professor for Older German Studies at the University of Bonn, specializing in German medieval literature, culture, and transcultural narratology. Her research explores political influence, counseling dynamics, and gender roles in premodern societies. Education: Habilitation (1995), Ph.D. (1986), M.A. (1975–1982) from the University of Cologne. Her work focuses on asymmetrical dependencies , narratives of female rulers and advisers , and transcultural configurations . Recent publications examine representations of captivity, cultural exchange, and stylistic didacticism in Middle High German epics like Parzival and Willehalm . Key subfields include courtly interaction, manuscript studies, and gendered power dynamics. Brüggen has supervised 8 completed and 5 ongoing Ph.D. theses as reviewer, alongside mentoring numerous Magister, M.A., and B.A. students. She serves as Deputy Spokesperson for the DFG Collaborative Research Center 1167 on premodern power structures and co-founded the Bonn Center for Transcultural Narratology.

• Automata Theory
• Concurrency Theory
• Formal Verification
• +1 more

Slawek Lasota is a Professor at the Automata Theory Group within the Faculty of Mathematics, Informatics and Mechanics, University of Warsaw. His research focuses on automata theory, concurrency theory, formal verification, and systems biology, with a strong emphasis on computational complexity and algorithmic analysis of systems with infinite-state spaces. Research Interests : Automata theory (infinite alphabets, nominal sets), concurrency theory (timed automata, vector addition systems), formal verification (reachability problems, model checking), systems biology (computational models of biological systems). Grants : Coordinator of NCN grants on data-enriched models and automatic analysis of concurrent systems; participant in ERC projects Lipa and FOX . Community Service : Managing editor of Fundamenta Informaticae (2018-), member of EATCS Council (2019-), and Rada Doskonalosci Naukowej (2019-). His work has received recognition including the STOC'19 Best Paper Award and EATCS BEST ETAPS PAPER AWARD . He supervises PhD students in topics ranging from Petri nets to timed automata and has contributed extensively to advancing verification techniques for systems with data, timed models, and concurrency.

Cameron FreerView profile

Research Professor

• Probabilistic computing
• Foundations of probabilistic programming
• Random structures
• +5 more

Cameron Freer is a Research Scientist in the MIT Probabilistic Computing Project , with prior roles including Instructor in Pure Mathematics at MIT, Postdoctoral Fellow at CSAIL, and Project Associate Professor at Keio University. His work bridges probabilistic computing, logic, and theoretical computer science. Education PhD in Mathematics, Harvard University, 2008 (Thesis: Models with High Scott Rank ) Research Interests Freer's research explores the deep interplay between randomness and computation , focusing on: Foundations of probabilistic programming languages and systems Efficient samplers for discrete and continuous distributions Mathematics of random structures like graphons and exchangeable processes Computability in measure theory and probabilistic inference Publications Overview His recent work (2020–2024) advances probabilistic programming systems (e.g., GenSQL), theoretical frameworks for random graphs via Markov categories, and computable approaches to PAC learning. Earlier contributions include exact sampling algorithms, computable exchangeability, and algorithmic barriers in conditional probability. Academic Service Steering Committee Member, LAFI (formerly PPS) workshop series (2017–2025) Program Committee Chair/Co-chair, PPS 2017–2018 Session Chair, POPL 2017 (PPS track) Industry & Visiting Roles Chief Scientist, Remine (2017–2018) Research Scientist, Gamalon Labs (2013–2016) Lyric Labs Visiting Fellow, Analog Devices (2013–2014) Project Associate Professor, Keio University (2021–2024) Labs & Collaborations Freer collaborates extensively with the MIT Probabilistic Computing Project, Harvard Logic Group, and international partners in Oxford, CMU, and Keio University. His work integrates theoretical insights with practical systems in AI and probabilistic inference.

Heribert VollmerView profile

Professor

• Theoretical Computer Science
• Computational Complexity
• Logic in Computer Science
• +6 more

Heribert Vollmer is a Professor of Theoretical Computer Science and Managing Director of the Institute for Theoretical Computer Science at Leibniz University Hannover, where he has been employed since 2002. He is also a member of the Academic Freedom Network and serves as a liaison lecturer for the network at Leibniz University. His extensive academic career includes serving as Dean of Studies for Computer Science from 2015-2023 and as spokesperson for the 'Foundations of Computer Science' department of the German Informatics Society. Professor Vollmer earned his doctorate in 1994 on 'Complexity Classes of Functions' from the University of Würzburg, following studies in computer science with a focus on computational linguistics at the Rhineland-Palatinate University of Education in Koblenz (1984-1989). He completed his habilitation in 2000 with a monograph on 'Some Aspects of the Computational Power of Boolean Circuits of Small Depth' and received a teaching qualification in computer science. His research spans theoretical computer science, computational complexity, and logic, with particular focus on Boolean circuits, complexity classes, and descriptive complexity. He has also made significant contributions to the philosophy of mind and intelligence, exploring the relationship between artificial intelligence and consciousness through the lens of Pierre Teilhard de Chardin's philosophical work. His interdisciplinary approach bridges technical computer science with broader philosophical questions about intelligence in humans and machines. Professor Vollmer's notable recognition includes the Feodor Lynen Fellowship from the Alexander von Humboldt Foundation, which supported his research at the University of California at Santa Barbara. He has published over 140 papers in scientific journals and conference proceedings, authored a textbook on circuit complexity, and edited multiple books in his field. As an academic leader, Professor Vollmer has served as editor of the journal 'ACM Transactions on Computational Logic' and as a member of the editorial board of the 'Yearbook of Academic Freedom.' His research has been supported through various academic positions and fellowships, including his visiting professorship at UC Santa Barbara funded by the Humboldt Foundation. He leads the Institute for Theoretical Computer Science at Leibniz University Hannover and is actively involved in the global computer science community as the German representative to Technical Committee 1 'Foundations of Computer Science' of the International Federation for Information Processing (IFIP).