Research Assistant
Critical Systems Group

Elaheh Ghassabani is a Ph.D. graduate from the Department of Computer Science and Engineering, University of Minnesota- Twin Cities. She worked as a research assistant in the Critical Systems Research Group with Dr. Michael W. Whalen and Professor Mats Heimdahl.

Elaheh received both her Bachelor’s and Master’s degrees in Computer Engineering from the Iran University of Science & Technology. Her Master's work is in Software Engineering and Distributed Systems culminating in a thesis on software security verification through model checking.

Elaheh research interests are new trends in compositional verification, model-based development, and large-scale verification techniques for embedded/critical systems.

Elaheh completed her PhD thesis on the area of symbolic model checking proposing the idea of Inductive Validity Cores (IVCs). IVCs can be used for several interesting analyses, including requirements traceability, coverage analysis, regression analysis for testing/proof, determination of the minimum (as opposed to minimal) number of model elements necessary for proof, the diversity examination of model elements leading to proof, and analyzing fault tolerance.