5,846 reputation
2247
bio website coldattic.info
location San Francisco, CA
age 27
visits member for 4 years, 8 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,846 Reputation

10 Sep 13 '11
20 Sep 12 '11
10 Aug 31 '11
10 Aug 13 '11
5 Aug 8 '11
20 Aug 3 '11
10 Aug 2 '11
10 Jul 29 '11
40 Jul 23 '11
30 Jul 22 '11
10 Jul 21 '11
10 Jul 13 '11
10 Jul 10 '11
10 Jul 8 '11
50 Jul 6 '11
40 Jul 5 '11
10 Jul 4 '11
10 Jun 29 '11
10 Jun 24 '11
30 Jun 22 '11
20 Jun 14 '11
10 Jun 10 '11
10 Jun 3 '11
10 May 18 '11
20 May 14 '11
5 May 12 '11
15 May 10 '11
110 May 9 '11
10 May 7 '11
10 Apr 25 '11