My interest lies at the intersection between current AI models and formal logic.
My goal is to develop more reliable AI systems that foster science and knowledge.
I am particularly interested by code generation, automated theorem proving and natural language processing.
Currently looking for a research position! (postdoc, internship, ...)