currently doing my phd in computational logic at TU Wien under the supervision of Stefan Hetzl
check out my cv