5,848 reputation
2247
bio website coldattic.info
location San Francisco, CA
age 27
visits member for 4 years, 7 months
seen Jul 9 '14 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,848 Reputation

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
10 Oct 4 '11
10 Sep 29 '11
-2 Sep 25 '11
10 Sep 22 '11
10 Sep 20 '11
10 Sep 19 '11
50 Sep 18 '11
15 Sep 16 '11
200 Sep 14 '11
10 Sep 13 '11