
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 2016 | A Unified Coq Framework for Verifying C Programs with Floating-Point Computations | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2016-profile
View general profile
View general profile