231
reputation
1
2

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.

2
answers
0
questions
~6k
people reached

Top tags (0)

This user has not participated in any tags.

Top posts (2)

Badges (3)

Gold

Silver

1

Rarest

Bronze

2

Rarest