Description

I am currently a software engineer at ITSV working on the modernization of legacy systems.

I hold a PhD degree in artificial intelligence, with a specialization in automated reasoning. My doctoral dissertation, entitled The limits of automated inductive theorem provers, was conducted under the supervision of Stefan Hetzl and was awarded with the 2025 Bill McCune PhD Award in Automated Reasoning.

In addition to my professional work as a software engineer, I am actively engaged in ongoing research within the field of automated reasoning.