Current Position

Since July 2010, I am a post-doctoral researcher at Uppsala University (Sweden) where I work within the UPMARC project on developing algorithms and tools for the automatic verification of multicore systems.

Research Interests

My research interests broadly span model checking, verification of infinite state systems, analysis of biological systems, and automata theory. Currently, I am working on developing an automata-based techniques and algorithms for the automatic verification of concurrent programs.

Short Biography

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.

I received my doctoral degree in Computer Science in June 2010 from the University of Paris Diderot- Paris 7 (France) under the supervision of Prof. Ahmed Bouajjani and Dr. Tayssir Touili. The title was On the Verification Problem of Concurrent Programs: Decidability and Complexity.

This is my CV.

Publications and Talks

A list of published articles and talks is available here.

Sub-reviewer

I was an external reviewer for the following journals and conferences: TACAS 2009, CAV 2009, CONCUR 2009, RP 2009, INFINITY 2009, FSTTCS 2009, POPL 2010, LICS 2010, TACAS 2010, CAV 2010, CONCUR 2010, SPIN 2010, FoVeOOS 2010, FSTTCS 2010, POPL 2011, SOFSEM 2011, TACAS 2011, STACS 2011, FOSSACS 2011, CAV 2011, ICALP 2011, GandALF 2011, CONCUR 2011, RP 2011, Infinity 2011, ATVA 2011, FSTTCS 2011, STACS 2012, LATA 2012, LICS 2012, CAV 2012, and LMCS 2012.

Teaching

2011-2012:   Programming Theory , Uppsala University: Course Manager. 
2008-2009:   Numerical Analysis, University of Paris Diderot - Paris 7: Teaching Assistant. 
2008-2009:   Automata Theory, University of Paris Diderot-Paris 7: Teaching Assistant.
2007-2008:   Introduction to Programming Using Java, University of Paris Diderot-Paris 7: Teaching Assistant.
2007-2008:   Introduction to computer Concepts, University of Paris Diderot-Paris 7: Teaching Assistant.
2006-2007:   Java Programming, University of Paris Diderot-Paris 7: Teaching Assistant .

Contact Informations


E-Mail : mohamed_faouzi.atig [AT] it.uu.se

   Phone : +46 (0) 18 - 471 6231
Fax     : +46 (0) 18 - 511 925

Office location :
Room 1456
ITC building 1, floor 4
Department of Information Technology
Uppsala University
SE-751 05 Uppsala, Sweden
Mailing  address :
Division of Computer Systems
Department of Information Technology
Uppsala University
Box 337
SE-751 05 Uppsala, Sweden