5,754 reputation
2147
bio website coldattic.info
location San Francisco, CA
age 26
visits member for 4 years, 1 month
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.


5,754 Reputation

20 Oct 28 '10
10 Oct 26 '10
10 Oct 23 '10
20 Oct 22 '10
10 Oct 21 '10
30 Oct 20 '10
20 Oct 19 '10
20 Oct 18 '10
10 Oct 17 '10
50 Oct 15 '10
15 Oct 14 '10
10 Oct 13 '10
10 Oct 12 '10
30 Oct 11 '10
20 Oct 10 '10
70 Oct 9 '10
70 Oct 8 '10
40 Oct 7 '10
18 Oct 6 '10
92 Oct 5 '10
113 Oct 4 '10
8 Oct 2 '10
50 Oct 1 '10
10 Sep 30 '10
30 Sep 29 '10
10 Sep 28 '10
10 Sep 27 '10
15 Sep 26 '10
10 Sep 24 '10
30 Sep 23 '10