Research Projects

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

 

 

Research Project 1: Symbolic Computation for Loop Analysis

PI/Supervisor: Laura Kovacs

 

Research Project 2: Computational Argumentation

PI/Supervisor: Stefan Woltran

 

Research Project 3: Foundations of Logic Programming

PI/Supervisor: Stefan Woltran

 

Research Project 4: Parameterized Complexity of Problems in Artificial Intelligence

PI/Supervisor: Robert Ganian

 

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

PI/Supervisor: Robert Ganian

 

Research Project 6: Analysis/Synthesis of Probabilistic Programs

PI/Supervisor: Ezio Bartocci

 

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

PI/Supervisor: Ezio Bartocci

 

Research Project 8: Verification of Probabilistic Hyperproperties

PI/Supervisor: Ezio Bartocci

 

Research Project 9: Normative Reasoning for Autonomous Systems

PI/Supervisors: Ezio Bartocci, Agata Ciabattoni

 

Research Project 10: Computer Search in Discrete Mathematics

PI/Supervisor: Stefan Szeider

 

Research Project 11: Formal Methods in Computational Social Choice

PI/Supervisor: Stefan Szeider

 

Research Project 12: SAT-Based Methods for Explainable Al

PI/Supervisor: Stefan Szeider

 

Research Project 13: Speeding up Algorithms with Machine Learning

PI/Supervisor: Stefan Szeider

 

Research Project 14: Formal Methods for Security and Privacy

PI/Supervisor: Matteo Maffei

 

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

PI/Supervisor: Agata Ciabattoni

 

Research Project 16: Proof Theory for Non-Classical Logics

PI/Supervisor: Agata Ciabattoni

 

Research Project 17: Foundations for Normative Reasoning for AI Systems

PI/Supervisor: Agata Ciabattoni

 

Research Project 18: Formal Methods for Testing and Bug Finding

PI/Supervisor: Georg Weissenbacher

 

Research Project 19: Model Checking and Satisfiability Solving

PI/Supervisor: Georg Weissenbacher

 

Research Project 20: Automated Resource Bound Analysis

PI/Supervisor: Florian Zuleger

 

Research Project 21: Verification of Pointer-Manipulating Programs 

PI/Supervisor: Florian Zuleger

 

Research Project 22: Verification of Concurrent and Distributed Systems

PI/Supervisor: Florian Zuleger

 

Research Project 23: Numeric Reasoning in DLs 

PI/Supervisor: Magdalena Ortiz

 

Research Project 24: Domain Ontologies for Explainable AI

PI/Supervisor: Magdalena Ortiz

 

Research Project 25: Distributed Stream Reasoning

PI/Supervisor: Thomas Eiter

 

Research Project 26: Hybrid Answer Set Programming

PI/Supervisor: Thomas Eiter

 

Research Project 27: Abductive Reasoning for Explainable Scheduling

PI/Supervisor: Thomas Eiter

 

Research Project 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