5,798 reputation
2147
bio website coldattic.info
location San Francisco, CA
age 26
visits member for 4 years, 6 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,798 Reputation

10 Feb 18
10 Dec 5 '14
10 Nov 29 '14
10 Nov 27 '14
10 Nov 11 '14
-2 Nov 3 '14
-2 Nov 2 '14
-2 Nov 1 '14
10 Oct 4 '14
10 Sep 10 '14
10 Aug 30 '14
10 Aug 26 '14
10 Aug 18 '14
10 Jun 20 '14
10 May 25 '14
10 May 23 '14
10 Apr 12 '14
10 Apr 9 '14
10 Apr 4 '14
10 Mar 26 '14
10 Mar 20 '14
10 Mar 17 '14
10 Feb 13 '14
10 Jan 16 '14
-4 Dec 6 '13
10 Dec 5 '13
10 Nov 19 '13
10 Nov 18 '13
-10 Oct 29 '13
10 Oct 24 '13