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


543 Reputation

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
5 Nov 13 '13
5 Nov 11 '13
5 Oct 29 '13
5 Oct 17 '13
5 Oct 14 '13
5 Jul 12 '13
5 Jun 30 '13
5 Jun 7 '13