I am a postdoctoral researcher at University of Toronto.
My research is focused on developing formal verification and programming languages techniques to ensure the correctness of software systems such as distributed systems, concurrent programs, blockchain, and smart contracts.
My research is founded in part by a NSERC Postdoctoral Fellowship.
I work with Fan Long in the CS Department and Andreas Veneris in the ECE Department and their research groups.
I was a Ph.D. student under the supervision of Constantin Enea and Ahmed Bouajjani at the Research Institute on the Foundations of Computer Science (IRIF) at University of Paris, Paris, France. During my doctoral studies, I did a research internship at SRI International where I worked under the supervision of Michael Emmi.
My Ph.D. thesis was on algorithmic verification and program analysis with focus on software programs running on top of distributed systems.
Before starting doctoral studies, I spent one year as a Software Programmer at Tru Simulation + Training, Montréal, 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, Montréal, 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.