Rekha Pai

Research Associate

about me

I am a Research Associate in the Department of Computer Science at the University of Oxford. My primary interest is in Program Analysis. I am currently into static analysis of Capability Hardware Enhanced RISC Instructions (CHERI) based software systems.