My name is Adwait Godbole. I am a Ph.D. student in Computer Science at the University of California, Berkeley, where I am advised by Sanjit A. Seshia. I completed undergraduate training in Computer Science at the Indian Institute of Technology, Bombay.

My research interests lie at the intersection of formal methods, computer security, and computer architecture. My focus is on developing novel techniques, applications and theory that makes hardware-software systems more reliable and secure.

Here is my CV and DBLP. Send me mail at adwait@berkeley.edu.