Scalable Language Specification 2013
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.
- Date:
- Speakers:
- Peter Sewell
- Affiliation:
- University of Cambridge
-
-
Jeff Running
-
