Syme, Don

Don Syme
angol  Don Syme
Ország
Tudományos szféra programozó
Munkavégzés helye
alma Mater
Ismert, mint az F# programozási nyelv megalkotója
Weboldal blogs.msdn.com/dsyme

Don Syme ausztrál informatikus és a Microsoft Research vezető kutatója Cambridge - ben ( Egyesült  Királyság ) . Az F# programozási nyelv tervezője és építésze, akit az újságírók olykor "a számítógépes nyelvek egyik legeredetibb személyiségének neveznek, mióta Björn Stroustrup az 1980 -as évek elején kifejlesztette a C++ nyelvet " [1] .  

Tudományos tevékenység

Korábban Syme egy csapatban több fejlesztővel (köztük Andrew Kennedyvel, majd Anders Hejlsberggel is ) generáltakat készített a .NET Common Language Runtime számára , beleértve a C# programozási nyelv kezdeti általános tervezését [1] [2] . Kennedy, Syme és Yu is formalizálta ezt a széles körben használt rendszert [3] .

Tagja a funkcionális programozással foglalkozó WG2.8 munkacsoportnak.

Korábban a formális specifikáció , a programellenőrzés , a tételek automatikus bizonyítása [4] problémáival is foglalkozott .

1998 óta a Microsoft Researchnél dolgozik [5] .

Rangok

1999- ben szerzett PhD fokozatot a Cambridge University Computer Laboratory-ban [1] [5] .

Kompozíciók

Jegyzetek

  1. ↑ 1 2 3 Interjú Don Syme -mal archiválva : 2011. április 11., a Wayback Machine , 2010.  január 19.
  2. ↑ Általánosságok tervezése és megvalósítása a .NET Common language  futási környezethez
  3. ↑ Általánosságok formalizálása a .NET közös nyelvi futtatókörnyezethez  
  4. ↑ Don Syme Microsoft kutatási oldala archiválva : 2010. november 29., a Wayback Machine , 2010.  január 19.
  5. ↑ 1 2 3 Expert F# Archiválva : 2010. december 5. a Wayback Machine -nél  

Linkek