Paul Zimmermann

extended CV [HAL version]
recommendations to send me a document
Publications Software
Talks Research Interests
Contact Lectures (in french)
Events: (past events)
March 2018: post-doctoral position available on the formal proof of MPFR
26-30 March 2018: EJCIM 2018 in Nancy!
May 2017: english translation of the sagebook

Some useful links

Valid HTML 4.01 Transitional