Shayak Sen Shayak
Sen

About Me

I am a Second-Year PhD student at CMU where I am advised by Anupam Datta.

Research Interest: Applications of Logic and Programming Language Theory to Security and Privacy

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

Research Interest: Applications of Logic and Programming Language Theory to Security and Privacy

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.

While this webpage gets updated with information on my research, check out some of my photography on this website. Feel free to leave comments about the website and my photography below.

comments powered by Disqus
/