Gordon Pace


My main research interests are formal methods for software and hardware design, compositional verification, synchronous languages and semantics of programming languages. I am currently mainly working on compositional verification techniques for model-checking asynchronous systems. I am also working on techniques for combining synchronous languages in a safe, and efficient way.

Some papers to download

Some teaching I've done in the past

Some Tools

INRIA Rhone-Alpes / VASY
655, avenue de l'Europe
38330 Montbonnot St Martin
Tel: (+33) 0476-61 53 52
Fax: (+33) 0476-61 52 52
E-mail: Gordon.Pace@inria.fr