Notre école

Formation

Recherche

Coopération

Vie Estudiantine

Admissions

  • Informations générales
  • Spécialités
  • Scolarité & Diplômes
  • Enseignements
  • Activités de recherche
  • Expérience professionnelle
  • Vie associative
  • Autres
Informations générales
Nom & Prénom : Leila BEN AYED
Email : leila.benayed@ensi-uma.tn
Adresse :

17 rue Sadok Ghaylab. Ras Tabia. Le Bardo

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
Spécialités

Informatique fondamentale

Scolarité & Diplômes

- 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.

Enseignements

- 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

Publications

- 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.

Encadrements
Expérience professionnelle

- 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.

Membre association
Autres