FANDOM


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

Scientific activity

Earlier, Sim 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 C # programming language. Kennedy, Sim 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.

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.