Research Topics

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

 

 

Research Topic 1: Symbolic Computation for Loop Analysis

PI/Supervisor: Laura Kovacs

 

Research Topic 2: Computational Argumentation

PI/Supervisor: Stefan Woltran

 

Research Topic 3: Foundations of Logic Programming

PI/Supervisor: Stefan Woltran

 

Research Topic 4: Parameterized Complexity of Problems in Artificial Intelligence

PI/Supervisor: Robert Ganian

 

Research Topic 5: Fixed-Parameter Algorithms by Exploiting the Structural Properties of Inputs

PI/Supervisor: Robert Ganian

 

Research Topic 6: Analysis/Synthesis of Probabilistic Programs

PI/Supervisor: Ezio Bartocci

 

Research Topic 7: From Failure Explanation to Repair in Cyber-Physical Systems

PI/Supervisor: Ezio Bartocci

 

Research Topic 8: Verification of Probabilistic Hyperproperties

PI/Supervisor: Ezio Bartocci

 

Research Topic 9: Normative Reasoning for Autonomous Systems

PI/Supervisors: Ezio Bartocci, Agata Ciabattoni

 

Research Topic 10: Computer Search in Discrete Mathematics

PI/Supervisor: Stefan Szeider

 

Research Topic 11: Formal Methods in Computational Social Choice

PI/Supervisor: Stefan Szeider

 

Research Topic 12: SAT-Based Methods for Explainable Al

PI/Supervisor: Stefan Szeider

 

Research Topic 13: Speeding up Algorithms with Machine Learning

PI/Supervisor: Stefan Szeider

 

Research Topic 14: Formal Methods for Security and Privacy

PI/Supervisor: Matteo Maffei

 

Research Topic 15: Normative reasoning: from Ancient Texts to Artificial Intelligence

PI/Supervisor: Agata Ciabattoni

 

Research Topic 16: Proof Theory for Non-Classical Logics

PI/Supervisor: Agata Ciabattoni

 

Research Topic 17: Foundations for Normative Reasoning for AI Systems

PI/Supervisor: Agata Ciabattoni

 

Research Topic 18: Formal Methods for Testing and Bug Finding

PI/Supervisor: Georg Weissenbacher

 

Research Topic 19: Model Checking and Satisfiability Solving

PI/Supervisor: Georg Weissenbacher

 

Research Topic 20: Automated Resource Bound Analysis

PI/Supervisor: Florian Zuleger

 

Research Topic 21: Verification of Pointer-Manipulating Programs 

PI/Supervisor: Florian Zuleger

 

Research Topic 22: Verification of Concurrent and Distributed Systems

PI/Supervisor: Florian Zuleger

 

Research Topic 23: Numeric Reasoning in DLs

PI/Supervisor: Magdalena Ortiz

 

Research Topic 24: Domain Ontologies for Explainable AI

PI/Supervisor: Magdalena Ortiz

 

Research Topic 25: Distributed Stream Reasoning

PI/Supervisor: Thomas Eiter

 

Research Topic 26: Hybrid Answer Set Programming

PI/Supervisor: Thomas Eiter

 

Research Topic 27: Abductive Reasoning for Explainable Scheduling

PI/Supervisor: Thomas Eiter

 

Research Topic 28: Multi-objective contextual reasoning

PI/Supervisor: Thomas Eiter

 

 

 

 

 

 


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