Find Academic Supervisors

• Theorem Proving
• Automated Reasoning
• Formal Methods
• +14 more

Jasmin Blanchette is a Professor of Theoretical Computer Science and Theorem Proving at the Institute for Informatics, Ludwig-Maximilians-Universität München (LMU), where he also serves as Dean of Studies for Computer Science since January 2024. He is additionally affiliated as a guest researcher with the VeriDis group at Loria in Nancy, France. His research lies at the intersection of automated and interactive theorem proving, with a focus on higher-order logic and proof automation. Key projects include the development of tools like Sledgehammer, Nitpick, and Zipperposition, and foundational work on (co)datatypes and higher-order superposition. His recent publications reflect a strong trend in formalizing and verifying automated reasoning techniques, especially in higher-order logic, with applications in proof automation, SMT solving, and logical verification. Articles frequently appear in top venues such as CADE, ITP, and the Journal of Automated Reasoning. CADE 2023 Best Paper Award for 'Verified given clause procedures' FroCoS 2023 Best Paper Award (with Visa Nummelin and Sander Dahmen) IPA Dissertation Award (awarded to his student Petar Vukmirović) Dutch 'cum laude' distinction (awarded to his student Anne Baanen) Dutch Prize for ICT Research 2022 Blanchette has advised numerous PhD and postdoctoral researchers, many of whom are now active contributors to the formal methods community. He has received significant research grants through projects like Matryoshka and Nekoka. He is also the editor-in-chief of the Journal of Automated Reasoning and plays a central role in organizing key conferences such as ITP, CADE, and CPP. He leads an active research group at LMU, consisting of postdocs and PhD students working on topics such as higher-order superposition, formalization of voting systems, categorical logic, and proof search heuristics. The team collaborates closely with international groups, including those at Inria and TU Wien.

• Programming Languages
• Software Engineering
• Formal Methods
• +3 more

L. Thomas van Binsbergen is a Professor in the Department of Computer Science & Computer Engineering at the University of Wisconsin-La Crosse, affiliated with the College of Science & Health. His work focuses on language design, formal methods, and policy-based systems. His research explores Executable formal specifications of programming languages Modular meta-language frameworks (e.g., iCoLa+, eFLINT) Data-dependent grammars for network protocols Purpose-based access control derived from GDPR Functional parsing algorithms (GLL, Happy-GLL) Policy enforcement in distributed systems Recent publications (2020-2025) demonstrate trends in language parametric design, security policy formalization, and exploratory programming environments. Notable collaborations include Damian Frölich, Tim Müller, and Tom M. van Engers. Van Binsbergen earned his PhD from Royal Holloway, University of London (2019) and contributes to conferences like GPCE, SLE, and workshops on programming language theory and data security.

• Database Systems
• Data Management
• Graph Databases
• +5 more

Alin Deutsch is a Professor of Computer Science at the University of California, San Diego (UCSD), specializing in database systems, graph databases, and formal verification. He has contributed significantly to research areas including query optimization, data integration, and privacy-preserving systems. His work spans theoretical foundations and practical implementations, such as the Linked Data Benchmark Council (LDBC) and the TigerGraph database system. He co-authored over 100 papers and has been involved in major conferences like SIGMOD and VLDB. Research interests include graph query processing, parallel computing, data-centric business processes, and automated system verification. Recent work focuses on scalable hybrid analytics and graph databases. Deutsch is also active in database education, co-authoring a paper on UCSD's database curriculum. He has led projects in privacy-aware systems, such as policy-aware location-based services, and contributed to tools like CLIDE for interactive query formulation in service-oriented architectures. His collaborations involve industry partners like TigerGraph and academic institutions globally.

• Geographic Information Systems (GIS)
• Map Generalization
• Spatial Data Mining
• +3 more

