I am a Ph.D. student in the School of Computing at the University of Utah. I am working in SOARlab and fortunate to be advised by Professor Zvonimir Rakamarić.
Research Interests: formal analysis and verification of concurrent and distributed programs, formal specification, model checking, programming languages, and logic.
Email: maryam[AT]cs.utah.edu