Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Peter Sewell
My research aims to put the engineering of real-world computer
systems on better foundations, developing techniques (both
mathematically rigorous and pragmatically useful)
to make systems that are better-understood, more robust, and
more secure.
This applied semantics needs tightly integrated theoretical and practical
research, spanning a range of Computer Science: I work in
architectural description, programming languages, networking, and security,
developing and using techniques from
semantics, type systems, automated reasoning, and concurrency theory.
This work currently forms part of the REMS: Rigorous
Engineering for Mainstream Systems project, an EPSRC
Programme Grant in collaboration with Systems, Security,
Architecture, and Semantics researchers from Cambridge, Imperial,
and Edinburgh, and with colleagues in ARM, IBM, and elsewhere.
REMS is exploring how we can use rigorous mathematics to improve engineering practice for mainstream computer systems, to make them more robust and secure.
The REMS pages give the associated people, papers,
models, and tools.