Jan-Henrik Haunert is a Professor at the University of Bonn, affiliated with the Institute of Cartography and Geoinformatics within the Faculty of Civil Engineering and Geodetic Science. His research focuses on map generalization, geographic information systems (GIS), and optimization techniques in cartography. He has contributed to projects funded by the German Research Foundation (DFG), particularly in deriving scale-dependent representations of geographic data. His work emphasizes logical consistency, semantic accuracy, and quality assessment in geospatial data processing. Key research areas include land cover map generalization, spatial data integration (e.g., volunteered geographic information), and rule-based incremental generalization. He has developed methodologies leveraging mixed-integer programming and straight skeleton algorithms for cartographic automation. His publications span peer-reviewed journals like GeoInformatica and Photogrammetrie - Fernerkundung - Geoinformation , as well as conference proceedings such as AGILE and ACM-GIS. Haunert’s contributions address challenges in geospatial data quality, including polygon simplification and river dataset matching. He has also explored applications in vehicle localization and virtual reality systems like the GeoScope for urban planning. His work bridges theoretical GIScience with practical applications in cartography and geoinformatics.

Wolfgang StammerView profile

Researcher

• Explainable AI
• Neuro-Symbolic Architectures
• Concept Learning
• +3 more

Wolfgang Stammer is a PostDoc researcher in the Machine Learning Group at TU Darmstadt's Computer Science Department. His work focuses on making AI models more interpretable and interactive, particularly in explainable AI (XAI), neuro-symbolic architectures, and systematic compositionality challenges in neural networks. He completed his Ph.D. in Machine Learning at TU Darmstadt (2019–2025), an M.Sc. in Computer Science at Goethe University Frankfurt (2016–2018), and a B.Sc. in Cognitive Science at the University of Osnabrück (2011–2015). Research Interests : Stammer's research bridges gaps between human understanding and AI capabilities. Key areas include: Explainable AI (XAI) and interactive machine learning (XIL) Neuro-symbolic integration for logical reasoning and visual concepts Mitigating shortcut learning and confounding factors in datasets Concept discovery and program synthesis for interpretable models Publications : His work spans foundational contributions to AI benchmarks (e.g., V-LoL, SLR-Bench) and frameworks (Neural Concept Binder, Revision Transformers). Recent studies highlight AI's limitations in systematic generalization and propose solutions for aligning reinforcement learning agents with human values. Grants & Labs : He contributes to the Machine Learning Lab at TU Darmstadt and co-organized workshops like the Interactive Machine Learning Workshop @ AAAI 2022. His research bridges theoretical advances with practical applications in healthcare and ethical AI systems.

Jan PfisterView profile

Researcher

• Natural Language Processing
• Deep Learning
• Sentiment Analysis
• +5 more

Jan Pfister is a researcher at the Chair of Data Science (Informatik X) , affiliated with the Faculty of Mathematics and Computer Science at the University of Würzburg . Holding an M.Sc. in Computer Science from 2021, he contributes to the DMIR group while maintaining the BibSonomy platform. His work bridges Natural Language Processing and Deep Learning , with a focus on structured sentiment analysis and German language modeling. His research explores the integration of Large Language Models with Pointer Networks to extract fine-grained sentiment information. He has developed ModernGBERT , a German-only encoder model, and LLäMmlein , advancing NLP capabilities for the language. Pfister's recent publications highlight trends in encoder-decoder architectures, model-agnostic hallucination detection, and multi-label classification frameworks that refine LLM outputs. He has taught courses including Information Retrieval (SS '22), Text Mining (WS '23), and Selected Topics in Machine Learning (SS'21, WS '21, WS'24). His collaborative projects span medical informatics, human-AI interaction, and social media analysis, often involving interdisciplinary teams and real-world data.

• Answer Set Programming
• Artificial Intelligence
• Logic Programming
• +4 more

Torsten Schaub is a Professor at the Institute of Computer Science , University of Potsdam. His research focuses on Answer Set Programming (ASP) , constraint solving, temporal reasoning, and combinatorial optimization, with applications in multi-agent pathfinding, product configuration, and course timetabling. Key contributions include ASP-based tools for industrial-scale optimization problems, metric temporal logic implementations, and frameworks for dynamic equilibrium logic. Recent work explores efficient design space exploration, stream reasoning, and multi-shot ASP solving for complex domains. His publications emphasize hybrid ASP systems , integrating constraints and temporal logic, with co-authors across Europe and Asia. He actively develops tools like clingo and Clingraph for practical ASP applications in logistics, bioinformatics, and robotics. The articles reveal a trend toward multi-agent systems (e.g., pathfinding algorithms) and temporal extensions in ASP, combining formal logic with real-world problem-solving. Sub-fields include constraint satisfaction, logical abduction, and declarative modeling for optimization tasks.

