bureau 3251
téléphone
1 (514) 343.6822
télécopieur
1 (514) 343.5834
courriel
aboulham@iro.umontreal.ca
page personnelle
iro.umontreal.ca/~aboulham

 
BIOGRAPHIE
Ph.D. en informatique, Université de Montréal, 1984
 
 
RECHERCHE
intérêts de recherche

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. 
 
 

ENSEIGNEMENT

Architecture des ordinateurs. Synthèse des systèmes numériques.