Complicated see bio
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.
Member for 9 years, 6 months
153 profile views
Last seen Oct 10 '15 at 16:38