Supervisors of LogiCS@TUWien

 

 

   Univ.Prof. Dr. Ezio Bartocci 

    Institute of Computer Engineering
    CPS Research Division

    Research Areas: Cyber Physical Systems
    Website 
    Scientific Background:

 

 

 

 


   Univ.Prof. Dr. Agata Ciabattoni

    Institute of Logic and Computation
    Theory & Logic Group

    Research Areas: Mathematical Logic, Formal Methods
    Website
    Scientific Background:
  

 

 

 


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

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

     Research Areas: Intelligent Agents, Knowledge Representation and
     Reasoning, Logic Programming, Knowledge Bases Systems,
     Computational Logic
     Website

  Scientific Background:

 

   Privatdoz. Robert Ganian

    Institute of Logic and Computation
    Algorithms and Complexity Group 

    Research Areas:
    Website

 

 

 

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

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

    Research Areas: Verification, Invariants, Theorem Proving,
    Symbolic Computation
    Website
    

 

  

 

   Univ.Prof. Matteo Maffei

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

    Research Areas:
    Website
    Scientific Background:

 

 

   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
    Scientific Background: 

 

 

 

   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
    Scientific Background:
    

 

 

   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
    Scientific Background: 
  
 

 

 

    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
    Scientific Background: 

  

 

   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,
    Automata Theory, Logic in Computer Science
    Website
    Scientific Background: 

 

 

 

 

 

 


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