5,788 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.


5,788 Reputation

-4 Sep 11 '13
13 Sep 10 '13
10 Sep 6 '13
10 Aug 23 '13
10 Aug 12 '13
10 Jun 28 '13
5 May 12 '13
10 May 11 '13
-2 Apr 24 '13
10 Apr 12 '13
10 Apr 6 '13
10 Apr 2 '13
10 Mar 24 '13
10 Mar 5 '13
10 Feb 26 '13
10 Feb 15 '13
5 Feb 7 '13
-2 Jan 10 '13
10 Dec 30 '12
10 Dec 29 '12
10 Dec 20 '12
10 Dec 19 '12
10 Dec 15 '12
10 Dec 10 '12
10 Nov 30 '12
10 Nov 20 '12
10 Nov 12 '12
10 Nov 9 '12
10 Nov 6 '12
10 Oct 11 '12