Welcome, you have reached the webpage of Pramod Subramanyan.
I am a postdoctoral researcher in Electrical Engineering and Computer Sciences at UC Berkeley where I am advised by Professor Sanjit Seshia.
Before I came to Berkeley, I obtained my PhD from the Department of Electrical Engineering at Princeton University under the supervision of Professor Sharad Malik. Most of my recent work has attempted to apply formal methods and algorithms to analyze and address hardware security concerns.
[CV] (PDF) Google Scholar DBLP
Here is a wordcloud constructed from the abstracts of my papers. (Constructed circa 2015.)
The best way to contact me is by e-mail. Use either pramod at berkeley dot edu or pramod dot subramanyan at gmail dot com.