Short Bio

Kaan Unalan is a PhD student and university assistant at the Databases and Artificial Intelligence Unit at TU Wien. He holds a Master’s degree in Logic & Computation and a Bachelor’s degree in Software Engineering, both from TU Wien. In September 2025, he began his PhD research.

PhD Project – Foundations for Smarter Reasoning in Answer Set Programming

Supervised by Stefan Woltran

Developing formal and computational methods for making symbolic reasoning more efficient, with a focus on equivalence, abstraction, and intelligent refinement in Answer Set Programming.