Scalable Language Specification 2013

  • Peter Sewell | University of Cambridge

Programming language and multiprocessor semantics in Ott, Lem, and Ln

Speaker Details

My research aims to put the engineering of real-world computer systems on solid foundations, developing techniques -both mathematically rigorous and pragmatically useful- to enable the construction of systems that are better-understood, more robust, and more secure. To do this requires tightly integrated theoretical and practical research, spanning a range of Computer Science. This is, broadly, applied semantics: I work in programming languages, networking, and security, developing and using techniques from semantics, type systems, automated reasoning, and concurrency theory.

    • Portrait of Jeff Running

      Jeff Running

Watch Next