Don Syme is an Australian computer scientist and a Principal Researcher at the Cambridge, UK unit of Microsoft Research. He is the designer and architect of the F# programming language, described by journalists as "one of the most original personalities in computer languages since Bjarne Stroustrup developed C++ in the early 1980s".
Earlier, Syme created generics in the .NET Common Language Runtime, including the initial design for the C# programming language, along with others including Andrew Kennedy and later Anders Hejlsberg. Kennedy, Syme, and Dachuan Yu also formalized this widely used system.
He holds a Ph.D. from the University of Cambridge and is a member of the International Federation for Information Processing, a working group on functional programming. He is a co-author of the book Expert F# 3.0.
In the past, he also worked on the problems of formal specification, interactive proof, automated verification, and proof design languages.
He was honored with a Silver Medal from the Royal Academy of Engineering in 2015.
He has been working in Microsoft Research since 1998.
External links
 |
Wikipedia (article: Don Syme)
|
|---|