bureau 3243
téléphone
1 (514) 343.7472
télécopieur
1 (514) 343.5834
courriel
cerny@iro.umontreal.ca
page personnelle
iro.umontreal.ca/~cerny

 
BIOGRAPHIE

Ph.D. en génie électrique, Université McGill, 1975
 

RECHERCHE
intérêts de recherche

Mon travail se situe dans le domaine de la spécification, vérification et synthèse des systèmes et circuits micro-électroniques. Je m'intéresse, en particulier, aux systèmes dont les propriétés en temps réel jouent un rôle important pour déterminer la sécurité du fonctionnement et la performance. Je développe une méthode de spécification qui permet de spécifier un comportement complexe en composant des gabarits de comportements élémentaires ressemblant à des chronogrammes. Le comportement peut ensuite être vérifié par simulation ou par des méthodes formelles où l'on vérifie les propriétés temporelles et du séquencement en faisant abstraction du traitement. Enfin, je développe des méthodes de synthèse d'une réalisation matériel/logiciel à partir de ce type de spécifications.
 
 

ENSEIGNEMENT