Skip to main content
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.

Laboratory for Reliable Software (LaRS)
at the Jet Propulsion Laboratory

Title Image

Rahul Kumar

Rahul's Picture
Address:
Jet Propulsion Laboratory
M/S 301-450A
4800 Oak Grove Drive
Pasadena, CA 91109
Phone:
818.393.4138
Fax:
818.393.4100
Email:
rahulskumar at gmail dot com

Education

    • MSc Computer Science, Brigham Young Univ. (2004)
    • PhD Computer Science, Brigham Young Univ. (2008)

Professional Experience

    • Software Systems Engineer (2014-), NASA/JPL, Pasadena, CA
    • Senior Software Developer (2008-2014), Microsoft, Redmond, WA

Selected Awards

    • Doctoral Fellowship, Brigham Young University (2003-2007)
    • Doctorate Scholarship, Masaryk University (2004)
    • Academic Scholarships, Brigham Young Univ. (1998-2002)

Selected Recent Publication

    • Tom Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin. Static driver verification with under 4% false alarms. FMCAD 2010.