latest news

I am a postdoctoral researcher at University of Toronto, working with Fan Long and Andreas Veneris.

My research is focused on using formal verification and programming languages techniques to ensure the correctness of software systems such as distributed systems, concurrent programs, blockchain, and smart contracts.

I was a PhD student under the supervision of Constantin Enea and Ahmed Bouajjani at the Research Institute on the Foundations of Computer Science (IRIF) at Université de Paris, Paris, France. During my PhD, I did a research internship at SRI International where I worked under the supervision of Michael Emmi.

My Phd thesis was on algorithmic verification and program analysis with focus on software programs running on top of distributed systems.

Before starting PhD, I spent one year as a Software Programmer at Tru Simulation + Training, Montreal, Canada. I worked on writing drivers, modularizing large code projects into libraries, and setting up continuous integration systems. Before that, I spent six months after finishing my master thesis as a Research Intern in a partnership project funded by NSERC Engage and CRIAQ Start-Up grants between Concordia University and Marinvent. I worked on investigating the usage of formal methods (with focus on interactive theorem proving and probabilistic model checking) in the system safety assessment for Integrated Modular Avionics (IMA) architectures.

I received a Master of Applied Science in 2016 from Concordia University, Montreal, Canada and a Bachelor of Science in 2014 from Ecole Polytechnique de Tunisie, Tunis, Tunisia. My master thesis was on the formalization and verification of optical quantum circuits using HOL-Light interactive theorem prover.