Find Academic Supervisors

Wolfgang KunzView profile

Professor

• Hardware Safety and Security
• Formal Hardware Verification
• Embedded Computing Systems
• +5 more

Wolfgang Kunz is a Full Professor (C4, W3) and Chair of Electronic Design Automation at the Technische Universität Kaiserslautern since 2001. His academic career spans multiple prestigious institutions, including Goethe-University Frankfurt/Main and the University of Massachusetts, Amherst. He has held leadership roles such as Dean (2005-2007) and Vice-Dean (2007-2009) at TU Kaiserslautern. Habilitation (Dr. rer. nat. habil.), Computer Science, University of Potsdam (1996) Doctoral degree (Dr.-Ing.), Electrical Engineering, University of Hannover (1992) Dipl.-Ing. degree, Karlsruhe Institute of Technology (1989) His research focuses on hardware verification, security, and optimization, particularly in embedded systems and processors. His work on formal verification methods has been commercialized by companies like Synopsys, Mentor Graphics, and Siemens EDA. His 2016-2021 publications address critical security issues such as Spectre/Meltdown and introduce innovative verification frameworks adopted by industry leaders like Infineon and OneSpin Solutions. Scientific awards include the IEEE Fellow (2006), German IT Society Award (2005), and TU Kaiserslautern Distinguished Teaching Award (2016). He has served on editorial boards of major journals and coordinated the Erasmus Mundus European Master Program in Embedded Computing Systems since 2010. Key students: Jörg Bormann, Raik Brinkmann, Tobias Ludwig Collaborations: Siemens EDA, Infineon, AbsInt, Intel SCAP Spin-offs: LUBIS EDA, OneSpin Solutions

Marta Zofia KwiatkowskaView profile

Professor

• Automated verification
• Probabilistic model checking
• Temporal logics
• +3 more

Professor Marta Zofia Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College at the University of Oxford, where she has held a faculty position since 2007. She previously served as Professor of Computer Science at the University of Birmingham (2001–2007), Reader and Lecturer at the University of Birmingham (1994–2001), and Lecturer at the University of Leicester (1986–1994). Her academic career began as Assistant Professor at the Jagiellonian University in Kraków, Poland (1980–1988). Education: BSc/MSc in Computer Science, Jagiellonian University, Kraków MA, University of Oxford PhD, University of Leicester Research Interests: Professor Kwiatkowska spearheaded the development of probabilistic and quantitative verification methods on the international stage. Her work bridges theory and practice through the PRISM model checker—the leading software tool in probabilistic model checking—used worldwide for research and teaching. Application domains include communication and security protocols , nanotechnology designs , power management , ubiquitous computing and systems biology . She investigates automated verification , temporal logics , semantic models for concurrency , real-time systems , and biological process modelling . Current grant funding exceeds £3.7 million from EPSRC, EU and ERC, including the prestigious ERC Advanced Grant VERIWARE. Scientific Awards & Honours: Fellow of the Royal Society Fellow of the ACM Fellow of the European Association for Theoretical Computer Science (EATCS) Fellow of the British Computer Society (BCS) Fellow of the Polish Society of Arts & Sciences Abroad ERC Advanced Grant VERIWARE (€2.046 M, 2010–2015) Top Cited Article Award, Theoretical Computer Science (2005–2010) Best Paper Award, QEST 2006 Doctoral Supervision & Grants: Professor Kwiatkowska actively supervises doctoral students (D.Phil. at Oxford) and post-doctoral researchers. She welcomes applications in areas aligned with her research interests, detailed here . Current students include Charlie Griffin, Daqian Shao, Matthew Yuan and Minghao Liu; past students and researchers number over twenty, many now in faculty or industry leadership roles. Laboratory & Teams: She leads the Oxford Quantitative Verification group within the Department of Computer Science. Ongoing projects include FUN2MODEL, ELSA, FAIR and the flagship PRISM probabilistic model checker. The group maintains strong collaborations with biological, robotics and engineering teams worldwide.

Joseph SifakisView profile

Researcher

• Model Checking
• Concurrent Systems Specification and Verification
• Component-Based Design
• +3 more

