Find Academic Supervisors

Katalin FazekasView profile

Assistant Professor

• Formal Verification
• SAT Solving
• SMT Solving
• +3 more

Katalin Fazekas is an Assistant Professor in the Formal Methods in Systems Engineering group at TU Wien. Her research focuses on improving incremental reasoning methods for SAT/SMT solvers and advancing formal verification techniques. She holds a PhD from the Johannes Kepler University Linz, supervised by Armin Biere. Education: PhD in Logical Methods in Computer Science (LogiCS), JKU Linz (2016–2021) Research Interests: Incremental SAT/SMT solving Formal verification of distributed systems Algorithm optimization for constraint solving Automated reasoning and proof generation Key Projects: INCR (2021–2024) : Austrian Science Fund (FWF) project on scalable verification via incremental reasoning REVEAL-AI and SLIM : Collaborative projects on AI-driven formal methods Awards: Hertha Firnberg Fellowship (FWF), 2021–2024 Tools Developed: CaDiCaL 2.0: Advanced SAT solver QSM: Quantified symmetric minimization framework for distributed protocols Lab/Affiliations: FORSYTE research group, TU Wien.

Christel BaierView profile

Professor

• Probabilistic systems
• Modeling and specification formalisms
• Semantics of coordination languages
• +4 more

Christel Baier is a Full Professor for Algebraic and Logical Foundations of Computer Science at the Faculty of Computer Science, Technical University Dresden. She has held this position since 2006, following her role as Professor for Theoretical Computer Science at Rheinische-Friedrich-Wilhelms Universität Bonn (1999-2006). Her research focuses on probabilistic systems, modeling and specification formalisms, semantics of coordination languages, probabilistic model checking, quantitative analysis, temporal and modal logics, and automata theory. Her work bridges theoretical computer science with practical applications in system verification and analysis, particularly in developing formal methods for probabilistic and timed systems. Professor Baier's publications demonstrate consistent contributions to theoretical computer science with a clear trajectory from foundational work in automata theory to applied model checking techniques. Her research shows particular strength in probabilistic verification methods and their application to complex system analysis. Award for visiting professor (1 month in both years), CNRS/ENS Cachan, France (2005 and 2006) ETAPS Best Theory Paper Award (2008) Professor Baier has advised numerous PhD students throughout her career, including Alexander Asteroth, Nathalie Bertrand, Marcus Groesser, Verena Wolf, and Frank Ciesinski. She currently supervises 4 PhD students at TU Dresden. She has served as Chair of the examination board for bachelor, master and diploma programs in Computer Science at TU Dresden and has been Principal Investigator for 4 national projects funded by the German Research Foundation (DFG). Her research group at TU Dresden focuses on advancing formal verification methods for probabilistic systems. She maintains active involvement in the academic community through editorial board membership of the Journal of Universal Computer Science, steering committee participation for major conferences, and extensive program committee service for top-tier theoretical computer science venues.

Georg WeissenbacherView profile

Professor

• Formal Methods in Systems Engineering
• Software Verification
• Concurrency
• +5 more

Georg Weissenbacher is a Professor at Vienna University of Technology , affiliated with the Network Lab and the research area of Formal Methods in Systems Engineering . His academic work focuses on software verification , formal methods , and concurrent systems . University: Vienna University of Technology Research Area: Formal Methods in Systems Engineering Academic Rank: Professor Education: D.Phil. Univ.Prof. Dipl.-Ing. Research Interests : Weissenbacher's work centers on formal verification techniques for software and hardware systems. Key areas include: Hyperproperties : Analyzing properties of systems involving multiple execution traces, such as security and robustness. Model Checking : Applying bounded model checking to automotive software (e.g., AUTOSAR components) and concurrent systems. Symbolic Execution : Leveraging symbolic execution for bug detection in programs with complex behaviors like speculative execution. Concurrency Bugs : Formalizing heisenbugs and developing methods to extract safe thread schedules from incomplete model checking results. Automated Reasoning : Improving interpolation-based techniques and SAT solvers for program analysis and fault localization. Publication Trends : His recent articles (2024-2025) emphasize symbolic execution for hyperbug detection, machine learning in security verification, and automotive software validation. Earlier works (2023-2021) explore model checking , mutation testing , and concurrent system analysis . Projects : He leads initiatives such as: Abstraction-based Parameterized TLA Checker Bit-level Accurate Reasoning and Interpolation Tools for Concurrent and Distributed Systems LogiCs-Stipendien (Formal Methods in Computer-Aided Design) Collaboration and Supervision : Weissenbacher co-edits conference proceedings (e.g., FMCAD 2023 , CAV 2018 ) and supervises students in formal verification, including Andreas Fellner (model-based mutation testing), Emmanuel Pescosta (speculative non-interference), and Tobias Nießen (hyperproperty counterexamples).

