158 reputation
19
bio website frama-c.com
location EU
age 39
visits member for 2 years, 5 months
seen Jan 21 at 14:01

I work on the static analysis of C programs.