Joseph Sifakis is a CNRS Research Director and founder of Verimag Laboratory in Grenoble, France. He holds the INRIA-Schneider endowed industrial chair since 2008 and has been instrumental in advancing concurrent systems specification and verification. Education: Electrical Engineering (Technical University of Athens), Computer Science (University of Grenoble) Research interests focus on component-based design , real-time systems , and correct-by-construction techniques . He pioneered the development of the BIP framework and contributed to model checking, a cornerstone of industrial system verification. Recent publications emphasize component-based modeling, formal verification, and distributed system design, reflecting his work's impact on embedded systems and critical applications like aerospace and telecommunications. Scientific awards include: Turing Award (2007) CNRS Silver Medal (2001) Test-of-Time Award (2012) Multiple honorary doctorates (2008-2011) Member of prestigious academies Industry collaborations span Airbus, ST Microelectronics, and the European Space Agency, with applications in aeronautics, telecommunications, and industrial software standards. He leads the ARTIST2 Network of Excellence and directs the CARNOT Institute 'Intelligent Software and Systems'.

Borivoje DakicView profile

Associate Professor

• Quantum Information Theory
• Quantum Foundations
• Quantum Tomography
• +5 more

Dr. Borivoje Dakic is an Associate Professor at the University of Vienna , affiliated with the Faculty of Physics and the Quantum Optics, Quantum Nanophysics and Quantum Information department. His research spans foundational and applied aspects of quantum theory. Operational reconstruction of quantum formalism Quantum interference as a resource for communication Tomography of large-scale quantum systems Macroscopic quantum phenomena His work includes scalable verification techniques for quantum devices and collaborations with experimental teams like Philip Walther’s and Markus Aspelmeyer’s groups. He received the Marko Jarić Prize (2025) for his contributions. Recent projects focus on diagnostics of quantum devices (FWF BeyondC SFB), information-theoretic foundations of quantum interference (FWF P36994), and local operations in quantum field theory (Cluster of Excellence QuantA). His research on quantum coherence in networks and macroscopic entanglement challenges traditional assumptions about quantum-classical boundaries. Publications emphasize resource-efficient tomography, device-independent verification, and foundational frameworks for quantum statistics and field theory. Teaching: Quantum Information (2025W), Theory in Quantum Optics (2025S), VCQ Summerschool Labs: Dakić Group at University of Vienna

Luca CardelliView profile

Visiting Professor

• Type theory
• Systems biology
• Principles of programming languages
• +3 more

Luca Cardelli is a Principal Researcher and Assistant Director at Microsoft Research Cambridge, UK, since 1997. He holds visiting professorships at Imperial College London (Department of Computing, 2004–2009) and the University of Trento (2005–2007). He earned his PhD in Computer Science from the University of Edinburgh in 1982. His research spans type theory , molecular programming , and principles of programming languages , with applications to systems biology and concurrency theory. Notable contributions include formal frameworks for modeling biochemical systems (e.g., the stochastic π-calculus) and designing DNA-based circuits. Key achievements include the AITO Dahl-Nygaard Senior Prize (2007) and multiple Most Influential Paper Awards at POPL and ETAPS. His work bridges computer science and biology, advancing both theoretical foundations and practical molecular computing.

Victor VianuView profile

Professor

• Computational Logic
• Database Systems
• Database Theory
• +4 more

