Pascal Cuoq
I work on the static analysis of C programs. Sometimes I write blog posts, that may be on the subject of static analysis of C programs, at http://trust-in-soft.com/category/technical/
The only owner of the floating-point gold badge that wasn't in the IEEE 754 standardization committee.
-
EU
-
Member for 6 years, 7 months
-
68 profile views
-
Last seen Jul 31 '20 at 13:50
Communities (39)
Top network posts
Keeping a low profile.
This user hasn't posted yet.