Lably
Skip to content

Don Syme

  • 1 min read
  • 1 chapters

Explore on Lably

ToursExplore Lably’s 3D tours

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 Kennedy and later Anders Hejlsberg. Kennedy, Syme and Dachuan Yu also formalized this widely used system.

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# 3.0.

In the past he also worked on formal specification, interactive proof, automated verification and proof description languages.

In 2015, he was honored with a Silver Medal from the Royal Academy of Engineering.

More in Computing and communication