معرفی
Mohamed Faouzi Atig is a Professor in Computer Systems at the Department of Information Technology, Uppsala University since July 2021. Previously, he served as Senior Lecturer (Associate Professor) from June 2018 to June 2021 and as Associate Senior Lecturer (Assistant Professor) from June 2014 to May 2018.
- Current: Professor, Uppsala University (2021–present)
- Senior Lecturer, Uppsala University (2018–2021)
- Associate Senior Lecturer, Uppsala University (2014–2018)
- Researcher, Uppsala University (2012–2018)
- Post-doctoral Researcher, Uppsala University (2010–2012)
Education:
- PhD in Computer Science from University of Paris Diderot-Paris 7 (2010)
- Docent (Habilitation) in Computer Systems from Uppsala University (2017)
Research Interests: A multidisciplinary researcher in Formal Verification, focusing on Model Checking and Automata Theory for Concurrency and Weak Memory Models. His work spans Formal Methods, Software Verification, and Logics for system correctness.
Publication Trends: His recent works (2015–2024) analyze Hardware Memory Models (Intel-x86, TSO), String Constraint Solving, and Stateless Model Checking under relaxed memory semantics. He applies Automata Theory to Persistent Memory verification and Concurrency problems.
Committee Roles: Active in program committees for POPL (2020–2025), PLDI (2017–2024), and VMCAI (2017).
