I’ll be speaking at the Microsoft Developer Days 2009, in the Academic Guestlecture. This session will take place friday at 16:30 in the Central America lecture room.

Since its start in 1991, Microsoft Research has attrated numeral theoretical computer scientists like Turing Award winners Anthony Hoare and Butler Lampson; Fields Medal winner Michael Freedman and Latex creator Leslie Lamport. How have they contributed to the evolution of Microsoft products?

In this session we will give an overview of some relatively new technologies, like LINQ, F#, Oslo and Code Contracts to which the scientists above have contributed. We will explore not how they work, but why they work. Therefore we will explain some details of the theoretical concepts behind them. Do'nt be afraid, I promise everyone with a high school level of mathematics will be able to understand this session.