Victor Vianu is a Professor of Computer Science and Engineering at the University of California, San Diego and holds the INRIA International Chair at INRIA-Saclay in Paris. He has maintained continuous faculty status at UC San Diego since 1983 while developing extensive international collaborations, particularly with French research institutions including INRIA, ENST-Paris, ENS-Paris, and the University of Paris. His academic credentials include a Ph.D. in Computer Science from the University of Southern California (1983) and undergraduate studies in Mathematics and Informatics at the University of Bucharest (1974-1977). Professor Vianu's research spans computational logic, database systems and theory, and automatic verification. His work uniquely bridges theoretical foundations with practical applications in XML processing, workflow systems, and data-driven applications. He has made seminal contributions to understanding the theoretical underpinnings of database query languages and their expressive power, particularly in the context of XML technologies and workflow systems. His research demonstrates a consistent trajectory from theoretical computer science to practical database systems applications. His publication record reveals significant contributions to database theory spanning over three decades, with particular emphasis on XML technologies, workflow systems, and formal methods for data-driven applications. His work shows a clear evolution from foundational theoretical work to practical applications in business processes and web technologies. INRIA International Chair (2013) Fellow of the American Association for the Advancement of Science (AAAS) (2013) ACM PODS Alberto O. Mendelzon Test-of-Time Award (2010) Fellow of the Association for Computing Machinery (ACM) (2006) Professor Vianu has held significant leadership roles including Editor-in-Chief of the prestigious Journal of the ACM, numerous program committee chair positions for major database conferences (PODS, ICDT, ASIAN), and General Chair for ACM SIGMOD conferences. He has served on the executive committees of SIGMOD (1998-2000) and PODS (1993-2004), and was a member of the ICDT Council (1997-2007), demonstrating sustained influence in the theoretical database community. His extensive invited talks at major conferences including College de France, ACM PODS, and International Conference on Database Theory highlight his international recognition.

• Model-Based Testing
• Automata Theory
• Machine Learning
• +5 more

Bernhard Aichernig is an Associate Professor at the Institute of Software Engineering and Artificial Intelligence. His work bridges formal methods, model-based testing, and artificial intelligence, with a focus on automata learning, digital twins, and AI-assisted programming. Institution: Institute of Software Engineering and Artificial Intelligence Key Research Areas: Model-Based Testing, Automata Learning, AI-Driven Verification His research explores the integration of machine learning into formal verification, enabling scalable testing of complex systems like IoT devices and reinforcement learning agents. Recent projects include AI-Augmented DevOps frameworks (AIDOaRT) and digital twin validation (LearnTwins). Notable scientific awards include multiple best paper recognitions at SEFM (2020, 2021) and the TAYSIR Competition first place (2023). His publications emphasize hybrid approaches combining genetic programming, SMT solving, and neural networks for system modeling. 2025 : AI-assisted programming, timed automata via domain knowledge 2024 : Stochastic environment modeling, Git system learning 2023 : Reinforcement learning under partial observability, digital twins for VPN servers He actively contributes to testing frameworks like AALpy and investigates explainable AI for fault diagnosis in cyber-physical systems.

• Computational Logic
• Declarative Logic Programming
• Answer-Set Programming
• +5 more

Hans Tompits is an Associate Professor in the Department of Knowledge-Based Systems at Technische Universität Wien (Vienna University of Technology). His research focuses on computational logic, declarative logic programming, and formal methods, with a particular emphasis on Answer-Set Programming (ASP). He coordinates the Master's program in Logic and Computation and leads projects in areas such as formal methods for optimization, fault-tolerant autonomous systems, and algorithmic composition. His work bridges theoretical advancements with practical applications, including tools like SeaLion (an ASP IDE with debugging support) and dlvhex (an ASP-based semantic web reasoner). He has contributed to foundational topics like program equivalence, debugging techniques, and integration of ASP with external systems. His recent projects address challenges in autonomous vehicle architectures, music composition algorithms, and safety-critical system design. Tompits has published extensively on topics ranging from nonmonotonic reasoning and modal logics to the development of declarative programming tools. His interdisciplinary approach spans computer science, mathematics, and AI, with applications in both academic and industrial contexts.

Ana SokolovaView profile

Professor

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

Ana Sokolova is a Professor in the Department of Computer Science at the University of Salzburg. She is affiliated with the Faculty of Digital and Analytical Sciences and actively contributes to research in theoretical computer science. University: University of Salzburg Faculty: Faculty of Digital and Analytical Sciences Department: Computer Science Email: ana.sokolova@plus.ac.at Her research focuses on probabilistic systems , concurrency theory , convex algebras , and formal verification . This work bridges theoretical foundations with practical applications in distributed computing and programming semantics. Recent publications highlight advancements in trace semantics , determinization , probabilistic anonymity , and coalgebraic modeling . Key trends include the integration of Markov chains , nondeterministic systems , and algebraic structures for formal verification.

