Chukri Soueidi

I am currently a Senior Technical Lead for Protocols, SDK, and Compliance at MailSPEC, where I focus on refining and writing protocols, ensuring compliance, and developing SDKs. MailSPEC empowers regulated industries with secure and efficient solutions that help organizations connect and collaborate more effectively.

I successfully defended my PhD in Computer Science at Université Grenoble Alpes in May 2024, where I have been working under the supervision of Yliès Falcone in the CORSE team at Inria since October 2019. My research falls under software engineering and formal methods, specializing in program instrumentation and runtime verification of concurrent and distributed programs. My efforts have led to numerous peer-reviewed papers and the development of advanced tools in this field. As part of my doctoral work, I had the opportunity to visit the Formal Computer Science Laboratory at Université du Québec à Chicoutimi (UQAC) in 2021 and 2022, where I collaborated with Sylvain Hallé.

Before shifting into research, I built a 10-year track record in software development and project management across a range of sectors, including public services, healthcare, education, and commerce. Throughout my career, I have earned multiple recognitions, such as the Microsoft Most Valued Professional (MVP) award for three consecutive years (2014–2016) and the AUB Computer Science Graduate Student of the Year award. I have also authored the book Microsoft Azure Storage Essentials, published by Packt in 2015.