| don sime | |
|---|---|
| inglés don sime | |
| País | |
| Esfera científica | programador |
| Lugar de trabajo | |
| alma mater | |
| Conocido como | creador del lenguaje de programación F# |
| Sitio web | blogs.msdn.com/dsyme |
Don Syme es un informático australiano e investigador principal de Microsoft Research , con sede en Cambridge , Reino Unido . Diseñador y arquitecto del lenguaje de programación F# , a veces descrito por los periodistas como "una de las personalidades más originales en lenguajes informáticos desde que Björn Stroustrup desarrolló el lenguaje C++ a principios de la década de 1980" [1] .
Anteriormente, Syme, en un equipo con varios desarrolladores (que incluían a Andrew Kennedy y luego a Anders Hejlsberg ), creó genéricos para .NET Common Language Runtime , incluido el diseño genérico inicial para el lenguaje de programación C# [1] [2] . Kennedy, Syme y Yu también formalizaron este sistema ampliamente utilizado [3] .
Es miembro del grupo de trabajo WG2.8 sobre programación funcional.
En el pasado, también trabajó en los problemas de especificación formal , verificación de programas , prueba automática de teoremas [4] .
Desde 1998 trabaja en Microsoft Research [5] .
Tiene un doctorado del Laboratorio de Computación de la Universidad de Cambridge [1] en 1999 [5] .