Shayak Sen Shayak


I am a Fourth-Year PhD student at CMU where I am advised by Anupam Datta. My major research interests are logic and programming languages and their applications to security and privacy. Recently, I have been working on transparency enhancing technologies for data analytics systems.

I have been a research intern at Microsoft Research India (May-August 2013, July-Nov 2014) where I worked with Saikat Guha, Sriram Rajamani and Aditya Nori.

Previously, I was an undergrad at the Indian Institute of Technology, Delhi and then I worked for a year as an Algorithmic Trader at Tower Research Capital LLC.


L. Jia, S. Sen, D. Garg, A. Datta, "A Logic of Programs with Interface-confined Code", in Proceedings of 28th IEEE Computer Security Foundations Symposium, July 2015. [Paper]

S. Sen, S. Guha, A. Datta, S. Rajamani, J. Tsai, and J. M. Wing, "Bootstrapping Privacy Compliance in Big Data Systems", in Proceedings of 35th IEEE Symposium on Security and Privacy, May 2014. [Paper]

Awards and Fellowships

Ed and Martha Clarke Fellowship, September 2015

Best Student Paper Award, IEEE Symposium of Security and Privacy, May 2014

comments powered by Disqus