Don Syme is a Senior Researcher at Microsoft Research, Cambridge. He helps Microsoft make better programming languages, and, through that, make people more productive and, hopefully, happier. His main current responsibility is the design and implementation of F#, though he’s also worked on C# (being co-responsible for C# and .NET generics) and, indirectly, Visual Basic and other .NET languages.
As a researcher, Don’s area is programming language design and implementation, with emphasis on making functional languages that are simpler to use, interoperate well with other languages and which incorporate aspects of object-oriented, asynchronous and parallel programming. He is particularly interested in programming language perspectives on type inference, concurrency, reactivity, pattern matching and language-oriented programming. He also works extensively with teams in the Microsoft Developer Division on other programming-related technologies.
Don is the primary author of Expert F#, published in 2007, and he is now working on a second edition of this book. In the past he has worked in formal specification, interactive proof, automated verification and proof description languages. Don has a PhD from the University of Cambridge and is a member of the WG2.8 working group on functional programming.