PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Mohamed Faouzi Atig

Registered user since Fri 24 Jun 2016

Name:Mohamed Faouzi Atig
Bio:

Since July 2021, Mohamed Faouzi Atig is a professor in computer systems at the Department of Information Technology, Uppsala University. From June 2018 to June 2021, he was a senior lecturer (i.e., associate professor) at the Department of Information Technology, Uppsala University. From June 2014 to May 2018, he was an associate senior lecturer (i.e., assistant professor) at the Department of Information Technology, Uppsala University. Mohamed Faouzi had also a researcher position at the Department of Information Technology, Uppsala University from March 2012 to May 2018. Previously, he was a Post-doctoral researcher at Uppsala University from July 2010 to March 2012.

In March 2017, he obtained my docent degree (comparable to habilitation) from Uppsala University. In June 2010, he obtained my doctoral degree in Computer Science from the University of Paris Diderot- Paris 7 (France) under the supervision of Ahmed Bouajjani and Tayssir Touili.

His research interests broadly span model checking, verification of infinite state systems, weak memory models, and automata theory.

Country:Sweden
Affiliation:Uppsala University, Sweden
Research interests:Formal Verification, Concurrency, Model-checking, automata and logics.

Contributions

Show activities from other conferences

PLDI 2024-profile
View general profile