Write to me at lastname.firstname@orange.fr. If you like, you can use my PGP key.
Back to home page | Publications | Formal Proofs and Software | Teaching | CV