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

Email: maryam.dabaghchian[AT]gmail.com
             maryam[AT]cs.utah.edu 

My CV in PDF      GitHub     LinkedIn


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.