Ahmed BOUAJJANI

Ahmed BOUAJJANI

Tél. : 01 57 27 92 64

Fax : 01 57 27 94 09

abou@liafa.univ-paris-diderot.fr


Statut

Professeur

Promotion

Senior 2013

Établissement

Université Paris Diderot - Paris 7

Secteur disciplinaire

Sciences et Technologies de l'Information et de la Communication

Spécialité

Informatique

Thématique

1 Vérification formelle de systèmes
2 Analyse et vérification de programmes
3 Automates et logique

Revenir