Lambda the Ultimate

I have a Ph.D. in quantum physics. After several postdoc appointments I decided to switch to programming. I worked for Microsoft, leading the development of the content index. After quitting, I started my own micro company, Reliable Software, and got involved with the academia, studying computer science at the University of Washington. I currently work as a Technical Evangelist at Corensic.

Programming languages, type systems, concurrency, multicore.