| Nom & Prénom : | Leila BEN AYED |
| Email : | leila.benayed@ensi-uma.tn |
| Adresse : | ENSI - Univ la Manouba |
| Bibliographie : | https://www.google.com/url?q=https%3A%2F%2Fdblp.org%2Fpers%2Fa%2FAyed%3ALeila_Ben.html&sa=D&sntz=1&usg=AOvVaw0Fiz8w8PSJ17q-LFVmZSsl https://scholar.google.com/citations?user=yO1cMDwAAAAJ&hl=fr https://www.google.com/url?q=https%3A%2F%2Fwww.researchgate.net%2Fprofile%2FLeila_Ben_Ayed2&sa=D&sntz=1&usg=AOvVaw2lTMmbkJwJhvOJ26NNypC7 |
| Télécharger Curriculum vitae |
Informatique fondamentale |
- Doctorat en Sciences de l'Informatique : Faculté des Sciences de Tunis (FST) & Institut National Polytechnique de Lorraine (INPL), 2000. - Ingénieur en Informatique : Faculté des Sciences de Tunis-Département des Sciences de l'Informatique (FST-DSI), 1994. - Diplôme Universitaire des Études Scientifiques DUES FST, 1990. - Baccalauréat Math Science du lycée de Bardo-Khaznadar, 1988. |
- Théorie des Langages - Techniques de Compilation - Logiques Formelles - Logiques Temporelles - Méthodes formelles de Développement de Logiciels - Vérification de Logiciels ( preuve de théorèmes et vérification sur modèles où model checking) - Algorithmique Avancée et Complexité - Intelligence Artifucielle - Conception et Validation des Systèmes Temps Réel - Algorithmique et Programmation C - Théorie des Graphes |
- Membre du Laboratoire LiPSIC 318, Laboratoire d’Informatique, de Parallélisme et des Systèmes Intelligents Communicants, Faculté des Sciences de Tunis, Université Tunis el Manar. |
- Professeur en Informatique, ENSI depuis 2016. - Maître de Conférences en Informatique, ENSI 2011-2016. - Maître Assistante en Informatique, FST-DSI 2000-2011. - Assistante en Informatique FSEGT 1997-2000. - Assistante Contractuelle en Informatique, ESPTT 1996-1997. - Assistante Contractuelle en Informatique, ENIT 1994-1996. |
