Virgile Prevosto

Post-doc in the Verisoft Project
Member of the Focal Development team

How to contact me:

email: prevosto@mpi-sb.mpg.de
phone: +49/0 681 9325 228
postal address: MPI - AG2
Stuhlsatzenhausweg 85
66123 Saarbrücken
Germany
room: 628 (6th floor)

Here is a picture of me, taken at the Sella Bassa, a pass around Postua

picture of me, august 2003

Research interests

My main interests includes:

Programing languages (object-oriented, functional)
Type theory
Theorem proving

During my PhD, I have developped a compiler for the FoC language, now known as focal, which is distributed here. It is also possible to browse the autogenerated documentation of the current library, or of an example file.

PhD

I've done my PhD at the LIP6 (University of Paris 6) and at INRIA. The title of my thesis was "Conception and implementation of the FoC language for the development of certified softwares". You can find more informations about it here.

Bibliography

Publications

You can find here a list of my publications. Some of them can also be downloaded.

Recent talks

Seminar of the LSV (ENS Cachan - France), 22 March 2005. ModuProve, a modular and parametric SAT-checker: [dvi], to be viewed with advi, [pdf].
Dagstuhl Seminar on Mathematics, Algorithms, Proofs, 14 January 2005. Certified Mathematical Hierarchies: the FoCal System: [dvi], [pdf].

Other web pages...

Here are some links to other web pages I've contributed to. However, you must be warned that most of them (except for my old web page) are exclusively in French.

My old web page at LIP6
The bv96 homepage: with some friends, we report some of our hikes, especially in the French Alps
I'm a big fan of comics, and with some other friends, I'm writing a fanzine, called piscosour.
My ancestors lived in a small village called Postua, whose valley is a perfect place if you love swimming in (very) cold water, or get lost in the middle of nowhere.