5,768 reputation
2147
bio website coldattic.info
location San Francisco, CA
age 26
visits member for 4 years, 3 months
seen Jul 9 at 18:23

I work in web-related development these days. Previously, I worked on ROSA Linux distribution derived from Mandriva. In (post)graduate school I developed static program analysis tools, and carried on some research on the subject.

My blog "A Foo walks into a Bar" is hosted on my home site coldattic.info.


If you know any Languages specifically designed to make static verification easier, please, answer the question linked.


45
Oct 1 '10 at 10:55
29
Sep 13 '10 at 18:59
25
Sep 12 '10 at 14:04