• Digital Innovation
• Business Process Management
• License Management
• +3 more

Giray Havur serves as a Researcher at the Institute for Innovation Systems within the Department of Digital Business and Innovation at St. Pölten University of Applied Sciences, focusing on digital transformation at the intersection of technology, law, and business processes. His research program centers on three critical domains: License Management Systems : Pioneering the DALICC framework for automated license clearance, customization, and compatibility checking in digital asset ecosystems Business Process Optimization : Applying Answer Set Programming to resource allocation, risk-aware process fragmentation, and decision-intensive workflow management Sustainable Data Governance : Developing Digital Product Passport architectures (DPP4ALL) for transparent supply chain tracking and circular economy applications Analysis of his 2021-2023 publications reveals a strategic shift toward operationalizing semantic technologies for regulatory compliance, with increasing emphasis on European sustainability initiatives and decentralized data exchange architectures. His work consistently bridges theoretical formal methods with practical industry applications. Dr. Havur actively contributes to major research projects including OpenDALICC (open license management framework), DPP4E (Digital Product Passport for Europe), and ECO-TCO (sustainable business modeling), collaborating with EU institutions and industry partners to advance digital innovation standards.

• Formal Methods
• Parallel and Distributed Computing
• Symbolic Computation
• +3 more

Wolfgang Schreiner is an A.Univ.-Prof. (Associate University Professor) at the Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. His research focuses on formal methods, parallel and distributed computing, and symbolic computation. He leads projects in automated reasoning, programming language semantics, and educational software tools. His work emphasizes practical applications of formal methods, including the development of tools like RISCAL for model checking and the RISC ProgramExplorer for program reasoning. He collaborates on interdisciplinary projects, such as analyzing queueing systems using probabilistic model checking and designing grid computing frameworks for medical applications. Key research interests include semantics-based language design, theorem proving, and educational technology. He has authored textbooks like *Concrete Abstractions* and *Thinking Programs*, emphasizing foundational concepts in computer science. His contributions span theoretical advancements and practical implementations, with notable work in distributed systems, formal verification, and computational logic.

Jordi CortadellaView profile

Professor

• Electronic Design Automation (EDA)
• Concurrency Theory
• Asynchronous Circuits
• +6 more

Jordi Cortadella is a Full Professor in the Department of Software at the Universitat Politècnica de Catalunya (UPC), Spain. His academic journey spans decades, with a Ph.D. in Computer Science from UPC (1987) and visiting roles at institutions like UC Berkeley and Intel Corporation. A Fellow of the IEEE (2015) and member of Academia Europaea (2013), he specializes in formal methods, concurrency theory, and asynchronous circuit design. His work bridges theoretical and applied research in EDA tools and VLSI systems. Education M.S. in Computer Science, UPC (1985) Ph.D. in Computer Science, UPC (1987) Research Interests : Cortadella's research focuses on algorithms for electronic design automation, asynchronous circuits, and formal methods. Recent publications explore Petri net decomposition, dataflow circuit verification, and ethical frameworks for research governance. His work impacts both theoretical concurrency models and practical applications like FPGA optimization and energy-efficient design. Scientific Awards : Fellow of the IEEE (2015) Member of Academia Europaea (2013) Distinction for University Research Promotion (Catalan Government, 2003) Descartes Prize Finalist (2002) Best Ph.D. Thesis at UPC (1992) National Award for Best Computer Science Student (1986)

Andreas StöcklView profile

Professor

• Large Language Models
• Machine Learning
• Artificial Intelligence
• +5 more

