Next: Helsinki
Up: Cooperating sites
Previous: France Telecom R&D


The Verimag laboratory at the University Joseph Fourier is a leading research center in embedded systems, with long standing experiences in the development of formal verification tools. It will mainly contribute to the objective of Correctness of Computer Systems through its research activities in temporal logics, concurrency theory and proof assistants.

The contact person is Jean-François Monin. He was head of the formal methods group at France Telecom R&D until summer 2003, and has been in the TYPES community since the 1990's. He worked on typing and correctness proofs of functional programs with exceptions, and on the verification of telecommunication protocols in a type theoretical framework. His current research interests include programming with dependent types, and the formalization/verification of quantitative properties of programs, with applications to the security of software systems.

Bengt Nordström 2005-09-22