The Future of F#


November 5, 2010


Looking Ahead with F#: Taming the Data Deluge—Don Syme

Locknote: F# – An Education—Howard Mansel

Closing remarks—Judith Bishop


Don Syme, Howard Mansell, and Judith Bishop

I graduated from the Australian National University in 1993, and joined Microsoft Research in 1998. Before that I was a PhD. student at the University of Cambridge Computer Laboratory A while ago I spent three months at SRI and a six month jaunt at Intel Clearly my ultimate aim is to work for every multinational mega corporation in the computing game, so I’ll throw in links to IBM, Sun and Compaq for good measure.
My research interests include the formal modeling of programming languages and abstract machines and techniques for the verification of their properties. Example machines include high level languages defined by operational semantics, stack machines such as the JVM, and hardware devices at various levels of abstraction. Typical properties include correctness (by correlating the machine against a higher-level specification) and type soundness (by proving the preservation of an appropriate invariant, which is implied by a statically checked condition). Typical techniques include model checking, automated reasoning, abstract interpretation and manual declarative proof declare/index.htm.
Since joining MSR I’ve worked extensively with the COM+ team analyzing their code verification mechanism along with Andy Gordon.


  • Portrait of Don Syme

    Don Syme

    Principal Researcher

  • Portrait of Judith Bishop

    Judith Bishop

    Director of Computer Science