Andreas Stöckl is a Professor at the University of Applied Sciences Upper Austria, affiliated with the Research Center Hagenberg and the Digital Media Lab. His research focuses on Large Language Models, AI applications in various domains, and digital transformation. He has been actively involved in projects such as the Intelligent Decision Engine for software architecture and the WalkVR study on virtual reality walking behavior. His work bridges AI ethics, risk management, and practical applications in e-commerce and healthcare. Stöckl has received notable awards including the Best Paper Award (2022) and the EU Product Safety Award (2023). His research outputs span machine learning, wildlife accident modeling, and fact-checking methodologies using LLMs. Collaborations involve international teams addressing topics like human-centered AI models and automated data extraction from financial texts. He leads multiple projects including data-mining for product defect detection and CRISAM® Loop for AI-based risk management. His contributions emphasize interdisciplinary approaches, combining technical innovation with societal impact through AI-driven solutions.

• Databases
• Artificial Intelligence
• Text Mining
• +2 more

Ingo Feinerer serves as an Associate Professor at Vienna University of Technology's Faculty of Informatics, specifically within the Institute of Information Systems Engineering (E192-02). His research bridges theoretical computer science and practical applications in database systems, artificial intelligence, and text mining, with significant contributions to configuration management and formal methods. His educational background includes: PhD Dissertation (2007): A formal treatment of UML class diagrams as an efficient method for configuration management Diploma Thesis (2005): Formal program verification: a comparison of selected tools and their theoretical foundations Feinerer's research focuses on database theory (particularly schema mapping and dependencies), AI-driven configuration systems using integer linear programming, and text mining infrastructure development in R. His work combines theoretical rigor with practical tool development, notably through the textcat and tm packages. The integration of formal methods in software engineering remains a consistent thread throughout his publications. Analysis of his 15 most recent publications reveals strong specialization in database constraints (40%), text mining applications (30%), and software configuration systems (30%), with increasing interdisciplinary work connecting computer science to digital humanities. His notable recognition includes: INiTS Award (2007) for technology commercialization potential Feinerer has supervised doctoral research including F. I. Chertes' work on schema mapping languages and diploma theses on UML semantics and probabilistic databases. He led major research projects HINT (2012-2017) and SEE (2012-2016) focusing on database technologies and information systems. His work demonstrates consistent funding through Austrian national research programs. As a core member of the Databases and Artificial Intelligence research group, he collaborates extensively on R package development for text analysis and contributes to international workshops on theoretical aspects of software engineering.

• Worst-Case Execution Time Analysis
• Real-Time Systems
• Testing of Embedded Systems
• +2 more

Raimund Kirner is an academic at the Institute of Computer Engineering (E191-01) at Technische Universität Wien , specializing in real-time and embedded systems. His career spans research in Worst-Case Execution Time (WCET) Analysis , Time-Triggered Communication , and Automated Testing for safety-critical systems. He has contributed to projects such as ALL-TIMES, COSTA, and HINT, focusing on timing predictability and composability in real-time systems. Key Research Areas : WCET Analysis, Real-Time Systems, Embedded Testing, Time-Predictable Computing Notable Collaborations : Peter Puschner, Andreas Prantl, Martina Zolda Recent Publications analyze cybersecurity in automotive networks, quantitative interface evaluation for time-triggered systems, and synchronization trade-offs. His work bridges theoretical timing models with practical compiler and hardware solutions for deterministic execution. Awards : Recipient of the Mobilitätsstipendium der Creditanstalt AG (2003) for outstanding dissertation. Advising includes supervising 11 theses from 2002–2014 on topics like Automated Load Balancing , WCET Estimation , and Compiler Timing Models .

Giunchiglia FaustoView profile

Professor

• Social computing
• Logics, formal methods
• Knowledge management, representation and organization
• +3 more

Fausto Giunchiglia is a Full Professor at the Faculty of Science, University of Trento, Italy. He has held academic positions including Associate Professor at the Faculty of Economics (1992–1999) and visiting roles at Stanford University and the University of Edinburgh. His research focuses on Social computing, Logics, Knowledge management, Artificial Intelligence, Agents, and Semantics. Education: PhD in Computer Engineering (1987, University of Genoa), Master in Computer Science (1983, University of Genoa), and Laurea in Electronic Engineering (1981, University of Genoa). Research highlights include contributions to semantic matching (S-Match algorithm), planning via model checking, and multilingual systems. Notable awards include ECCAI Fellowship (2002), AI*IA Prize (1992), and multiple innovation awards for EU projects like WeNet and WhiteRabbit. Guided over 50 students, including PhD candidates from 2024 down to 1985. Active in interdisciplinary projects addressing knowledge representation, mobile sensing, and cross-cultural AI applications.