Sebastián FerradaView profile

Assistant Professor

• Knowledge Graphs
• Graph Databases
• Multimedia Databases
• +3 more

Sebastián Ferrada is an Assistant Professor at the Data & Artificial Intelligence Initiative of Universidad de Chile. He also serves as Young Researcher at the Institute for Foundational Research on Data (IMFD) and Collaborating Researcher at the National Center for Artificial Intelligence Research (CENIA). His research focuses on Knowledge Graphs, with special emphasis on extraction, management, and applications for querying, browsing, and AI systems. His academic background includes: PhD in Computer Science (2021), Universidad de Chile MSc in Computer Science (2017), Universidad de Chile BEng in Computer Science (2017), Universidad de Chile Sebastián's research explores several key areas: Multimedia Databases with applications to Wikimedia Commons images Graph Databases and Knowledge Graphs construction Federated Data Management across heterogeneous RDF sources SPARQL query extensions for similarity-based operations Graph data management and compression techniques His recent publications demonstrate strong trends in knowledge graph construction, similarity-based querying, and efficient graph data management. These works combine theoretical advancements with practical implementations in real-world systems like IMGpedia and MillenniumDB. Scientific achievements include: Best Paper Award at CoopIS 2023 Best Demonstration Award runner-up at SIGMOD/PODS 2024 Best Student Paper (Resources Track) and Best Poster at ISWC 2017 First prize in CLEI 2017 for his Master's thesis Sebastián currently leads the Fondecyt project on graph data management and contributes to the U-Inicia project on AI processes in graph databases. He serves on the editorial board of Transactions on Graph Data and Knowledge.

• Database Theory
• Logic Programming
• Knowledge Graphs
• +7 more

Georg Gottlob is a Professor at the University of Oxford's Department of Computer Science, with additional affiliation at TU Vienna's Faculty of Informatics. He has maintained an exceptionally productive research career spanning over four decades, with 494 publications documented in the DBLP database from 1983 to the present. His research interests focus on Database Theory , Logic Programming , and Knowledge Graphs , with particular expertise in hypertree decompositions, Datalog systems, and existential rules. His work bridges theoretical foundations with practical applications, as evidenced by his development of the Vadalog system for knowledge graph reasoning. Gottlob's recent publications (2023-2025) demonstrate continued innovation in query optimization, rule-based reasoning, and the integration of large language models with database systems. His work shows a consistent trend toward making theoretical advances in database theory practically applicable, particularly in the context of knowledge graphs and semantic web technologies. Scientific Awards: 2020 ACM PODS Alberto O. Mendelzon Test-of-Time Award for influential contributions to database theory Gottlob maintains extensive research collaborations with scholars including Reinhard Pichler, Andreas Pieris, and Matthias Lanzinger. His work has significant practical impact through systems like Vadalog, which combines machine learning with logical reasoning for knowledge graph applications. He has supervised numerous PhD students (though specific names aren't listed in the DBLP record) and has been instrumental in advancing the field of database theory from theoretical foundations to real-world applications. His research group focuses on the intersection of database theory, knowledge representation, and artificial intelligence, with particular emphasis on developing efficient algorithms for complex query processing and reasoning tasks over large knowledge graphs.

Ana LucicView profile

Assistant Professor

• Interpretable Machine Learning
• Artificial Intelligence
• Earth System Science
• +3 more

