Prof. Peter Sewell — Research Profile

University of Cambridge · Department of Computer Science and Technology

This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.

Information sourceChecked Jul 22, 2026

Ask current students about this lab

Post your question to the Career board — students who have verified their school can answer under blind identities.

About

Prof. Peter Sewell at University of Cambridge Department of Computer Science and Technology lists Programming Languages, Semantics and Verification, Computer Architecture, Security, Systems and Networking as their registered research area.

Research keywords

Programming LanguagesSemantics and VerificationComputer ArchitectureSecuritySystems and Networking

Faculty / research website

Other labs in this department

Alan Blackwell 교수 연구실
Human-Centred Computing, Machine Learning and Artificial Intelligence, Programming Languages, Semantics and Verification
Alastair Beresford 교수 연구실
Security, Systems and Networking, Programming Languages, Semantics and Verification
Alice Hutchings 교수 연구실
Security
Amanda Prorok 교수 연구실
Machine Learning and Artificial Intelligence, Mobile Systems, Robotics and Automation
Andreas Vlachos 교수 연구실
Natural Language Processing, Machine Learning and Artificial Intelligence
Andrew W. Moore 교수 연구실
Systems and Networking, Computer Architecture, Machine Learning and Artificial Intelligence, Security

See all labs in this department