Mei HongView profile

Professor

• Software architecture
• Program analysis and testing
• Software System for Cloud Computing and Big Data
• +5 more

Mei Hong is a Professor and Vice President for HR and International Collaboration at Beijing Institute of Technology. Previously held roles include Professor and Vice President at Shanghai Jiao Tong University (2013-2016), Director of key national research centers at Peking University, and leadership positions in software engineering education and research. Holds dual academic leadership and technical expertise in software engineering. Education: BSc/MSc (Nanjing University of Aeronautics & Astronautics, 1984/1987); PhD (Shanghai Jiao Tong University, 1992). Research focuses on software architecture, cloud computing systems, component-based engineering, and software testing. Has pioneered the 'Internetware' paradigm and contributed to national standards for software development. Publications span software engineering methodologies and tools, with recent work emphasizing mobile computing optimization and automated testing techniques. Over 20 awards including IEEE Fellow (2014), Member of Chinese Academy of Sciences (2011), and multiple best paper awards. Advisory roles include Alibaba DAMO Academy's Academic Board, China's National Key R&D Program, and leadership in 863 High-Tech Program committees. PI of 40+ grants totaling over 200 million CNY. Editorial leadership includes SCIENCE CHINA-Information Sciences (Editor-in-Chief since 2018), ACM Computing Surveys, and top-tier journals/conferences. Active in conference organization (General Chair for ICSME 2017, SPLC 2016).

• Formal Verification
• Model Checking
• Parity Games
• +5 more

Tom van Dijk serves as an Assistant Professor in the Formal Methods and Tools group at the University of Twente, where he conducts cutting-edge research in formal verification and develops practical software tools for the verification community. His work bridges theoretical computer science with real-world applications in model checking and synthesis. His educational background includes: PhD in Computer Science (2016), University of Twente. Thesis: Sylvan: Multi-core Decision Diagrams MSc in Computer Science (2012, cum laude), University of Twente. Thesis: The parallelization of binary decision diagram operations for model checking BSc in Computer Science (2010), University of Twente. Thesis: Analysing And Improving Hash Table Performance Van Dijk's research centers on formal verification with specialization in parity games and binary decision diagrams . He pioneers multi-core parallel algorithms for symbolic model checking, focusing on practical implementations that scale to industrial problems. His work integrates SAT/SMT solving , reactive synthesis , and algorithm optimization to advance the state-of-the-art in verification tooling. His publication trajectory reveals consistent innovation in parity game solving, evolving from foundational work on tangle-based algorithms to recent contributions in reproducibility and AI-aided verification. The 2024 papers demonstrate expanding scope into educational technology while maintaining core focus on game-solving efficiency and synthesis techniques. His key recognitions include: Dutch national M&I Informatie Scriptieprijs 2012 (2nd place) for MSc thesis Best paper award at SPIN 2017 for distributed BDD research Van Dijk actively mentors students and seeks collaborations: Student Supervision : Welcomes BSc/MSc students for projects on parity games and BDDs Tool Development : Maintains open-source research tools (Sylvan, Oink, Knor) Community Service : Serves on 20+ program committees including CAV and TACAS As core member of the Formal Methods and Tools group, he contributes to major verification frameworks including LTSmin, Storm, and IscasMC. His Lace work-stealing framework underpins parallelization in multiple verification tools, while ongoing projects focus on polynomial-time parity game solutions and AI integration in verification workflows.

Josef PichlerView profile

Professor

• Software Systems
• Reverse Engineering
• Documentation Generation
• +5 more

