Find Academic Supervisors

• Data Management
• Information Retrieval
• Machine Learning
• +3 more

Moritz Staudinger is a PreDoc Researcher at the Data Science department of Technische Universität Wien . His research focuses on reproducibility in machine learning and information retrieval, with particular emphasis on query generation, data citation, and evolving database schemas. Current projects: FAIR-AI (2024–2026) , HumRec (2021–2025) , and DoSSIER (2019–2024) Collaborations: Works with Andreas Hanbury , Andreas Rauber, and others Research interests include large language models for scientific applications, temporal information retrieval, and FAIR data principles. His recent publications examine reproducibility challenges across machine learning, systematic literature reviews, and environmental data management. Supervisions : Mentors students working on topics like data sovereignty, multilingual fact-checking, and quality indicators for data management plans. Collaborates on the DBRepo semantic repository framework.

• Model Engineering
• Electronic Data Interchange
• E-Business
• +6 more

Christian Huemer is an Associate Professor and Dean of Academic Affairs in the Department of Business Informatics at TU Wien. His research focuses on inter-organizational systems, BIM implementation in tunnel construction, and model-driven integration of manufacturing standards. He holds dual academic titles (Ao.Univ.Prof. Mag.rer.soc.oec. Dr.rer.soc.oec.) and leads the TU Wien's academic affairs while maintaining active research in information systems engineering. Education & Roles: Dean of Academic Affairs, Faculty of Informatics Associate Professor for Business Informatics (E194-03) Research Interests: Prof. Huemer's work spans electronic data interchange (EDI), service sciences, and BIM-based digital transformation in construction. His recent projects include TransIT (tunnel BIM integration) and HoVer (standards framework for Industry 4.0). He emphasizes interdisciplinary collaboration, particularly in integrating BIM with construction processes and manufacturing systems. Publications & Projects: Over 100+ publications since 2004, with recent focus on tunneling digitalization (e.g., BIM compliance checks, data drops) and manufacturing integration (ISA-95/OPC UA). Active in EU-funded projects like BIM im Tunnelbau (2020–2023) and InteGra 4.0. Advising & Grants: Supervised 20+ theses on topics like AR in tunneling, BIM automation, and resilient manufacturing. Key grants include Austrian Research Promotion Agency (FFG) projects on ERP systems ( REAlist ) and tunnel documentation tools ( ebTransfer ). Labs/Teams: Leads TU Wien's Business Informatics Group, collaborating with industry partners such as ÖBB (Austrian Federal Railways) and FMA (Financial Market Authority). Involved in BIM standardization efforts with UN/CEFACT and ISO.

• Blockchain Technology
• Distributed Systems
• Coordination Middleware
• +4 more

Eva Kühn is an Associate Professor at TU Wien's Faculty of Informatics, specializing in Coordination Systems and Space-Based Computing. She leads the Compilers and Languages department and focuses on Blockchain Technology, Distributed Systems, and Swarm Intelligence. Roles & Affiliations: Associate Professor, TU Wien Research Lead in Coordination Middleware Principal Investigator in projects like ITSM-PEER and Formal Verification of DNNs Research Interests: Blockchain-based systems for decentralized applications Swarm intelligence algorithms for P2P networks Space-based computing architectures for distributed systems Coordination patterns for multi-cloud auto-scaling Projects & Grants: "Formal Verification of Deep Neural Networks" (2024-2027, OeAD) "ITSM-PEER" (2014-2015, FFG) "LOPONODE Middleware" (2012-2014, FFG) Students & Supervision: Advised over 30 students in areas like blockchain frameworks, swarm algorithms, and distributed systems. Labs & Teams: Leads the Peer Model research group developing coordination middleware and space-based computing frameworks.

• Programming Languages
• Type Systems
• Object-Oriented Programming
• +3 more

Ao.Univ.Prof. Dipl.-Ing. Dr.techn. Franz Puntigam is an Associate Professor at the Department of Compilers and Languages within the Faculty of Informatics at Technische Universität Wien. His research focuses on programming paradigms, type systems, object-oriented programming, and concurrent programming. He teaches courses such as Programming Paradigms, Type Systems, and Scientific Research and Writing. Dr. Puntigam’s work explores foundational aspects of programming languages, emphasizing concurrency and type system design. His research includes studies on synchronization mechanisms, contextual execution environments, and design methodologies for robotic software systems. His publications span topics like token-based synchronization, dynamic process types, and aliasing effects in object-oriented languages. He supervises numerous diploma and master’s theses on advanced topics such as concurrency in Java, type systems for configuration languages, and actor-based programming. His contributions to education and research are further reflected in his involvement with projects like migrating business software from VB to Java/Unix.

