158 reputation
19
bio website frama-c.com
location EU
age 39
visits member for 2 years, 7 months
seen Feb 13 at 10:16

I work on the static analysis of C programs.


This user has not participated in any bounties