About My Research

I am a Doctoral Researcher at the CISPA Helmholtz Center for Information Security and a Ph.D. student at Saarland University. My research focuses on formal methods and verification for distributed and parameterized systems, aiming to improve reliability, correctness, and security in complex computational environments.

I explore the intersection of formal reasoning and AI. In particular, how learning and grammatical inference can enhance verification methods and enable adaptive, data-informed rigor in system design. This perspective also shapes my initiative, Post-AI Formal Methods, which examines how formal methods evolve in the age of AI.

I bring experience in model checking, parameterized verification, and automated reasoning, and I collaborate with international research groups to bridge theoretical insight and practical impact in safety-critical and security-sensitive domains. I am always open to dialogue and collaboration with researchers exploring new perspectives on formal methods, verification, and their role in trustworthy AI.