Me in brief:

PhD student working on formal verification of WebAssembly (WASM) programs, with a focus on translating WASM/WAT to verification-oriented intermediate representations (Boogie) and integrating SMT/BMC backends.

Short Bio

I am a PhD student at EPITA Research / LRE (Paris), working on formal methods and software verification. My research focuses on building a complete verification pipeline for WebAssembly programs.

Research Interests

• Formal verification of WebAssembly (WASM)
• WASM/WAT translation to Boogie
• SMT-based verification and bounded model checking
• Secure and verifiable smart contracts / blockchain applications

Teaching

• Teaching assistant / lab sessions (EPITA): Programming and software engineering modules