Research Assistant
Critical Systems Group

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

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.

Currently, Elaheh is researching new trends in compositional verification, model-based development, and large-scale verification techniques for embedded/critical systems.