• Logic Programming
• Computational Complexity
• Nonmonotonic Reasoning
• +4 more

Mantas Simkus is an Assistant Professor at TU Wien's Institute of Logic and Computation, affiliated with the Database and Artificial Intelligence Group. He previously held an Associate Professor position at Umeå University (Sweden) within the Wallenberg AI, Autonomous Systems and Software Program (WASP). He leads the FWF-funded project 'KtoAPP: Compiling Knowledge into Applications' and contributes to the Cluster of Excellence 'Bilateral Artificial Intelligence'. His research focuses on logic-based data management, knowledge representation, and nonmonotonic reasoning, with applications in semantic web technologies and ontology engineering. Education: Bachelor's in Computer Science from Vilnius University. Research interests include logic programming, computational complexity, description logics, and their integration with databases. He explores techniques for efficient query answering, schema validation (e.g., SHACL), and reasoning under incomplete information. His work bridges theoretical foundations (e.g., complexity analysis, formal semantics) with practical systems (e.g., ontology-mediated query processing). Key projects include 'KtoAPP' (2018–2025), investigating automated knowledge compilation, and contributions to the 'SemDat' and 'OMEGA' initiatives. He teaches courses on deductive databases and semi-structured data at TU Wien. He actively participates in academic service: co-chair of RuleML+RR 2024, editorial board member of the Artificial Intelligence journal, and former co-chair of DL 2019. His research group collaborates on topics like graph databases, answer set programming, and hybrid knowledge representation systems.

• Formal Methods
• Program Analysis
• Verification
• +9 more

Florian Zuleger is an Associate Professor at TU Wien's Department of Formal Methods in Systems Engineering (E192-04). He has a 100% research focus and serves as Curriculum Coordinator for the Master’s program in Verification and Automated Reasoning. His work emphasizes automated methods for termination analysis, resource-bound estimation, verification of programs with dynamic data structures, parameterized systems, and automated feedback for introductory programming tasks. He has led projects funded by the European Commission (2024–2027), Austrian Science Fund (FWF), Amazon Research Awards, and Vienna Science and Technology Fund. Research Interests: Automated Program Verification Formal Methods for Concurrent Systems Separation Logic and Decision Procedures Resource and Complexity Analysis Parameterized Model Checking Inductive Logic in Verification Grants & Advising: Zuleger’s recent grants explore verification of safety-critical applications and automated cost analysis. He has advised numerous students on topics ranging from verified data structures to fault-tolerant algorithms. His projects include collaboration with Amazon, the European Commission, and FWF. Labs/Teams: Involved with the LogiCS Research Group, focusing on logical methods in computer science, and contributes to tool development (e.g., ATLAS, SpecBMC, SL-COMP competitions).

• Formal Methods
• Temporal Logic
• Automata Theory
• +5 more

Michele Chiari is a PostDoc Researcher at TU Wien's TrustCPS Group led by Prof. Ezio Bartocci. Previously, he was a PhD candidate and PostDoc at Politecnico di Milano's DEIB in the DeepSE group. His primary affiliations include TU Wien and the TrustCPS group, with a focus on formal verification and cyber-physical systems. Education: PhD candidate and PostDoc at Politecnico di Milano's Department of Electronics, Information, and Bioengineering (DEIB). Research interests include formal methods for safety-critical systems, temporal logic, automata theory, model checking for recursive probabilistic programs, infrastructure-as-code modeling (DOML), floating-point computation verification, and approximate computing. Research highlights: Development of POTL (Probabilistic Operator Temporal Logic), model checkers for operator precedence languages (POMC), and contributions to the PIACERE and CORPORA projects. His work bridges theoretical formal methods with practical applications in software engineering and embedded systems. Key projects include leadership of the EU-funded MSCA PF CORPORA project (2023–present) and contributions to the PIACERE H2020 initiative. Collaborations include tools like TAFFO (floating-point precision tuner) and DOML (Infrastructure-as-Code modeling framework). Labs/Teams: Core member of TU Wien's TrustCPS Group and former contributor to Politecnico di Milano's DeepSE Group. Active in conferences like CAV, RV, and CAiSE, with recent service roles on OOPSLA and RV program committees.