Josef Pichler serves as a Professor at the Research Center Hagenberg within the University of Applied Sciences Hagenberg, specializing in the Information & Communications Technology focal area. His academic profile demonstrates continuous research activity with publications spanning from 1998 through 2024, showing particularly productive periods in 2008-2010, 2013-2014, and consistently from 2017 onward. Dr. Pichler's research focuses on practical software engineering solutions with strong industrial applications. His primary interests include software systems , reverse engineering , documentation generation , and domain-specific languages . His work bridges theoretical computer science with practical industry needs, developing tools that address real-world software maintenance and comprehension challenges. Analysis of his recent publications reveals a clear research trajectory toward integrating artificial intelligence with traditional software engineering practices. His 2023-2024 work particularly emphasizes AI-assisted programming, semantic differencing techniques, and low-code development platforms for industrial applications like welding robot control. This demonstrates his ability to adapt to emerging technologies while maintaining focus on practical software engineering problems. Dr. Pichler has delivered numerous presentations on topics ranging from ChatGPT applications in computer science education to advanced semantic differencing approaches. His activities indicate active engagement with both academic and industry communities, particularly in the German-speaking region. While specific grant information isn't detailed in the provided text, his research output suggests involvement in projects related to software documentation, reverse engineering tools, and AI-assisted development environments. His supervision of student work (indicated by 'Supervised Work (3)') demonstrates his commitment to academic mentorship alongside his research activities. The Research Center Hagenberg, where Dr. Pichler is based, appears to be a significant hub for ICT research with strong industry connections, as evidenced by his publications on industry collaboration and practical software solutions.

• Artificial Intelligence
• Theoretical Computer Science
• Automated Reasoning
• +3 more

Martin Kronegger serves as a Senior Lecturer in the Department of Automation Systems at Vienna University of Technology (TU Wien), where he teaches courses including Fundamentals of Digital Systems, Computer Engineering Projects, and Scientific Projects in Computer Science for the 2025W and 2026S semesters. His academic profile demonstrates active engagement in both teaching and research within the Faculty of Electrical Engineering and Information Technology. Dr. Kronegger's research centers on theoretical foundations of artificial intelligence with emphasis on parameterized complexity, automated planning, and answer set programming. His work bridges theoretical computer science with practical applications in knowledge representation and reasoning, as evidenced by publications in premier venues like Artificial Intelligence journal and AAAI conferences. Key research themes include: Backdoor techniques for planning problems Parameterized complexity analysis of AI problems QBF solving for conformant planning SAT-based verification methods for software models His publication landscape reveals consistent contributions to parameterized complexity theory applied to planning and logic programming from 2011-2019, with significant work on multiparametric analysis of answer set programming and SAT-based approaches to planning problems. The research trajectory shows deepening theoretical contributions while maintaining connections to practical AI applications. Dr. Kronegger has supervised at least one diploma thesis on planning solvers and has participated in major research projects including FAIR (2013–2018), START (2014–2022), and X-TRACT (2014–2018). His project work demonstrates sustained collaboration with research groups at TU Wien focused on computational logic and automated reasoning. Based in the Automation Systems research group (E191-03) at TU Wien's Treitlstraße campus, he maintains active research collaborations through projects like the START program and contributes to the international answer set programming community as evidenced by involvement in the Fourth Answer Set Programming Competition.

• Cyber-Physical Systems
• Formal Verification
• Probabilistic Systems
• +3 more

Francesco Pontiggia is a PreDoc Researcher at the Institute of Computer Engineering, Faculty of Informatics at TU Wien. His research focuses on formal verification of probabilistic systems, cyber-physical systems, and automated controller synthesis. He contributes to the ProbInG project (2020–2025), developing model checkers for probabilistic operator precedence languages and related formalisms. Key research interests include probabilistic hyperproperties, formal methods for probabilistic programming, and verification techniques for recursive stochastic systems. His work bridges theoretical foundations with practical tools such as POPACheck and POMC, targeting applications in automated planning and program analysis. Recent publications (2019–2025) emphasize advancements in model checking algorithms for probabilistic systems, operator precedence languages, and exception handling mechanisms. These works address challenges in verifying complex systems with stochastic behaviors and conditional probabilities. He collaborates on projects integrating formal methods with compiler design, runtime verification, and cyber-physical system design. His research has led to tool implementations and theoretical frameworks published in top-tier venues like QEST and ACM Transactions on Programming Languages and Systems.