5,671 reputation
1946
bio website coldattic.info
location San Francisco, CA
age 26
visits member for 3 years, 7 months
seen Jun 18 '13 at 1:45

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,671 Reputation

10 May 24 '12
-2 May 21 '12
10 May 2 '12
10 Apr 28 '12
10 Apr 25 '12
10 Apr 15 '12
15 Apr 12 '12
10 Mar 25 '12
10 Mar 22 '12
15 Mar 10 '12
50 Mar 9 '12
18 Mar 8 '12
10 Feb 28 '12
30 Feb 10 '12
10 Feb 4 '12
30 Feb 3 '12
10 Jan 26 '12
10 Jan 20 '12
10 Jan 18 '12
10 Jan 16 '12
5 Jan 6 '12
5 Jan 5 '12
10 Dec 25 '11
10 Dec 22 '11
10 Nov 15 '11
15 Nov 13 '11
10 Nov 11 '11
10 Oct 28 '11
10 Oct 17 '11
10 Oct 6 '11