Supervisors of LogiCS@TUWien

[About | Programme | Training | Supervisors | Topics | Apply | Calls | Team | Student Guide ]

 

 

Univ.Prof. Dr. Ezio Bartocci 

Institute of Computer Engineering
CPS Research Division

Research Areas: Verification of Cyber-Physical Systems, Probabilistic Program Analysis, Runtime Verification

Website 

 

Univ.Prof. Pavol Cerny, PHD

Institute of Computer Engineering
Formal Methods in Systems Engineering Group

Research Area: Computer-Aided Verification

Website 

 

Univ.Prof. Dr. Agata Ciabattoni 

Institute of Logic and Computation
Theory & Logic Group

Research Areas: Mathematical Logic, Formal Methods, Normative Reasoning
Website

 

O.Univ.Prof. Dipl.-Ing. Dr.techn. Thomas Eiter 

Institute of Logic and Computation (Head)
Knowledge-Based Systems Group (Head)

Research Areas: Knowledge Representation and Reasoning, Declarative Problem Solving, Artificial Intelligence
Website

 

Privatdoz. Robert Ganian, PhD

Institute of Logic and Computation
Algorithms and Complexity Group 

Research Areas: Parameterized Complexity, Exact Algorithms, Artificial Intelligence
Website

 

O.Univ.Prof. Dipl.-Ing. Dr.techn. Georg  Gottlob

Institute of Logic and Computation
Databases and Artificial Intelligence

Research Areas: Web Data Extraction, Constraint Satisfaction, Computational Logic, Data Bases,
Data Base Theory, Query Languages, Complexity Theory
Website

 

Univ.Prof. Dr.techn. Laura Kovács, MSc.

Institute of Logic and Computation
Formal Methods in Systems Engineering Group (Head)

Research Areas: Automated Reasoning, Software Verification, Symbolic Computation
Website

  

Univ.Prof. Matteo Maffei

Institute of Logic and Computation
Security and Privacy Research Unit (Head)

Research Areas: Formal Methods for Security and Privacy, Applied Cryptography, Cryptocurrencies, Web Security
Website

 

Associate Prof. Dr.techn. Magdalena Ortiz, MSc

Institute of Logic and Computation 
Knowledge-Based Systems Group

Research Areas: Knowledge Representation and Reasoning with particular emphasis in Description Logics
Website

 

Univ.Prof. Mag.rer.nat. Dr.rer.nat. Stefan Szeider

Institute of Logic and Computation
Algorithms and Complexity Group (Head)

Research Areas: Combinatorial Optimization, Automated Reasoning, Algorithms, Satisfiability, computational complexity, Fixed Parameter Tractability, Constraint satisfaction, Artificial Intelligence, Networks
Website

 

 

Univ.Prof. Dipl.-Ing. Georg Weissenbacher, D.Phil. 

Institute of Logic and Computation
Formal Methods in Systems Engineering Group

Research Areas: Automated Software Verification
Website

 

Univ.Prof. Dipl.-Ing. Dr.techn. Stefan Woltran

Institute of Logic and Computation
Databases and Artificial Intelligence Group (Head)

Research Areas: Propositional Logic, Nonmonotonic Reasoning, Argumentation, Knowledge Representation, Logic Programming 
Website

 

 

Associate Prof. Dipl.-Math. Dr.techn. Florian Zuleger 

Institute of Logic and Computation 
Formal Methods in Systems Engineering Group

Research Areas: Verification, Program Analysis, Formal Methods, Logic in Computer Science
Website

 

 

 

 

 

 


Funding 

This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie
grant agreement No 101034440.Co-funded by the European Union