Sriram Rajamani
I am Assistant Managing Director of Microsoft Research India.
My research interests are in programming languages and software engineering. I 
also lead the Rigorous Software Engineering (RSE) Research Group. Here are some RSE group pictures collected over the years.
I moved to MSR India towards the end of 2005. Prior to moving to MSR India, I was manager for the Software Productivity Tools (SPT) group at MSR Redmond. SPT was a truly remarkable set of people.
New:
- "Righting Software" has been selected by IEEE Software's editorial and advisory boards as one of the 25th-Anniversary Top Picks for full-length, peer-reviewed articles
- Submit papers to ISEC 2010
- Recent papers can be found here.
Editorial Boards:
Keynote Talks:
- FM 2009, ICTAC 2009
- TAP 2009, RV 2009, VSTTE 2008, ATVA 2008, APLAS 2007, ASE 2006 , SEFM 2006, APSEC 2006, Soft MC 2005, CONCUR 2004, APPSEM 2004, Soft MC 2001 (done!)
Conference Chairing:
- VSTTE 2010 (upcoming)
- ISEC 2008 and ISEC 2009 (co-chaired together with Pankaj Jalote), CAV 2005(co-chaired togetherwith Kousha Etessami), SPIN 2003(co-chaired together with Tom Ball) (done!)
Program Committees:
- PLDI 2010, ICSE 2010, ISEC 2010, ISSRE 2009
- FSE 2009, POPL 2009, FSTTCS 2008, CCS 2008, ISSTA 2008, TACAS 2008, ICSE 2008, FSE 2007, FSTTCS 2006, APLAS 2006, APSEC 2006, PLAS 2006 , POPL 2005, TACAS 2005, FMCAD 2004, ISSTA 2004, FSTTCS 2003 , PPoPP 2003, CAV 2003 , TACAS 2003,SPIN 2002, FSE 2002, SAVE 2001 (done!)
