Maryam Dabaghchian

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]