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