Syme, Don

Don Syme
engelsk  Don Syme
Land
Vetenskaplig sfär programmerare
Arbetsplats
Alma mater
Känd som skapare av programmeringsspråket F#
Hemsida blogs.msdn.com/dsyme

Don Syme är en australisk  datavetare och huvudforskare vid Microsoft Research , baserad i Cambridge , Storbritannien . Designer och arkitekt för programmeringsspråket F# , ibland beskrivet av journalister som "en av de mest originella personligheterna inom datorspråk sedan Björn Stroustrup utvecklade C++-språket i början av 1980-talet" [1] .  

Vetenskaplig verksamhet

Tidigare skapade Syme, i ett team med flera utvecklare (som inkluderade Andrew Kennedy och senare Anders Hejlsberg ), generika för .NET Common Language Runtime , inklusive den initiala generiska designen för programmeringsspråket C# [1] [2] . Kennedy, Syme och Yu formaliserade också detta mycket använda system [3] .

Han är medlem i WG2.8-arbetsgruppen för funktionell programmering.

Tidigare arbetade han också med problemen med formell specifikation , programverifiering , automatiskt bevis på satser [4] .

Sedan 1998 har han arbetat på Microsoft Research [5] .

Ranks

Han har en doktorsexamen från Cambridge University Computer Laboratory [1] 1999 [5] .

Kompositioner

Anteckningar

  1. ↑ 1 2 3 Intervju med Don Syme Arkiverad 11 april 2011 på Wayback Machine 19  januari 2010
  2. ↑ Design och implementering av generika för .NET Common language  runtime
  3. ↑ Formalisering av generika för .NET common language runtime  
  4. ↑ Don Symes Microsoft Research-sida Arkiverad 29 november 2010 på Wayback Machine 19  januari 2010
  5. ↑ 1 2 3 Expert F# Arkiverad 5 december 2010 på Wayback Machine  

Länkar