• Formal Methods
• Software Verification
• Concurrent Systems
• +6 more

Thomas Henzinger is a Professor at the Institute of Science and Technology Austria (ISTA), where he leads the Henzinger Thomas Group focused on improving software reliability through mathematical methods. He previously served as ISTA's President (2009–2022) and held academic positions at EPFL, Max Planck Institute, UC Berkeley, and Cornell University. Education: Dipl.-Ing. in Computer Science (Johannes Kepler University, Austria), M.S. in Computer and Information Sciences (University of Delaware), PhD in Computer Science (Stanford University), and Honorary Doctorates from Fourier University (France) and Masaryk University (Czech Republic). The group's research spans concurrent systems , embedded systems , quantitative model checking , runtime monitoring , and trustworthy AI . They develop tools like HyTech and VAMOS, emphasizing predictability, robustness, and fairness in safety-critical software. Recent publications highlight trends in quantitative automata , fairness in AI , quantum algorithms , and automata theory , reflecting interdisciplinary applications from cyber-physical systems to neural networks. Collaborative projects include SPyCoDe (security foundations) and VAMOS (software monitoring). Honors & Awards: 2024 Fellow of the Royal Society 2020 Member, US National Academy of Sciences 2015 Royal Society Milner Award 2012 Wittgenstein Award 2006 ACM and IEEE Fellow 1995 NSF CAREER and ONR Young Investigator Awards Henzinger advises current and former PhD students including Mahyar Karimi, Pavol Kebis, and Mathias Lechner. His grants include ERC Advanced Grants (QUAREM, VAMOS) and FWF funding (Wittgenstein Award, NFN RISE). Labs & Teams: He leads the Henzinger Thomas Group at ISTA, collaborating with FORSYTE (TU Wien) and contributing to EU-funded initiatives. The group integrates postdocs, PhD students, and interns in formal methods and system verification.

Wil van der AalstView profile

Professor

• Business Process Management
• Data Mining
• Simulation
• +6 more

Wil van der Aalst is a full professor at RWTH Aachen University since 2018, leading the Process and Data Science (PADS) group. He serves as Chief Scientist at Celonis and is part-time affiliated with Fraunhofer FIT . Additional roles include deputy CEO of the Internet of Production Cluster of Excellence , co-director of the RWTH Center for Artificial Intelligence , and speaker of the RWTH ICT Profile Area . Previously, he led the Architecture of Information Systems group at Eindhoven University of Technology (TU/e) until 2017 and was a member of Tilburg University's Board of Governors (2015–2023). Research interests focus on process mining , business process management , Petri nets , and model-based analysis . His work bridges formal methods with real-world applications, influencing software development, standardization committees, and commercial tools like Celonis, SAP, and YAWL. Developed foundational WorkFlow nets (WF-nets) and soundness criteria for workflow modeling Pioneered the Workflow Patterns initiative (with Arthur ter Hofstede and Nick Russell), impacting process modeling standards Founded the YAWL open-source workflow system and ProM process mining framework Chaired steering committees for major conferences (Business Process Management, IEEE Task Force on Process Mining) Scientific honors include IEEE, ACM, and IFIP fellowships, the Alexander von Humboldt Award (2018), and memberships in prestigious academies such as Academia Europaea and the German Academy of Science and Engineering. He has an H-index of 182 (Google Scholar) and over 155,000 citations. He has served on the editorial boards of journals including Business & Information Systems Engineering , IEEE Transactions on Services Computing , and Transactions on Petri Nets and Other Models of Concurrency . He also co-founded the BPM User Group Foundation and led the Data Science Center Eindhoven (DSC/e) until 2017.

• Neurosymbolic AI
• Answer Set Programming
• Visual Question Answering
• +3 more

