- Master 2 at Nice: I've been giving a graduate course on
Master in CS, Nice Sophia Antipolis Univ. (UNS), in 2000-2002.
on "formal methods and certified
was then created, which included a graduate course on
mechanization of proofs.
- Master 2 at Marseille: I've been giving a graduate course on
"Natural Semantics: Specifications and Proofs",
at the Master 2 MDFI
("Mathťmatiques DiscrŤtes et Fondements de l'Informatique") at Marseille,
from Dec. 1995 to 1999;
lecture notes in french, 80 pages.
The course have been followed by a graduate course on mechanization of proofs
in French) in the same Master.
completed his PhD thesis in June 2001:
Formal Specifications of Properties of Concurrent Object Languages.
Pierre Leleu completed his PhD thesis in December 98:
Higher Order Abstract Syntax and Recursion in Typed Theory.
He then became a project leader (at the "DDE") in Rouen.
completed her PhD thesis in 95:
Towards an Environment for the Development of Proofs in Natural Semantics.
Then, she has been an assistant professor at Eurecom
JoŽlle Despeyroux is a researcher at INRIA-Sophia-Antipolis.
She first worked in the semantics of programming languages area, proposing a pure logical view of Gordon Plotkin's Structural Operational Semantics (called "Natural Semantics"), well suited, for example, for proofs of correctness of compilers.
She then worked in (mathematical) logic, at several levels: design of new type theories (unifying CCind and LF), proofs on the computer (mainly in Coq), and design and development of (a prototype of) a proof assistant (called "Theo").
More recently, in joint work with Kaustuv Chaudhuri at INRIA-Saclay, she proposed a new (modal linear) logic as a Logical Framework for both specifying and analysing models of biological systems, viewed as transition systems.
She is now working in this area, with several co-workers from
Cambridge, Ottawa, and Brazil, using (linear) Logical Frameworks in various areas, from molecular biology to biomedicine.
JoŽlle Despeyroux has a PhD in Mathematics from Paris University. She worked at INRIA-Roquencourt before moving to INRIA-Sophia-Antipolis.
INRIA, 2004, route des Lucioles B.P.93,
06902 Sophia Antipolis Cedex, France.
and CNRS (UMR 7271), I3S, Algorithmes-Euclide-B, 2000 route des Lucioles,
B.P. 121, 06903 Sophia Antipolis, France.
Joelle.Despeyroux aronbas/at inria.fr -
Phone: +33 (0)4 92 94 27 71