Skip to main content

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

The only owner of the floating-point gold badge that wasn't in the IEEE 754 standardization committee.

Top Answers
1 2 3 4 5 10