Interns
Interns
I encourage Ph.D. students to seek opportunities of Microsoft Research internships. I myself was interning here in the summers of 2003 and 2004. MSR internship is interesting, challenging and rewarding. Please ask your advisor to write a reference letter for you as early as you can! Most offers are made in the early spring.
- Summer 2019: Phuong Cao (opens in new tab) (UIUC), expertise: dependable computing.
- Summer 2017: Daejun Park (opens in new tab) (UIUC), expertise: programming language.
- Summer 2016: Matt McCutchen (opens in new tab) (MIT). Project: Self-Verifying Execution (opens in new tab).
- Summer 2015: Peter Chapman (opens in new tab) (CMU).
- Summer 2015: Daniel Song (opens in new tab) (Rice University, co-mentored with Helen Wang). Project: Self-Verifying Execution (opens in new tab).
- Summer 2013: Eric Chen (opens in new tab) (CMU), expertise: web security. Project: Certification of symbolic transaction, in IEEE Symposium on Security and Privacy 2015.
- Summer 2012: Yuchen Zhou (opens in new tab) (University of Virginia), expertise: web security. Project: Implicit security assumptions of SDKs, in USENIX Security Symposium 2013.
- Summer 2011: Rui Wang (opens in new tab) (Indiana University), expertise: web security. Project: Web-based single-sign-on systems, in IEEE Symposium on Security and Privacy 2012.
- Summer 2010: Rui Wang (opens in new tab) (Indiana University), expertise: web security. Project: How to shop for free online, in IEEE Symposium on Security and Privacy 2011.
- Summer 2009: Rui Wang (opens in new tab) (Indiana University), expertise: web security. Project: Side channel leaks in web applications, in IEEE Symposium on Security and Privacy 2010.
- Summer 2008: Hong Chen (Purdue), expertise: access control. Project: Browser’s residue objects, in EuroSys 2010.
- Summer 2007: Ziqing Mao (Purdue), expertise: access control. Project: Pretty-Bad-Proxy, in IEEE Symposium on Security and Privacy 2009.
- Summer 2006: Ralf Sasse (opens in new tab) (UIUC), expertise: formal methods. Project: GUI logic errors, in IEEE Symposium on Security and Privacy 2007.