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

Sign in with Raven

Home
The department
Initiatives
Research
Admissions
Current students
Intranet

Dr Matthew Naylor

Senior Research Associate

Themes

Computer Architecture
Programming Languages, Semantics and Verification
Security

Contact Details

Room:

SE14

Email:

mn416@cam.ac.uk

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

About the department

Study here
Research
News
Jobs
How to get here
About the department

Website privacy policy

Social media

Facebook
Twitter
YouTube

© 2025 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...