Name:Noa Izsak

Bio:

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.

Country:Germany

Affiliation:CISPA Helmholtz Center for Information Security, Germany

Research interests:Formal Methods, Distributed & Parameterized Verification, AI-driven Reasoning