CPP 2016
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Benoit Meister

Not registered as user yet

Name: Benoit Meister

Bio: I have been a PhD candidate since october 2001 at the ICPS (Image and Parallel Computing) Team, part of the LSIIT Laboratory in Strasbourg. LSIIT is common to Université Louis Pasteur (ULP) and the CNRS. I defended my PhD on friday, December 17th 2004. Then, i have been a temporary assistant professor (ATER) at ULP

Personal website: http://icps.u-strasbg.fr/people/meister/public_html/

Contributions

CPP 2016Author of A Unified Coq Framework for Verifying C Programs with Floating-Point Computations within the CPP-track
Show activities from other conferences

POPL 2016-profile
View general profile