Mohamed Faouzi Atig

Professor vid Institutionen för informationsteknologi, Datorteknik

E-post:
mohamed_faouzi.atig[AT-tecken]it.uu.se
Telefon:
018-471 3159
Besöksadress:
Rum ÅNG 105175 hus 10, Lägerhyddsvägen 1
Postadress:
Box 337
751 05 UPPSALA

Kort presentation

I am a senior lecturer at the Department of Information Technology, Uppsala University. My research interests broadly span model checking, verification of infinite state systems, weak memory models, and automata theory.

For more information, please click here

Akademiska meriter: Docent

Since June 2018, I am a senior lecturer at the Department of Information Technology, Uppsala University. From June 2014 to May 2018, I was an associate senior lecturer at the Department of Information Technology, Uppsala University. I had also a researcher position at the Department of Information Technology, Uppsala University from March 2012 to May 2018. Previously, I was a Post-doctoral researcher at Uppsala University from July 2010 to March 2012.

In March 2017, I obtained my docent degree (comparable to habilitation) from Uppsala University. In June 2010, I 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. I obtained my master in engineering from the Tunisia Polytechnic School (Tunisia) in June 2005 and my Master of Science in Computer Science from the University of Paris Diderot- Paris 7 (France) in September 2006.

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

For more information, please click here

Kontakta katalogansvarig vid den aktuella organisationen (institution eller motsv.) för att rätta ev. felaktigheter.

Mohamed Faouzi Atig
Senast uppdaterad: 2021-03-09