These web pages use cascading style sheet features for
formatting. You may still browse the text of the site, but for best
results, use a modern CSS-enabled browser.
Employment
- Senior Enginner,
NASA Jet Propulsion Laboratory, Pasadena, CA,
2003 - current
- Member of Technical Staff,
Compaq/HP Systems Research Center (SRC),
Palo Alto, CA,
1999 - 2003
- Senior Technical Associate, Math Sciences Research Group (1126),
Sep 1991 - Aug 1992,
Hardware Systems Manager, Advanced Decision Support Systems (ADSS),
Oct 1990 - Aug 1991
AT&T Bell Laboratories, Murray Hill, NJ
- Summer Intern,
DEC Systems Research Center (SRC), Palo Alto, CA,
May - Aug 1997
(Host:
Rustan Leino)
- Summer Intern,
Sun Microsystem Laboratories, Mountain View, CA,
May - Aug 1995
(Host:
Sriram Sankar)
- Summer Intern,
Fraunhofer-CRCG, Providence, RI and Darmstadt Germany,
Jun - Aug 1994
(Host: Hans Joseph)
Education
- PhD, Computer Sciences, The University of Texas at Austin, Oct 1999
Advisor:
Prof. Jayadev Misra
Thesis Title: Immediacy: A Technique for Reasoning about Asynchrony
- M.S., Computer Sciences, The University of Texas at Austin, May 1994
- B. Tech, Computer Sciences, Indian Institute of Technology, Bombay, India,
May 1990
Scholarships
- NATO Fellowships for attending the 17th and 19th International Summer Schools
at Marktoberdorf Germany (1996, 1998)
- MCD Fellowship, The University of Texas at Austin, 1992 - 1994
- National Talent Search Scholarship, Govt of India, 1984 - 1990
Organization
-
Co-chair, NASA Formal Methods Conference,
Pasadena, CA, Apr 2011
-
Co-chair, VSTTE Tools and Experiments Workshop,
Edinburgh, Scotland, Aug 2010
-
Co-chair, VSTTE Experiments Workshop,
Toronto, Canada, Oct 2008
-
Co-organizer, JPL Mini-Software Assurance Symposium,
Pasadena, CA, Mar 2006
-
Co-chair, Session on Software Reliability Tools and Techniques,
JPL/Goddard Quality Mission Software Workshop,
Philadelphia, May 2005
-
Local Arrangements Chair,Conference on Principles of Distributed Computing (PODC),
Monterey, CA, May 2002
MENTORING
