Karthikeyan Bhargavan (Karthik)
I am a researcher at the Microsoft Research laboratory in Cambridge, United Kingdom. I am also associated with the Microsoft Research-INRIA Joint Centre in Orsay, France.
Before joining Microsoft Research as a post-doc in 2002, I wrote a Ph.D. in Computer and Information Science at the University of Pennsylvania in Philadelphia, USA. Even earlier, I obtained an undergratuate degree in Computer Science and Engineering at the Indian Institute of Technology in New Delhi, India.
Research
My recent research is on various topics in programming languages,
with particular emphasis on specifying and verifying the security
of distributed systems.
A list of my publications can be found here,
and full details and downloadable versions are here.
Microsoft Research Cambridge offers twelve-week internships through the whole year. To apply for an internship with me, you can fill out the form here and then send me an email.
Software
- FS2CV: A Computational Verifier for F#, 2008
- F7: Refinement Types for F#, 2008
- FS2PV: A Cryptographic-Protocol Verifier for F#, 2007
- TulaFale: A Security Tool for Web Services, 2006
- WSE Policy Advisor, 2005
Professional Activities
- ACM SAC, Software Verification and Testing Track, 2008, Program Committee Member
- FMSE 2008, Program Committee Member
- R2D2 2008, Co-organizer
- WS-FM 2008, 2007, 2006, 2005, Program Committee Member CAV 2006, Program Committee Member