معرفی
Mohamed Faouzi Atig is a Professor in Computer Systems at the Department of Information Technology, Uppsala University. His career spans roles as Senior Lecturer (2018-2021), Associate Senior Lecturer (2014-2018), and Researcher (2012-2018) at the same institution. He obtained his Doctoral Degree in Computer Science from the University of Paris Diderot-Paris 7 (2010) and a Master in Engineering from Tunisia Polytechnic School (2005).
- Current Role: Professor in Computer Systems
- Institution: Uppsala University
- Research Focus: Model checking, verification of infinite-state systems, weak memory models, automata theory, string constraints, concurrent program analysis
His research explores formal methods for concurrent programs, weak memory models (TSO/PSO/POWER), automata theory for verification, and SMT solvers for string constraints. Recent work integrates graph neural networks with word equation solving and advances stateless model checking techniques.
Key article trends include
- Weak Memory Model Verification (TSO, PSO, POWER)
- Stateless Model Checking Algorithms
- String Constraint Solvers (TRAU, Norn)
- Timed Automata and Multi-Pushdown Systems
Mohamed Faouzi Atig has led collaborations on fence insertion procedures, timed pushdown automata, and database-driven system verification. His contributions are recognized through publications in top-tier conferences and journals.
