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.
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
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.
Wed, May 27 2009 12:39 PM