Prateek Saxena is an Assistant Professor in the Computer Science Department at National University of Singapore, and a member of the Security Research Cluster. I am broadly interested in all aspects of computer security and its intersection with formal methods and programming languages. My present research is in building secure software systems with rich interfaces to the cloud, the web and our personal devices. I got my Phd in Computer Science from the University of California, Berkeley in 2012.