• Agent Based Modelling
• Reactive synthesis
• Formal Methods
• +6 more

Luca Di Stefano is a Post-Doc Researcher at Technische Universität Wien (TU Wien) since March 2024. His research focuses on the specification and verification of complex collective systems like multi-agent systems and robot swarms, using formal methods such as model checking and reactive synthesis. He works on online formal techniques including runtime monitoring. Research Interests: Software verification Model checking Multi-agent systems Formal semantics Process calculi Reactive synthesis Static analysis Recent Article Trends: His work spans formal verification of reconfigurable systems, emergent behavior in collective systems, and synthesis techniques for infinite-state models. Keywords include Agent-Based Modelling, Formal Methods, Temporal Logic, and Runtime Monitoring. Thesis Supervision: He supervises BSc and MSc theses at TU Wien, with Ezio Bartocci as main advisor. Examples include "Type checking a novel language for reconfigurable multi-agent systems" (Benjamin Stolz, 2025) and "Evaluating in-memory caching strategies" (Love Lyckaro, 2023). Teaching: He teaches courses like "Scientific Research and Writing" and "GPU Architectures and Computing" at TU Wien, and has served as teaching assistant for concurrent programming courses at University of Gothenburg and Chalmers. Labs & Projects: He contributes to tools like LAbS (attribute-based stigmergy language), SLiVER (verification tool), R-CHECK (model checking for reconfigurable systems), sweap (symbolic reactive synthesis), and pyxmv (Python interface for nuXmv).

Tobias NipkowView profile

Professor

• Logic
• Term Rewriting
• Functional Programming
• +4 more

Tobias Nipkow is a Professor for Logic and Verification at the Department of Informatics, Technical University of Munich (since 2011), previously serving as Professor for Theory of Programming (1992-2011). His career spans academic roles at The University of Manchester, MIT, and University of Cambridge, including positions as Lecturer, Research Associate, and Advanced SERC Fellow. Research Interests focus on foundational aspects of computer science, particularly Formal verification of algorithms and systems Interactive theorem proving Term rewriting systems Semantics of programming languages Development of proof assistants Automated reasoning techniques Notable Publication Trends include extensive contributions to Isabelle/HOL formalization, verification of programming languages, and critical advancements in term rewriting and automated deduction. His work bridges theoretical foundations with practical verification tools. Scientific Awards Herbrand Award for Distinguished Contributions to Automated Reasoning (2021) Editorial Leadership includes tenure as Editor-in-Chief of the Journal of Automated Reasoning (2007-2020) and co-founding editor roles for ACM Transactions in Computational Logic and Logical Methods in Computer Science .

Marta KwiatkowskaView profile

Professor

• Automated Verification
• Probabilistic Model Checking
• Temporal Logics
• +4 more

Marta Kwiatkowska is a Professor of Computing Systems and Fellow of Trinity College at the University of Oxford . She has held academic positions at the University of Birmingham (School of Computer Science), University of Leicester, and Jagiellonian University in Poland. Her expertise lies in probabilistic and quantitative verification methods, with contributions to the PRISM model checker and applications in systems biology, communication protocols, and nanotechnology. Education: BSc/MSc in Computer Science, Jagiellonian University MA from Oxford PhD in Computer Science from the University of Leicester Research Interests: Probabilistic model checking, formal verification of complex systems, temporal logics, and interdisciplinary applications in biology and ubiquitous computing. Her work emphasizes bridging theoretical foundations with practical tools like PRISM, widely used in academia and industry. Awards: Fellowships from Royal Society, ACM, EATCS, BCS, and Polish Society of Arts & Sciences. ERC Advanced Grant (VERIWARE, £3.7m funding). Top Cited Article Award (2010) and Best Paper Award (QEST 2006). Grants & Leadership: Leads £3.7m grant-funded research on system verification. Serves on editorial boards of IEEE Transactions on Software Engineering and Royal Society's Philosophical Transactions A. Organized conferences such as QEST and the Royal Society Discussion Meeting on ubiquitous computing. Labs/Teams: Principal contributor to the PRISM model checker project, a cornerstone of probabilistic verification research.

