skip to content
Home

Department of Computer Science and Technology

Rini Banerjee

  • PhD Student

I am a PhD student, working with Prof Peter Sewell and Prof Neel Krishnaswami.

Research

Separation logic; testing, verification and their intersection; reliability of low-level systems.

Themes

Teaching

Contact Details

Room: 
FS14
Email: 

rb2018@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

Contact us

Website privacy policy

Social media

Athena Swan bronze award logo

Study at Cambridge

About the University

Research at Cambridge