Find Academic Supervisors

Nian-Ze LeeView profile

Assistant Professor

• Formal Methods
• Model Checking
• Program Analysis
• +5 more

Nian-Ze Lee is an Assistant Professor at the Department of Electrical Engineering, College of Electrical Engineering and Computer Science, National Taiwan University, Taiwan, where they lead the Formal Methods and Analysis for Computing and Engineering Laboratory (ForMACE Lab). Additionally, Lee holds a position as a Gastprofessor (Guest Professor) affiliated with the Software and Computational Systems Lab (SoSy-Lab) at LMU Munich, Germany. Lee's research focuses on formal methods, with particular expertise in model checking, program analysis, and electronic design automation. Their work bridges hardware and software verification, developing techniques that transfer methodologies between these domains. A significant portion of their research involves stochastic Boolean satisfiability and threshold logic circuits, with applications in both hardware and software verification. Lee's recent publications demonstrate a strong trend toward developing cross-domain verification techniques, particularly focusing on how hardware model checking approaches can be adapted for software verification. Their work on interpolation-based model checking and configurable program analysis has received recognition through multiple best paper and artifact awards at top-tier conferences. ACM SIGSOFT Distinguished Paper Award (FSE 2024) Best Artifact Award (FSE 2024) Distinguished Artifact Award (TACAS 2024) Best Paper Award (SPIN 2024) Lee has secured research funding including a grant from the German Research Foundation (DFG) for the project 'Bridging Hardware and Software Analysis.' They actively maintain several software projects including Btor2C, Btor2-Cert, CPV, MoXIchecker, and contribute to CPAchecker and BenchExec. Lee is currently recruiting Ph.D., Master's, and Bachelor's students to work on formal methods research, with Ph.D. students potentially enrolled at LMU Munich through a DFG-funded project.

David N. JansenView profile

Associate Professor

• Computer Science
• Formal Methods
• Model Checking
• +5 more

David N. Jansen is an Associate Professor at the Institute of Software , Chinese Academy of Sciences , Beijing, China. Previously, he held an Assistant Professor position at Radboud University Nijmegen (2007–2016) and a Postdoc role at RWTH Aachen University (2007). His work bridges academic research, software development, and international collaboration. Education : PhD in Computer Science from University of Twente (1998–2003); Diploma in Mathematics (with minors in Computer Science and Comparative Linguistics) from University of Bern (1990–1997); Certificate of Proficiency in English from University of Cambridge (2000). Research interests include stochastic model checking , UML extensions for probabilistic systems , Markov reward models , and formal verification of embedded systems . He has contributed to tools like MRMC and TCM , focusing on efficient data structures and lumping techniques for system validation. Publication trends show expertise in formal methods , probabilistic verification , and equivalence relations . His work spans automated analysis of probabilistic programs , stuttering equivalence algorithms , and applications to real-world systems like the European Train Control System. Leadership and Service : He has served on doctoral advisory boards (SIKS), supervised student projects (e.g., XML/XMI interface for TCM), and volunteered in Christian organizations. His technical skills include C, C++, UML, model checking, and database systems like MySQL.

• Theoretical Computer Science
• Formal Methods
• Artificial Intelligence
• +3 more

M.Sc. Pascal Esser is a researcher at the Department of Informatics at Technical University of Munich (TUM). He specializes in theoretical computer science, formal methods, and machine learning, with a focus on neural networks and verification techniques. His teaching responsibilities include courses on theoretical computer science fundamentals such as Petri Nets, Automata and Formal Languages, Logic, and Model Checking. He has contributed to research in representation learning, graph neural networks, and probabilistic models, as evidenced by his recent publications. Esser is involved in the development of tools like Automata Tutor and has collaborated on projects such as PaVeS and ConVeY. His work bridges formal methods and artificial intelligence, emphasizing rigorous theoretical foundations while exploring practical applications in neural network verification and algorithm design. Education: Master of Science in Computer Science (degree details unspecified). Research Interests: Formal verification, machine learning theory, neural networks, representation learning, graph algorithms, and theoretical computer science. Professional Activities: Active in teaching advanced undergraduate and graduate courses since 2020, with a focus on foundational topics in informatics and emerging areas like neural network verification. Egger's research trends emphasize interdisciplinary approaches, combining insights from statistical learning theory with algorithmic analysis to address challenges in modern AI systems. His publications highlight advancements in understanding model dynamics, kernel-based methods, and graph neural network architectures. While no specific grants or awards are listed, his sustained academic contributions indicate active engagement in the informatics research community. He is part of a research group at TUM including notable figures like Javier Esparza and Jan Křetínský, contributing to tools and frameworks for automata theory and model checking. His work often intersects with practical software implementations such as the Automata Tutor educational platform and Strix verification tools.