Ana Lucic is an Assistant Professor in Artificial Intelligence at the University of Amsterdam , with a joint appointment between the Institute for Logic, Language and Computation and the Informatics Institute . Her research focuses on interpretable machine learning applications for scientific discovery and societal impact. Formerly at Microsoft Research AI for Science and Partnership on AI PhD in Explainable Machine Learning from University of Amsterdam (2022) BSc/MSc in Mathematics from McMaster University Research Highlights: Develops mechanistic interpretability methods for deep learning architectures. Created Aurora , a foundation model for Earth system forecasting outperforming traditional operational models in air quality prediction and tropical cyclone tracking. Pioneers Clifford-Steerable CNNs for geophysical data analysis. Actively hiring PhD students for AI transparency research . Collaborative Networks: Contributions to ELLIS Summer School and ICML workshops . Collaborates with Microsoft Research AI for Science team on climate-related ML projects. Involved in organizing TerraBytes workshop at ICML 2025. Recent Advancements: Key role in publishing Aurora model in Nature (2025), demonstrating superior performance in Earth system forecasting. Supervises Ege Erdogan , new PhD student focused on mechanistic interpretability. Actively contributes to open-source AI development through GitHub repositories and technical discussions.

• Electronic Design Automation (EDA)
• Computer Architecture
• Embedded Systems
• +5 more

Prof. Wolfgang Ecker is a Professor at the Technical University of Munich (TUM), affiliated with the Chair of Design Automation within the TUM School of Computation, Information and Technology . His research focuses on Electronic Design Automation (EDA), RISC-V processor architectures, and hardware-software co-design. He leads projects advancing EDA tools for embedded systems, neural network acceleration, and formal verification methodologies. Ecker's work bridges machine learning techniques with traditional EDA challenges, addressing topics like energy-efficient AI inference and automated documentation generation. His contributions span compiler optimization, FPGA implementations, and fault analysis in digital systems. Recent research highlights include contributions to the TRISTAN project for RISC-V ecosystem development, model-driven architecture frameworks, and AI-driven timing analysis. He actively collaborates on open-source EDA tools and explores Rust-based embedded systems development. Ecker’s lab emphasizes practical applications in edge computing and automotive microcontroller safety, with a strong emphasis on interdisciplinary collaboration across TUM’s CIT School. His publications (15 most recent listed) reflect a focus on EDA tool innovation, processor design, and leveraging machine learning for hardware optimization. While no specific awards are mentioned, his involvement in ERC-funded projects and leadership in international collaborations underscores his academic impact.

• Software Engineering
• Intelligent Systems
• Model-Based Systems Engineering
• +3 more

Rüdiger Lunde is a Professor at Technische Hochschule Ulm , currently serving as Dean of Studies for Information Systems since September 2019. He previously chaired the Examination Board for programs including INF, CTS, TI, ICS, DSM, MD, and IS from 2014 to 2019. His primary research areas include Software Engineering , Intelligent Systems , and Model-Based Systems Engineering , with a focus on automated safety analysis and technical system simulation. Current Role: Dean of Studies for Information Systems Prior Role: Chair of Examination Board (2014–2019) His research leverages the smartIflow framework for safety tasks such as Failure Mode and Effects Analysis (FMEA) and Fault Tree Analysis (FTA). He has contributed to formal verification methods using Computation Tree Logic (CTL) and explored temporal reasoning across varying time scales. Recent trends in his work include: Automated safety analysis in technical systems Integration of SysML for artifact generation Model decomposition techniques for complex systems Scientific awards: Best Paper Award at International Workshop on Applications in Information Technology (IWAIT-2015) Contact: Ruediger.Lunde@thu.de | Room: A306a | Consultation hours: By appointment via email.

Khalil EsperView profile

Researcher

• Verification and Model Checking
• Energy Optimization
• Real-time Systems
• +4 more

