Expert Overview

Principal Researcher
Microsoft Research, Cambridge

Don Syme is a Principal Researcher at Microsoft Research, Cambridge. He works with researchers, Microsoft and open source communities to make better programming technologies, and, through that, make people more productive and happier.

His main responsibility is the design and implementation of the F# programming language and he contributes to its tooling and community. Don is the primary author of Expert F#. He has also worked on the design of virtual machines, the C# language (being co-responsible for C# and .NET generics, and one of many contributors to C# asynchronous programming) and, indirectly, Visual Basic and other .NET languages.

Don't main research area is programming language design and implementation, with emphasis on making languages that are simpler to use, interoperate well with other languages and which incorporate aspects of object-oriented, asynchronous and parallel programming. He is interested in programming language perspectives on type inference, concurrency, reactivity, extensible pattern matching and language-oriented programming. He also work extensively with teams in the Microsoft Developer Division on other programming-related technologies.

In the past Don has worked in formal specification, interactive proof, automated verification and proof description languages. He has a PhD from the University of Cambridge and is a member of the WG2.8 working group on functional programming.

Things I'm Doing
Talks I've Given

Talks I've Given