Stephanie KemperView profile

Researcher

• Real-time Systems
• Verification
• Model Checking
• +5 more

Dr. Stephanie Kemper is a Researcher in the Correct System Design Group at the Department of Computing Science, University of Oldenburg, Germany. Her career spans roles including Research Assistant at Centrum Wiskunde & Informatica (2006-2011), OFFIS (2012-2015), and continuous contributions to the University of Oldenburg since 2011. Education Diploma in Computer Science with distinction (University of Oldenburg, 2006) PhD in Computer Science (Leiden Institute of Advanced Computer Science, 2011) Research Interests Specializing in formal methods for real-time systems, her work emphasizes: Timed Automata and Timed Constraint Automata SAT-based Model Checking for verification Component-based Software Engineering Abstraction Refinement with Craig Interpolation Concurrency and True Concurrency in systems Scalable verification techniques overcoming state explosion Publication Trends Her publications (2007-2013) focus on real-time coordination patterns, SAT-based verification, and compositional analysis of timed systems. Key areas include formal modeling of traffic scenarios, constraint automata for component connectors, and counterexample-guided abstraction refinement. Affiliations University of Oldenburg (2011-present) Centrum Wiskunde & Informatica (2006-2011) OFFIS Group SAV-RSM (2012-2015)

Anders MøllerView profile

Professor

• Static Program Analysis
• Dynamic Program Analysis
• JavaScript
• +5 more

Anders Møller is a Professor at the Department of Computer Science , Aarhus University , Denmark. His career spans roles as an author , committee member , and session chair in conferences like SPLASH, OOPSLA, ECOOP, ISSTA, ICSE, and PLDI. Affiliation: Aarhus University Co-founder: Coana Research Focus : Specializing in static and dynamic program analysis for JavaScript, TypeScript, Java, and Node.js applications, his work addresses: Pointer analysis precision in Java Race condition detection in Node.js Library evolution and semantic patching Soundness improvements in static analyzers Type safety in modern languages Concolic execution for web testing Publication Trends : Recent work (2021–2024) emphasizes security-critical static analysis (taint specifications, Node.js security), soundness optimization (approximate interpretation), and program verification (channel-based communication). Earlier work (2013–2018) includes foundational contributions to JavaScript refactoring , Dart type safety , and AJAX race detection . Scientific Recognition : ISSTA 2019 Distinguished Paper Award Leadership Roles : Active in steering committees for SPLASH, ECOOP, and SIGPLAN, with chairs in OOPSLA, ECOOP, and PLDI program committees.

Manfred ReichertView profile

Professor

• Business Process Management (BPM)
• Service-Oriented Architectures
• E-health
• +7 more

Prof. Manfred Reichert is a full professor at the University of Ulm, serving as Director of the Institute of Databases and Information Systems and Dean of Studies at the Faculty of Engineering and Computer Science. He holds dual expertise in Computer Science and Mathematics, with academic leadership roles including chairing examination boards and strategic research initiatives. His interdisciplinary affiliations include co-opted membership in the Faculty of Mathematics and Economic Sciences. Reichert's research focuses on Business Process Management (BPM), IoT-driven processes, service-oriented architectures, and e-health applications. Notable contributions include co-developing the ADEPT process management system and pioneering object-centric process modeling. He has led over 20 international research projects (EU FP7, DFG, Industry) and authored >200 peer-reviewed papers, earning an h-index of 60+ and prestigious awards like the Merckle Forschungspreis. Education: PhD in Computer Science & Mathematics Diploma Leadership: Former associate professor at University of Twente, former director of CTIT research center Service: Conference chair for BPM, CoopIS, EDOC; steering committee member for GI SIG Databases Recent work explores IoT integration in BPM, generative AI for process models, and neuroscience-informed usability studies. His research bridges technical innovation with human-centric design, addressing challenges in process lifecycle management, federated learning, and mobile health interventions. Awards: IFIP TC2 Manfred Paul Award, doIT Software Award Key Projects: BPMN extensions for IoT, data-driven healthcare solutions

