Research Projects

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

 

Available Projects:

 

Research Project 1: Automated Resource Bound Analysis

PI/Supervisor: Florian Zuleger

 

Research Project 2: Verification of Pointer-Manipulating Programs 

PI/Supervisor: Florian Zuleger

 

Research Project 3: Verification of Concurrent and Distributed Systems

PI/Supervisor: Florian Zuleger

 

 

Research Project 4: Distributed Stream Reasoning

PI/Supervisor: Thomas Eiter

 

Research Project 5: Hybrid Answer Set Programming

PI/Supervisor: Thomas Eiter

 

Research Project 6: Explainable Scheduling

PI/Supervisor: Thomas Eiter

 

Research Project 7: Multi-objective contextual reasoning

PI/Supervisor: Thomas Eiter

 

Research Project 8: Computational Argumentation

PI/Supervisor: Stefan Woltran

 

Research Project 9: Foundations of Logic Programming

PI/Supervisor: Stefan Woltran

 

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: Normative reasoning: from Ancient Texts to Artificial Intelligence

PI/Supervisor: Agata Ciabattoni

 

Research Project 14: Proof Theory for Non-Classical Logics

PI/Supervisor: Agata Ciabattoni

 

Research Project 15: Logic-based methods for AI Fairness

PI/Supervisor: Agata Ciabattoni

 

 

Research Project 16: Non-standard reasoning in Description Logic using solvers 

PI/Supervisor: Magdalena Ortiz
co-Supervisor: Stefan Szeider

 

Research Project 17: Ontology-based analysis of temporal data

PI/Supervisor: Magdalena Ortiz
co-Supervisor: Thomas Eiter

 

Research Project 18: Explainable reasoning with open- and closed-world knowledge bases

PI/Supervisor: Magdalena Ortiz
co-Supervisor: Thomas Eiter

 

Research Project 19: Associative Web Search and Entity Set Expansion using Logical Reasoning

PI/Supervisor: Georg Gottlob

 

Research Project 20: Model Checking and Satisfiability Solving

PI/Supervisor: Georg Weissenbacher

 

 

Filled/Unavailable Projects:

 

 

 

 


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