Sidi Mohamed's 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.
Sidi Mohamed obtained his dectorate from the Université Paris Cité working under the supervision of Constantin Enea and Ahmed Bouajjani at the Research Institute on the Foundations of Computer Science (IRIF). During his doctoral studies, he did a research internship at SRI International under the supervision of Michael Emmi. Afterwards, He was a postdoctoral reseacher at University of Toronto funded in part by a NSERC Postdoctoral Fellowship and a Mitacs Accelerate Fellowship, working with Fan Long in the CS Department and Andreas Veneris in the ECE Department and their research groups.
Before starting doctoral studies, Sidi Mohamed spent one year as a Software Programmer at Tru Simulation + Training, Montréal, Canada. he worked on writing drivers, modularizing large code projects into libraries, and setting up continuous integration systems. Before that, he 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. He 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.
Sidi Mohamed 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. His Master thesis was on the formalization and verification of optical quantum circuits using HOL-Light interactive theorem prover.
Upcoming events:
Workshop on Verification of Distributed Systems (VDS) 2025
32nd Static Analysis Symposium (SAS 2025)