• Formal Verification
• Component-Based Systems
• Real-Time Systems
• +5 more

Joseph Sifakis is a distinguished computer scientist and professor at Grenoble Institute of Technology. He is renowned for his foundational contributions to formal verification, system design, and the BIP component framework. A Turing Award laureate (2007), his work bridges theoretical computer science with practical system engineering. His research focuses on rigorous design methodologies for real-time, embedded, and autonomous systems. Education: Ph.D. in Computer Science from Grenoble Institute of Technology (1979). Key contributions include the CESAR specification language (with Jean-Pierre Queille), formal methods for concurrent systems, and the BIP framework for component-based system design. He has authored over 200 publications and co-edited influential books on embedded systems. Research interests span autonomous systems, cyber-physical systems, real-time systems, and safety-critical software. Notable projects include the development of rigorous validation techniques for autonomous vehicles and the integration of AI with formal verification. His work emphasizes correctness-by-construction principles and trustworthiness in complex systems. Award recognition includes the 2007 Turing Award for contributions to model checking. He has advised numerous researchers and is a co-founder of the BIP framework, widely used in industry and academia. Current work focuses on autonomous system architectures, AI safety, and trustworthy computing.

Xiaoxing MaView profile

Professor

• Software Engineering
• Self-adaptive Software Systems
• Software Engineering for Machine Learning
• +3 more

Xiaoxing Ma is a Professor at the State Key Laboratory for Novel Software Technology , Nanjing University , focusing on Software Engineering , Self-adaptive Software Systems , and Software Engineering for Machine Learning . His recent work bridges neuro-symbolic reasoning and formal verification. Key research areas: Software Engineering, Self-adaptive Systems, Neuro-symbolic AI Awards: China National Awards (2006, 2011), MOE Award (2010), CVIC SE Award (2009) His 2023-2024 publications emphasize: Formal semantics for hardware description languages (Verilog) Neuro-symbolic frameworks for mathematical reasoning Dynamic update verification and CRDT model checking LLM-driven API migration and traceability recovery He serves as Program Co-Chair for SEAMS 2024 and contributes to major software engineering conferences (ICSE, ASE, FSE, PLDI).

Sören AuerView profile

Professor

• Semantic Technologies
• Knowledge Engineering
• Data Science
• +7 more

Prof. Sören Auer is the Director of the German National Library of Science and Technology (TIB) and Professor of Data Science and Digital Libraries at Leibniz Universität Hannover's Faculty of Electrical Engineering and Computer Science . With academic positions at Dresden, Yekaterinburg, Leipzig, Pennsylvania, Bonn, and Fraunhofer Society, his career focuses on semantic technologies , knowledge engineering , and Artificial Intelligence Research Data Management Open Science Knowledge Graphs . He leads the Open Research Knowledge Graph (ORKG) initiative and co-founded DBpedia and eccenca.com . His research spans data science , AI-driven knowledge representation , and digital library systems . He has supervised numerous PhD theses and final-year theses while offering courses on Knowledge Engineering Semantic Web Technologies Data Integration Scientific Data Management . The technical focus includes semantic data interlinking , neuro-symbolic AI , and contextual metadata frameworks . As a recipient of prestigious awards including ERC Consolidator Grant SWSA Ten-Year Award ESWC 7-Year Best Paper Award OpenCourseware Innovation Award , Prof. Auer has led major projects like BigDataEurope and contributes to standards in W3C , NFDI , and EOSC . His recent publications demonstrate advancements in ontology alignment , LLM-driven schema discovery , and hybrid AI systems for scholarly knowledge organization.

