I am a postdoctoral researcher at MPI-SWS working with Rupak Majumdar. My research focuses on programming languages and program verification.
I completed my PhD under the supervision of Ahmed Bouajjani and Peter Habermehl at IRIF, Université Paris Cité, and Ismail Berrada at the College of Computing, University Mohammed VI Polytechnic.
Publications
-
Data-driven Verification of Programs with Integers and Parametric Arrays.
-
Data-Driven Verification of Procedural Programs with Integer Arrays.
-
Enhancing Numerical Invariants Learning with Bounded Reachability Analysis.
-
Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes.
