I'm Mohamed TOUNSI,
Assistant Professor of computer science
ISIMS, Sfax University - Tunisia

For more details, you can download my Curriculum Vitae Here

I teach computer science.

All courses and tutorials are detailed in this page: "Page enseignement"

Courses Level Link
Academic year 2014-2015
Interface Homme/Machine Licence informatique Download resources
Théorie de graphes et optimisation Licence informatique Download resources
Programmation orientée objet Licence informatique Download resources
Système d'exploitation Licence informatique Download resources
Méthode formelle Master informatique Download resources

Research

My research interests are related to distributed algorithms and formal methods. In particular, I use local computation model and formal method Event-B to specify and prove correctness of distrbibuted algorithms.        For more details.



Contact

Adress :

Pôle technologique de Sfax, Route de Tunis Km 10 B.P. 242, 3021 SFAX

Phone :

(00 216) 74 862 233

Fax :

(00 216) 74 862 432

E-mail :

mohamed.tounsi@fsegs.rnu.tn