5,768 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,768 Reputation

10 yesterday
10 Nov 11
-2 Nov 3
-2 Nov 2
-2 Nov 1
10 Oct 4
10 Sep 10
10 Aug 30
10 Aug 26
10 Aug 18
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