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.
0
answers
1
question
~1k
people reached
-
EU
-
Member for 6 years, 8 months
-
13 profile views
-
Last seen Jan 3 '20 at 0:59