• Formal Methods
• Model-Driven Engineering
• SAT/QBF Solving
• +4 more

Martina Seidl is a researcher and principle investigator at TU Wien's Institut für Softwaretechnik und Interaktive Systeme (E188). Her main affiliation is within the Faculty of Informatics. She leads the FAME Project (Formalizing and Managing Evolution in Model-Driven Engineering), focusing on advancing formal methods in software engineering. Her research interests include formal verification techniques, SAT/QBF solving algorithms, model-driven engineering, and automated reasoning. She has contributed to advancements in quantified Boolean formula (QBF) solving, parallel computing methodologies for logical problems, and formal methods in software model analysis. Her work spans theoretical computer science and practical applications in automated theorem proving and model checking. Notable contributions include expansion-based QBF solving approaches, parallel solving frameworks, and feature-based classifications of formal verification techniques. Seidl co-organized the QBF Gallery initiative, which curates benchmark suites for quantified Boolean formula competitions. She has also published extensively on clause redundancy optimization, blocked clause analysis, and the integration of formal methods in educational contexts like UML@Classroom.

• Text Mining
• Computer Science
• Radiobiology
• +5 more

Privatdozent Dr. Dr. Ingo Feinerer serves as the Head of Faculty of Engineering at the University of Applied Sciences Wiener Neustadt in Austria. With two doctoral degrees and the Habilitation qualification (indicated by Privatdozent), he holds a senior academic position equivalent to Associate Professor in many systems. His research interests span multiple disciplines: Text Mining and Computer Science (class diagrams, schema mapping, domain constraints) Radiobiology and Ion Therapy for advanced cancer treatment Social Network Analysis and digital media History of Psychology and academic journal evolution Prof. Feinerer's work demonstrates exceptional interdisciplinary breadth, connecting technical computer science with medical physics applications and historical analysis. His current major research initiative is the PAIR project (2022-2026), which focuses on expanding radiobiological understanding of ion beams for cancer treatment. This project recognizes ion therapy using protons and carbon ions as the most advanced radiation-based cancer treatment due to its physical and biological advantages over conventional photon beams. His publication record spans from 2007 to 2025, with 36 publications including 18 journal articles and 15 conference papers. Recent publications show a shift toward medical physics applications while maintaining connections to his computer science expertise, as evidenced by the 2025 paper on an open-source framework for pre-clinical ion-beam research. As Head of Faculty, Prof. Feinerer oversees academic programs and research activities within the Faculty of Engineering, contributing to both educational leadership and active research in his diverse fields of expertise. His ORCID identifier (0000-0001-7656-8338) provides a persistent link to his scholarly work across these interdisciplinary domains.

Bernhard AichernigView profile

Professor

• Formal Methods
• Model Verification
• Automata Learning
• +3 more

Bernhard Aichernig serves as a University Professor at the Institute of Formal Models and Verification at Johannes Kepler University Linz. His academic career focuses on bridging theoretical computer science with practical software verification techniques. He actively contributes to the international research community through publications, program committees, and doctoral examinations. Professor Aichernig's research primarily centers on formal methods and model verification, with significant contributions to automata learning and software testing methodologies. His work explores the intersection of theoretical computer science and practical verification techniques, particularly in state-merging approaches for passive learning systems. His research has direct applications in improving software reliability through formal testing frameworks. His recent publication trends indicate a strong focus on advancing automata learning techniques, particularly extending the AALpy framework with passive learning capabilities. This work represents the cutting edge of model inference and formal verification, addressing challenges in state-merging algorithms for complex software systems. His research bridges theoretical foundations with practical testing applications. Professor Aichernig serves as an active member of the academic community through various roles including doctoral examination committees and program committees for major conferences like the NASA Formal Methods Symposium. He has examined PhD theses on advanced reasoning techniques for quantified Boolean formulas, learning Mealy machines with local timers, and deep integration of SAT solving with model checking. He currently participates in the Cluster of Excellence 'Bilateral Artificial Intelligence' project as a Principal Investigator, working alongside prominent researchers in the AI field. This active research project, funded by the Austrian Science Fund (FWF), runs from October 2024 through September 2029 and represents a significant collaborative effort in artificial intelligence research at JKU Linz.