Office: MEB 3167     
              School of Computing
              University of Utah  

Email: maryam.dabaghchian[AT]

My CV in PDF      GitHub     LinkedIn

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

Research Interests: formal methods including formal analysis and verification of concurrent and distributed application, formal specification, model checking, program logic.