Mohamed Faouzi Atig

Mohamed Faouzi Atig is currently a Professor in Computer Systems at the Department of Information Technology, Uppsala University, Sweden. He was promoted to Senior Lecturer (associate professor) in 2018 and held an associate senior lecturer position (assistant professor equivalent) from 2014-2018. He completed a postdoctoral fellowship at Uppsala University (2010-2012) and earned his PhD in Computer Science from University of Paris Diderot-Paris 7 (France) in 2010.

• Academic Roles: Professor (2021-present), Senior Lecturer (2018-2021), Associate Senior Lecturer (2014-2018), Researcher (2012-2018)
• Education: PhD (2010, University of Paris Diderot) and Docent (2017, Uppsala University)

His research focuses on Formal Verification of concurrent systems, particularly verification of infinite state systems, weak memory models, automata theory, and concurrency analysis. His recent work addresses verification challenges in hardware-software interactions and string constraints.

His publications span topics including thread synchronization, stateless model checking, string constraint solving, and TSO memory model verification, with contributions presented at top conferences like POPL, PLDI, and APLAS.

Scientific Achievements:

• Habilitation (Docent degree) in Computer Science (2017, Uppsala University)
• Key committee roles at VMCAI (2023), POPL (multiple years), and SPLASH/PLDI conferences