Jean-Claude Fernandez

Ancien professeur a l'Universite Grenoble Alpes. Ancien membre du laboratoire
Verimag. Il a enseigne les architectures logicielles et materielles, la
theorie des langages et des automates, la semantique et la compilation. Ses
travaux de recherche portaient sur la verification formelle et la validation
de systemes critiques.