Current Research Projects

MSCA COFUND Doctoral Programme LogiCS@TUWien
Marie Skłodowska-Curie COFUND Doctoral Programme LogiCS@TUWien for interdisciplinary logic research.
MSCA COFUND Doctoral Programme LogiCS@TUWien
Overcoming Intractability in the Knowledge Compilation Map
FWF ESPRIT Project ESP 479 on overcoming intractability in the knowledge compilation map.
Overcoming Intractability in the Knowledge Compilation Map
Parameterized Analysis in Artificial Intelligence
FWF START Project Y1329 on parameterized analysis and structure exploitation in artificial intelligence.
Parameterized Analysis in Artificial Intelligence
QBF Proofs and Certificates
FWF ESPRIT Project ESP 197 on proof systems and certificate extraction for Quantified Boolean Formulas.
QBF Proofs and Certificates
REVEAL-AI: Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI
WWTF Project ICT19-065 on revealing and utilizing hidden structure for solving hard problems in AI.
REVEAL-AI: Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI
STRIDES: Structure Identification with SAT
FWF Project P36420 on structure identification with SAT for algorithmic tractability.
STRIDES: Structure Identification with SAT