Dr Frédéric Lang obtains a permanent position at INRIA

The VASY team is pleased to report that Dr Frédéric Lang has obtained a permanent research position (Chargé de Recherche INRIA) at INRIA Rhône-Alpes.

Dr Frédéric Lang had been working in the field of lambda-calculus, functional programming, and theorem proving, under the direction of Professor Pierre Lescanne from 1995 to 1999. He obtained his PhD from Ecole Normale Supérieure de Lyon in December 1998. From July 1999 to June 2000, he had a visiting position of Assistant Professor of Computer Science at Wesleyan University (Connecticut, USA).

Dr Frédéric Lang has been working in the VASY team since July 2000 and will start its permanent research position in September 2001. His appointment will strengthen the VASY team in the field of language design and compilation, as well as compositional verification. He will particularly contribute to the development of the LOTOS NT language and the TRAIAN compiler.

Back to the VASY Home Page