Don Syme

Don Syme is an Australian computer scientist and chief developer in Microsoft Research (a unit in Cambridge, UK). The designer and architect of the programming language, sometimes described by journalists as "one of the most original personalities in computer languages since the development of  in the early 1980s by Bjorn Stroustrup".

Scientific activity
Earlier, Syme on a team with several developers (including Andrew Kennedy and then Anders Halesberg), created generalizations for the .NET Common Language Runtime, including the initial version of the generalizations design for the programming language. Kennedy, Syme and Yu also formalized this widely used system.

He is a member of the WG2.8 working group on functional programming.

In the past he also worked on the problems of formal specification, program verification, automatic proof of theorems.

Since 1998, he has been working in Microsoft Research.