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

Mihaela Bobaru


    • MSc, University of Waterloo (2001)
    • PhD Computer Science, University of Toronto (2008)

Professional Experience

    • 2010-now, Jet Propulsion Laboratory, LaRS
    • Research Intern (2008), Microsoft Research, Cambridge, UK
    • Visiting Researcher (2007-2008), NASA Ames Research, Mountain View, CA
    • Research Intern (2006 and 2007), NASA Ames Research
    • Lecturer CS (2002-2003), University of Nebraska, Lincoln

Selected Recent Publications

    • M. Gheorghiu Bobaru, C. S. Pasareanu, D. Giannakopoulou, Automated Assume-Guarantee Reasoning by Abstraction Refinement, in Proceedings of CAV 2008, July 2008, Princeton, NJ, USA.
    • C. S. Pasareanu, D. Giannakopoulou, M. Gheorghiu Bobaru, J. M. Cobleigh, H. Barringer, Learning to Divide-and-Conquer: Applying the L* Algorithm to Automate Assume-Guarantee Reasoning, in FMSD Journal, 37 pages, Springer OnlineFirst, January 2008.
    • M. Gheorghiu, A. Gurfinkel, M. Chechik, Finding State Solutions to Temporal Logic Queries, in Proceedings of IFM 2007 , Springer LNCS vol. 4591, pp. 273-292.
    • M. Gheorghiu, D. Giannakopoulou, C. Pasareanu, Refining Interface Alphabets for Compositional Verification, in Proceedings of TACAS 2007 , Springer LNCS vol. 4424, pp. 292-307.
    • M. Chechik, M. Gheorghiu, A. Gurfinkel, Finding Environment Guarantees, in Proceedings of FASE 2007, Springer LNCS vol. 4422, pp. 352-367.
    • S. Nejati, M. Gheorghiu, M. Chechik, Thorough Checking Revisited, in Proceedings of FMCAD 2006.
    • + More