Ph.D. en informatique, Université
de Montréal, 1984
Ma recherche se situe dans
le domaine de VLSI et dans l'architecture des ordinateurs. J'ai travaillé
sur des stratégies de tolérance aux pannes dans le matériel
informatique, sur des algorithmes efficaces pour la génération
de tests pour des pannes simples ou multiples pour les circuits décrits
au niveau de portes logiques ou de commutateurs. Je me suis intéressé
aux algorithmes de partitionnement de graphes et de réseaux ainsi
qu'à l'application de ces techniques aux systèmes matériels.
J'ai abordé des problèmes de modélisation et de spécification
de matériel en utilisant différents paradigmes et environnements,
en particulier CCS, VHD et SDL.
Présentement, je travaille
sur des problèmes d'ordonnancement pipeline afin de synthétiser,
sur du matériel, des algorithmes de manière efficace et performante.
Je
travaille aussi sur une méthodologie de spécification de
niveau d'abstraction élevé afin de spécifier, valider
et tester des systèmes matériels.
Architecture
des ordinateurs. Synthèse des systèmes numériques. |