588 reputation
146
bio website coldattic.info
location San Francisco, CA
age 26
visits member for 4 years, 3 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.


588 Reputation

5 Nov 14
5 Nov 11
5 Nov 10
10 Nov 8
5 Oct 28
5 Oct 17
5 Sep 10
5 Sep 5
5 Aug 14
5 Jul 22
5 Jul 2
5 Jun 23
5 Jun 2
5 Apr 24
5 Mar 30
5 Mar 23
5 Mar 20
5 Mar 12
5 Mar 11
5 Mar 6
5 Feb 18
5 Feb 12
10 Jan 21
5 Jan 14
5 Jan 9
5 Jan 6
5 Dec 15 '13
5 Dec 14 '13
5 Dec 2 '13
5 Nov 19 '13