Nelson Nicolas Higuera Ruiz is a PreDoc Researcher at the Vienna University of Technology, affiliated with the Faculty of Informatics' Knowledge-Based Systems research group. His work bridges logic programming and deep learning for explainable AI. Research Focus: Neurosymbolic AI, Visual Question Answering (VQA), Answer Set Programming (ASP), and hybrid reasoning systems Projects: Leads optimization research in the LCS (2017–2025) project, developing neurosymbolic approaches for intelligent systems Key Contributions: Pioneering adaptive large-neighbourhood search algorithms for ASP optimization, modular neurosymbolic architectures, and contrastive explainability frameworks for VQA Collaborations: Active in international workshops and conferences including IJCAI, AAAI, and CLeaR, frequently collaborating with researchers like Thomas Eiter and Johannes Oetsch Publications: Focus on neurosymbolic integration, optimization algorithms, and explainability across AI, logic programming, and computer vision domains

Joost-Pieter KatoenView profile

Professor

• Model Checking
• Formal Verification
• Probabilistic Models
• +5 more

Joost-Pieter Katoen is a full Professor at RWTH Aachen University and Head of its Computer Science Department since 2012. He also holds a part-time (20%) Professorship at the University of Twente . His research focuses on model checking , probabilistic verification , formal semantics , and software verification , with applications in aerospace systems. His work has led to significant tools like MRMC (probabilistic model checker), COMPASS (AADL analysis tool-set), and libalf (learning automata library). He has authored over 18 international projects (total €5.2 million) and graduated 12 PhD students. Scientific Awards : Member, German National Academy of Sciences (Leopoldina), 2024 ACM Fellow, 2020 ERC Advanced Grant, 2018 Honorary doctorate, Aalborg University, 2017 Teaching Award, RWTH Aachen, 2010 Philips Early Career Development Award, 1988 Research Trends (from articles): His recent work spans probabilistic program verification , quantitative game theory , Markov chain analysis , and parameter synthesis for stochastic systems, with applications in AI, quantum computing, and fault tree analysis. Leadership & Service : Katoen co-founded the QEST conference , chairs ETAPS steering committee, and has led numerous program committees (CONCUR, TACAS, QEST). He has served on editorial boards and organized conferences/seminars globally.

• Computer Security
• Web Security
• Cryptography
• +1 more

Mauro Tempesta is a Senior Lecturer and Curriculum Coordinator for Security and Privacy at TU Wien's Faculty of Informatics. He teaches courses including 'Fundamentals of Security and Privacy' and 'Introduction to Security'. His research focuses on web security, browser mechanisms, firewall systems, and language-based security approaches. Tempesta's publications demonstrate expertise in analyzing modern web vulnerabilities and developing formal verification methods for security protocols. His recent work explores browser security mechanisms and same-site attacks, contributing to improved security frameworks for web applications.

• Model Engineering
• Web Engineering
• Process Engineering
• +9 more

Gerti Kappel is a full professor at the Institute of Information Systems Engineering at TU Wien, affiliated with the Business Informatics Group (BIG). Since 2020, she has served as Dean of the Faculty of Informatics at TU Wien, previously holding the role of Dean’s team member responsible for research, diversity, and financial affairs (2016–2019). She previously held a full professorship in computer science (database systems) and led the Department of Information Systems at Johannes Kepler University Linz (1993–2001). Her research focuses on Model Engineering, Web Engineering, and Process Engineering, particularly in cyber-physical production systems. She has co-authored influential works such as UML@Work (2005), UML@Classroom (2015), and Web Engineering (2006). Key projects include leadership roles in Vienna Informatics Living Lab (2018–2019), MPM4CPS (2014–2019), and ARTIST (2012–2015), addressing topics like model versioning, cloud architecture modeling, and inter-organizational systems. Her recent articles explore circular systems engineering, IoT-based simulation environments, and model-driven approaches for time-series analytics and cloud applications. She actively contributes to academic governance, including managing the Office of the Dean (E199-01) and overseeing faculty services. Her work emphasizes bridging theory and practice through collaborative frameworks like ERPEL and TROPIC . Grants: Projects funded by Austrian Research Promotion Agency, European Cooperation in Science and Technology, Vienna Business Agency, and others. Advising: Supervised over 15 graduate theses, including recent works on model-driven techniques for railway planning, debugging frameworks for modeling tools, and cloud-based IDEs. Labs/Teams: Leads research within the Business Informatics Group (BIG) and collaborates with the Vienna Informatics Living Lab for applied systems engineering.