![]() |
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. |