Chukri Soueidi, Ph.D.

I am currently a Senior Technical Lead for Protocols, SDK, and Compliance at MailSPEC, where I focus on designing and implementing protocols, ensuring compliance, and developing SDKs. MailSPEC puts privacy at the core of its mission, empowering regulated industries with sovereign and compliant solutions that help organizations connect and collaborate more securely and effectively.

I defended my PhD in Computer Science at Université Grenoble Alpes in May 2024, where I worked 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. This work led to numerous peer-reviewed publications and the development of advanced tools in this field. During my PhD, I also visited 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.