Mohamed Faouzi AtigView profile

Professor

• Formal Verification
• Concurrency
• Model Checking
• +7 more

Mohamed Faouzi Atig is a Professor in Computer Systems at the Department of Information Technology , Uppsala University since July 2021. Previously, he served as Senior Lecturer (Associate Professor) from June 2018 to June 2021 and as Associate Senior Lecturer (Assistant Professor) from June 2014 to May 2018. Current: Professor, Uppsala University (2021–present) Senior Lecturer, Uppsala University (2018–2021) Associate Senior Lecturer, Uppsala University (2014–2018) Researcher, Uppsala University (2012–2018) Post-doctoral Researcher, Uppsala University (2010–2012) Education : PhD in Computer Science from University of Paris Diderot-Paris 7 (2010) Docent (Habilitation) in Computer Systems from Uppsala University (2017) Research Interests : A multidisciplinary researcher in Formal Verification , focusing on Model Checking and Automata Theory for Concurrency and Weak Memory Models . His work spans Formal Methods , Software Verification , and Logics for system correctness. Publication Trends : His recent works (2015–2024) analyze Hardware Memory Models (Intel-x86, TSO), String Constraint Solving , and Stateless Model Checking under relaxed memory semantics. He applies Automata Theory to Persistent Memory verification and Concurrency problems. Committee Roles : Active in program committees for POPL (2020–2025), PLDI (2017–2024), and VMCAI (2017).

Jonathan AldrichView profile

Professor

• Programming Languages
• Software Engineering
• Verification
• +3 more

Jonathan Aldrich is a Professor at Carnegie Mellon University's School of Computer Science, with joint appointments in the Software and Societal Systems Department and Computer Science Department. He directs the Master of Software Engineering program (as of July 2025) and previously led the Software Engineering Ph.D. program. Aldrich teaches courses in programming languages, software engineering, and program analysis. Education: Ph.D. in Computer Science and Engineering, University of Washington (2003) M.S. in Computer Science and Engineering, University of Washington (1999) B.S. in Engineering and Applied Science (Computer Science), Caltech (1997) Research Focus: Aldrich's work bridges programming languages and software engineering to improve software quality and productivity. His research explores how structural and behavioral design aspects can be expressed in source code, enabling better tooling and error reduction. Key innovations include gradual verification systems, typestate-oriented programming, and ownership models for security. His projects span blockchain safety (Obsidian), concurrency (AEminium), and visualization (Penrose). Publication Trends: Aldrich's 15 most recent articles reflect a strong emphasis on language-based security, formal verification (especially gradual verification techniques), and human-centered language design. His work increasingly integrates empirical studies to evaluate usability in advanced type systems. Awards: NSF CAREER Award (2006) Dahl-Nygaard Junior Prize (2007) ICSE Most Influential Paper Award (2012) DARPA Computer Science Study Group (2007) William Chan Memorial Dissertation Award (2003) Leadership & Service: Aldrich directs graduate programs, co-authored the textbook 'Programming Language Pragmatics,' and serves on the ACM Publications Board. As CTO of Noteful, he develops educational music technology. He has chaired program committees for OOPSLA, ECOOP, and SPLASH conferences.

Rüdiger WilhelmiView profile

Professor

• Civil Law
• Commercial and Corporate Law
• Business Law
• +3 more

Rüdiger Wilhelmi is a Professor at the Department of Law, University of Konstanz, focusing on civil law, commercial and corporate law, business law, and comparative law. He is also the Director of the Institute for Legal Research and Vice Rector for Academic Affairs since 2024. His research spans liability law, family and inheritance law, and Legal Tech. Professor, Department of Law, University of Konstanz (since 2010) Director, Institute for Legal Research (since 2012) Vice Rector for Academic Affairs (since 2024) Principal Investigator, Cluster of Excellence "The Politics of Inequality" (since 2019) His work emphasizes comparative legal analysis across jurisdictions like the USA, UK, and Netherlands, with a focus on patent law , financial regulation , and digitalization of law . Publications include monographs on capital maintenance in GmbH law, environmental liability, and EMIR regulation. He has contributed extensively to legal commentaries and handbooks. Wilhelmi's lectures and conferences address topics like AI liability , multi-party arbitration , and banking regulation . He co-edits volumes on legal digitalization and participates in interdisciplinary workshops on topics like "Banking beyond Banks" and "Diversity in Financial Markets".

