 He also holds a professorship at the University of Edinburgh.Gordon is one of the designers of Concurrent Haskell, a functional programming language with explicit primitives for concurrency.He is the co-designer with Martin Abadi of spi calculus, an extension of the π-calculus for formalized reasoning about cryptographic systems.