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 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
10 Mar 24 '13
10 Mar 5 '13
10 Feb 26 '13