Alexis de Colnet

Alexis de Colnet is a PostDoc Researcher at the Vienna University of Technology, affiliated with the Faculty of Informatics and the Algorithms and Complexity department. Their work focuses on overcoming intractability in knowledge compilation, computational complexity, and model counting.

Research Interests:

• Knowledge Compilation
• Computational Complexity
• Artificial Intelligence
• Model Counting
• Answer Set Programming
• Theoretical Computer Science

Recent Publications explore trends in proof systems, compilation efficiency, and translations between machine learning models for explainability. These works are deeply rooted in theoretical computer science and AI, addressing challenges in knowledge representation and computational hardness.

Projects:

• Overcoming Intractability in the Knowledge Compilation Map (2022–2025)
• QBFPC (2022–2025)

Funded by the Austrian Science Fund (FWF).