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.

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