5,702 reputation
1946
bio website coldattic.info
location San Francisco, CA
age 26
visits member for 3 years, 10 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.


5,702 Reputation

10 Jun 24 '11
30 Jun 22 '11
20 Jun 14 '11
10 Jun 10 '11
10 Jun 3 '11
10 May 18 '11
20 May 14 '11
5 May 12 '11
15 May 10 '11
110 May 9 '11
10 May 7 '11
10 Apr 25 '11
10 Apr 21 '11
10 Apr 20 '11
18 Apr 16 '11
15 Apr 15 '11
10 Apr 14 '11
10 Apr 6 '11
50 Apr 5 '11
50 Apr 4 '11
60 Apr 3 '11
10 Mar 31 '11
10 Mar 29 '11
10 Mar 22 '11
20 Mar 21 '11
10 Mar 19 '11
5 Mar 16 '11
40 Mar 13 '11
20 Mar 12 '11
10 Mar 11 '11