101 reputation
bio website frama-c.com
location EU
age 38
visits member for 35 days
seen Jul 23 at 8:42

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://blog.frama-c.com/

I obtained the C gold badge at the very end of 2013. Now for the OCaml badge!

(this is a jokey reference to the bias in reputation brought by popular languages)

This user has not answered any questions
This user has not asked any questions
This user has not participated in any tags

3 Votes Cast

all time   by type  
3 up 0 question
0 down 3 answer