118 reputation
bio website frama-c.com
location EU
age 39
visits member for 2 years, 3 months
seen Jan 13 at 16:41

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/

This user has not answered any questions

2 Votes Cast

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