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
History
Visiting the University
Term dates and calendars
Map

For media
Video and audio
Find an expert
Publications
International Cambridge

News
Events
Public engagement
Jobs
Giving to Cambridge

Research at Cambridge

For staff
For current students
For alumni
For business
Colleges & departments
Libraries & facilities
Museums & collections
Email & phone search

Department of Computer Science and Technology

Log in with Raven

Home
The department
Initiatives
Research
Admissions
Current students
Job vacancies ➥
Intranet

Albert Qiaochu Jiang

PhD student

Research

Machine learning for theorem proving

Themes

Machine Learning and Artificial Intelligence
Programming Languages, Semantics and Verification

Contact Details

Room:

FC12

Contact us

William Gates Building
JJ Thomson Avenue
Cambridge. CB3 0FD

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

Social media

Facebook
Twitter
YouTube

© 2021 University of Cambridge

University A-Z
Contact the University
Accessibility
Freedom of information
Terms and conditions

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
Visiting the University
Map
News
Events
Jobs
Giving to Cambridge

Research at Cambridge

News
Features
Discussion
Spotlight on...
About research at Cambridge