158 reputation
19
bio website frama-c.com
location EU
age 39
visits member for 2 years, 5 months
seen 2 days ago

I work on the static analysis of C programs.


This user has not participated in any bounties