5,702 reputation
1946
bio website coldattic.info
location San Francisco, CA
age 26
visits member for 3 years, 10 months
seen yesterday

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 20
10 May 25
10 May 23
10 Apr 12
10 Apr 9
10 Apr 4
10 Mar 26
10 Mar 20
10 Mar 17
10 Feb 13
10 Jan 16
-4 Dec 6 '13
10 Dec 5 '13
10 Nov 19 '13
10 Nov 18 '13
-10 Oct 29 '13
10 Oct 24 '13
10 Sep 23 '13
-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