Department of Information Technology

Mohamed Faouzi Atig

researcher at Department of Information Technology, Division of Computer Systems

Email:
mohamed_faouzi.atig[AT-sign]it.uu.se
Telephone:
+4618-471 3159
Mobile phone:
+46 70 1679467
Visiting address:
Room POL ITC 1452 ITC, Lägerhyddsv. 2, hus 1

Postal address:
Box 337
751 05 UPPSALA

Short presentation

 I am an associate senior lecturer at the Department of Information Technology, Uppsala University where I also hold a researcher position since March 2012. My research interests broadly span model checking, verification of infinite state systems, weak memory models, and automata theory.

For more information, please click here

My courses

Biography

Since June 2014, I am an associate senior lecturer at the Department of Information Technology, Uppsala University where I also hold a researcher position since March 2012. Previously, I was a Post-doctoral researcher at Uppsala University from July 2010 to March 2012. 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

 

Publications

Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.

Updated  2016-09-30 15:20:58 by Mohamed Faouzi Atig.