Maryam Dabaghchian
Office: MEB 2180     
              School of Computing
              University of Utah  

Email: maryam.dabaghchian[AT]

I am a Ph.D. Student in the School of Computing at the University of UtahI am a member of SOARlab and fortunate to be advised by Professor Zvonimir Rakamarić. 

Research Interests: formal methods including formal analysis and verification of concurrent and distributed programs, formal specification, model checking, programming languages, and logic.