Tokyo 2017

I am a second year graduate student at University of British Columbia, Vancouver. I am originally from Bombay, India.

My research interests include: Formal methods; End-to-end verification of systems; Programming languages; Cyber physical systems; Operating systems; Security.

For my rantings and musings check out blog.