633 reputation
156
bio website coldattic.info
location San Francisco, CA
age 26
visits member for 4 years, 7 months
seen Jan 20 '13 at 9:26

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.


633 Reputation

5 Feb 24
5 Feb 6
10 Feb 1
5 Jan 11
5 Jan 7
5 Dec 26 '14
5 Dec 7 '14
5 Dec 3 '14
5 Nov 14 '14
5 Nov 11 '14
5 Nov 10 '14
10 Nov 8 '14
5 Oct 28 '14
5 Oct 17 '14
5 Sep 10 '14
5 Sep 5 '14
5 Aug 14 '14
5 Jul 22 '14
5 Jul 2 '14
5 Jun 23 '14
5 Jun 2 '14
5 Apr 24 '14
5 Mar 30 '14
5 Mar 23 '14
5 Mar 20 '14
5 Mar 12 '14
5 Mar 11 '14
5 Mar 6 '14
5 Feb 18 '14
5 Feb 12 '14