Don Syme

Don Syme is an Australian computer scientist and a Principal Researcher at GitHub. He is the designer and architect of the F# programming language, described by a reporter as being regarded as "the most original new face in computer languages since Bjarne Stroustrup developed C++ in the early 1980s."Syme, Don. "Interview with Don Syme", Simple Talk, 19 January 2010.. Syme originally created F# as a port of OCaml to Microsoft's .NET Framework. He is a visiting Professor at King's College London.

Earlier, Syme created generics in the .NET Common Language Runtime, including the initial design of generics for the C# programming language, along with others including Andrew KennedyKennedy and Syme, http://portal.acm.org/citation.cfm?id=378797 "Design and implementation of generics for the .NET Common language runtime" and later Anders Hejlsberg. Kennedy, Syme and Dachuan Yu also formalized this widely used system.Kennedy, Syme, Yu http://portal.acm.org/citation.cfm?id=964005 "Formalization of generics for the .NET common language runtime"

Since 2022, he has worked at GitHub Next on artificial intelligence for software engineering, including Continuous AISyme, Don et al. "Continuous AI", 24 May 2026., GitHub Agentic WorkflowsSyme, Don et al. "GitHub Agentic Workflows", 24 May 2026. and Copilot Workspace.Syme, Don et al. "Copilot Workspace", 24 May 2026.. Previously he has worked on formal specification, interactive proof, automated verification and proof description languages.Syme, Don. "Don Syme at Microsoft Research", 19 January 2010.

He holds a Ph.D. from the University of Cambridge, and is a member of the IFIP working group on functional programming. He is a co-author of the book Expert F# 4.0.Syme, Don et al. "Expert F# 4.0 at Springer Nature Link", Springer, November 2015.

In 2015, he was honored with a Silver Medal from the Royal Academy of Engineering."Microsoft researcher Don Syme honoured with silver medal from Royal Academy of Engineering".

Don Syme

Bron en licentie