| Professeur émérite, ex-titulaire de la Chaire des Techniques Fondamentales de l'Informatique au CNAM (Conservatoire National des Arts et Métiers). |
| Membre du département SOC du laboratoire Lip6 (Université Paris 6). |
| Membre de l'Institut Frederik R. BULL. |
| Ancien membre du Working Group IFIP 10.5 |
| Architecture interne des microprocesseurs. |
| Conception semi-automatique des circuits VLSI complexes "custom". |
| Vérification formelle du matériel. |
| Epistémologie de l'informatique. |
| Approche cognitive de la conscience. |
| Management et stratégie de la recherche. |
| Documents pédagogiques. |
| Publications récentes. |
| Une petite histoire des transistors. |
| Tournoi Turing Science Frontières. |
| Conférence UTLS |