Khalil Esper is a Researcher at the Department of Computer Science, Faculty of Engineering, Friedrich-Alexander-University Erlangen-Nuremberg (FAU), where he works at the Chair of Computer Science 12 (Hardware-Software Co-Design). His research focuses on verification, energy optimization, and runtime requirement enforcement in embedded systems and MPSoCs. His educational background includes: Informatics Engineering from Aleppo University, Syria (2010-2015) European Master in Embedded Computing Systems (EMECS) from Rhineland-Palatinate University of Technology Kaiserslautern-Landau (Germany) and Norwegian University of Science and Technology (Norway) (2017-2019) Esper's research interests center around verification and model checking, energy optimization on MPSoC, real-time systems and embedded systems, and autonomic computing. His work particularly focuses on runtime requirement enforcement mechanisms for non-functional properties in multi-processor systems-on-chip, with applications extending to medical devices and human-robot interaction systems. He has developed approaches using finite state machines, reinforcement learning, and evolutionary algorithms to ensure system properties are maintained during execution. His publication record shows a strong trend toward applying formal methods and runtime enforcement techniques to increasingly complex systems, with recent work expanding into safety-critical applications like orthoses and human-robot interaction. The interdisciplinary nature of his research bridges computer science, embedded systems engineering, and biomedical applications. Esper has supervised multiple theses including: Sascha H.: Runtime Requirement Enforcement of Non-Functional Requirements on MPSoCs Using Fuzzy Logic (2022) Iana S.: Feedback-Based Control of Non-functional Program Execution Properties on Linux (2023) Philipp L.: Runtime Requirement Enforcement of Functional and Non-Functional Requirements of a Knee Orthosis Based on a Digital Twin (2024) Avinash N.: Runtime Requirement Enforcement of Safety Properties of an Ankle Orthosis Based on a Digital Twin (2024) Zhiyi T.: Generation of Environment FSMs Using Machine Learning Techniques (2025) Moustafa A.: Runtime Requirement Enforcement of Safety Properties of Human-Robot Interaction Based on a Digital Twin (2025) Florian K.: Runtime Requirement Enforcement of Safety Properties of Human-Robot Interaction (2025) He has been actively teaching courses on Approximate Computing and Embedded Systems since the 2021/2022 academic year, demonstrating his commitment to academic instruction alongside his research activities. Esper is involved in the InvasIC research project, part of the DFG Transregional Collaborative Research Center 89 on Invasive Computing, which explores novel approaches to resource management in parallel computing systems.

• Statistical Relational Learning
• Machine Learning
• Probabilistic Graphical Models
• +5 more

Lise Getoor is a Professor in the Department of Computer Science at the University of California, Santa Cruz, within the Baskin School of Engineering. She previously held positions at the University of Maryland, College Park and has established herself as a leading researcher in statistical relational learning and neuro-symbolic artificial intelligence. Her research focuses on developing principled approaches to reasoning and learning with rich, relational data. She has made significant contributions to probabilistic soft logic, statistical relational learning, knowledge graph construction, and the integration of symbolic and neural approaches to AI. Her work bridges theoretical foundations with practical applications in areas including social network analysis, sustainable recommendations, cyberbullying detection, and fair machine learning systems. Analysis of her recent publications reveals a strong trend toward neuro-symbolic integration, with increasing focus on combining neural networks with logical reasoning frameworks. Her research demonstrates consistent innovation in developing scalable algorithms for structured prediction across diverse application domains while addressing critical issues of fairness and interpretability in AI systems. Professor Getoor has advised numerous PhD students who have become active contributors to the field, including Connor Pryor, Charles Dickens, Eriq Augustine, and Varun Embar. Her research has been supported by multiple grants from major funding agencies, though specific details aren't provided in the current data. She leads research in the Statistical Relational AI (StaRAI) Lab at UC Santa Cruz, where her team develops frameworks that combine logical reasoning with probabilistic modeling to address complex real-world problems requiring both structured knowledge and statistical learning.

Marina FiedlerView profile

Professor

• Artificial Intelligence in Organizations
• Information Systems and Organizational Behavior
• Sustainable Management Practices
• +3 more

Prof. Dr. Marina Fiedler holds the Chair of Management, People and Information at the University of Passau since 2010. She is an Associate Editor at the Schmalenbach Journal of Business Research (SBUR) and heads the Passau experimental laboratory PAULA . Her academic journey includes a PhD (2004) and habilitation (2008) from the University of Munich, with visiting professorships at Corvinus University and State University of Management.