Mihaela Bobaru (nee Gheorghiu)

I got my Ph. D. in Computer Science from the University of Toronto in March 2009. At U of T I worked in Automated Verification, under the supervision of Prof. Marsha Chechik. After graduation I worked at JPL as a Software Engineer/Researcher. I am currently working as a Software Engineer in Lincoln, NE. Will no longer actively maintain this page.

ISoLA 2012 ISoLA 2012

NASA Formal Methods Symposium NFM 2011

Formal Aspects of Component Software Symposium FACS 2011

Previously (2002) I got a Master of Mathematics in Computer Science at University of Waterloo under the supervision of Distinguished Prof. Emeritus John Brzozowski.

September 2008 -- December 2008

Research Intern at Microsoft Research, Cambridge, UK. Worked with Byron Cook.

September 2007 -- March 2008

Visiting Researcher at RIACS/NASA Ames, Mountain View, CA

Summers 2006 and 2007

Research Intern at NASA Ames, Mountain View, CA, working with Dimitra Giannakopoulou, Corina Pasareanu, Peter Mehlitz, Vandi Verma, Guillaume Brat, Bob Morris, and Michel Izygon (@ NASA Johnson Space Center, Houston, TX)

2002 - 2003

Lecturer at University of Nebraska - Lincoln in the Computer Science and Engineering Department.
Courses taught there:

Recent Publications

Other Publications

Tool Papers

Journal Papers

Conference Papers


VaqUoT - a vacuity detector developed in the Formal Methods group here at U of T is available for download as a patch for the NuSMV model checker; the download is protected, but you are welcome to send me email at the address below and I will give you the user id and password.

Favourite Quote

"My gardener of chrysanthemums you are / Become their servant." Buson