skip to content

Study at Cambridge
About the University
Research at Cambridge

Search site

Home

Study at Cambridge

Undergraduate

Postgraduate

International students
Continuing education
Executive and professional education
Courses in education

About the University

How the University and Colleges work
Term dates and calendars
History
Map
Visiting the University

Annual reports
Equality and diversity
News
A global university

Events
Public engagement
Jobs
Give to Cambridge

Research at Cambridge

For staff
For Cambridge students
For alumni
For our researchers
Business and enterprise
Colleges & departments
Email & phone search
Give to Cambridge
Libraries
Museums & collections

Department of Computer Science and Technology

Log in with Raven

Home
The department
Initiatives
Research
Admissions
Current students
Intranet

Peter Sewell

Professor of Computer Science

Home page:
http://www.cl.cam.ac.uk/users/pes20

Themes

Programming Languages, Semantics and Verification
Computer Architecture
Security
Systems and Networking

Teaching

Multicore Semantics and Programming (MPhil ACS, Part III)
Multicore Semantics and Programming (Part II)

Contact Details

Room:

FS10

Email:

Peter.Sewell@cl.cam.ac.uk

Contact us

Department of Computer Science and Technology
University of Cambridge
William Gates Building
15 JJ Thomson Avenue
Cambridge
CB3 0FD

Information provided by pagemaster@cst.cam.ac.uk

Social media

Facebook
Twitter
YouTube

© 2023 University of Cambridge

Contact the University
Accessibility
Freedom of information
Privacy policy and cookies
Statement on Modern Slavery
Terms and conditions
University A-Z

Study at Cambridge

Undergraduate
Postgraduate
Continuing education
Executive and professional education
Courses in education

About the University

How the University and Colleges work
Give to Cambridge
Jobs
Map
Visiting the University

Research at Cambridge

Research news
About research at Cambridge
Public engagement
Spotlight on...