• Distributed Systems
• Service-Oriented Computing
• Cloud Computing
• +4 more

Winfried Lamersdorf is a full professor in the Department of Computer Science at the University of Hamburg , leading the Distributed Systems (VSIS) research unit. His career spans from IBM's European Networking Centre to leading numerous DFG, EU, and industry-funded projects. Major research interests include: Service-oriented computing (SOA, Web Services) Mobile and ubiquitous systems Agent-oriented software construction Self-organizing systems Context-aware middleware Cloud/edge computing Applications in E-Health, Smart Cities, and Industrial Informatics Recent projects like SANE (Smart Networks for Citizen Participation), CloudAware (context-adaptive mobile cloud systems), and FYPA²C (future production automation) highlight his focus on urban data spaces, energy-efficient mobile systems, and evolutionary software management. His scientific contributions span 200+ publications, with 15 recent articles covering topics such as: Complex event processing Decentralized blockchain coordination Context-aware computation offloading Model-driven production system evolution BDI agent architectures Service composition patterns Advising over 20 PhD students including Heiko Bornholdt (Smart Cities), Philipp Kisters (Distributed Platforms), and Gabriel Orsini (Mobile Clouds, 2016), Lamersdorf has shaped research in distributed applications through long-term collaborations with institutions like TU Munich, HSU Hamburg, and international IFIP committees.

Juraj VladikaView profile

Researcher

• Natural Language Processing
• NLP Applications for Medicine and Healthcare
• Automated Fact-Checking
• +4 more

Juraj Vladika is a Research Associate at the Chair of Software Engineering for Business Information Systems (sebis) at the Technical University of Munich , affiliated with the School of Computation, Information and Technology and the Department of Computer Science . His research focuses on Natural Language Processing , with applications spanning Medicine and Healthcare , Automated Fact-Checking , Information Retrieval , Question Answering , and Legal Tech . Education: Bachelor's and Master's in Computer Science from University of Zagreb Exchange semesters at Technical University of Vienna and Pontificial University Comillas Research Projects: Juraj contributes to AI-driven medical knowledge systems (e.g., Aidvice for cancer care), scientific claim verification ( VeriSci ), and Legal Tech exploration ( NLawP ). Teaching: Lecture Advisor for Natural Language Processing and Software Engineering courses (2022–2025) Organizer for SEBA Lab Courses and Conversational AI Workshops Publications (2022–2025) emphasize LLM evaluation, medical fact-checking, legal NLP applications, and privacy-preserving AI. He also provides Guided Research opportunities in his expertise areas.

Irina NikishinaView profile

Researcher

• Semantics
• Argument Mining
• Taxonomy Enrichment
• +3 more

Irina Nikishina is a postdoctoral researcher at the University of Hamburg's Department of Informatics, working in the Language Technology Group under Prof. Chris Biemann. As a researcher in computational linguistics and natural language processing, she contributes to projects like ACQuA-2.0, focusing on semantics, argument mining, taxonomies, and knowledge graphs. PhD in Computational and Data Science and Engineering (2022), Skolkovo Institute of Science and Technology Bachelor's and Master's degrees from National Research University Higher School of Economics (NRU HSE) Her research spans taxonomy enrichment, comparative question answering systems, and biomedical concept representation. She organizes shared tasks like RUSSE’2020 and RuArg-2022, and co-founded the RusNLP semantic search engine for Russian NLP conferences. She chairs the Network Analysis track at the International Conference on Analysis of Images, Social Networks and Texts (AIST) and has served as secretary for AIST 2020 and 2021. Recent publications focus on large language models' performance in lexical semantics, multilingual comparative argumentation systems, and knowledge graph integration for QA tasks. Her work includes developing tools like TaxFree for candidate-free taxonomy enrichment and exploring cross-modal approaches for taxonomic graph expansion.