CV

Education

M.Sc. in Software Engineering, Science and Research Branch, IAU, Tehran, Iran

Thesis Title: A Framework for the Verification of Information Flow Security Using Temporal Logic.

B.Sc. in Mathematics, Tabriz Branch, IAU, Tabriz, Iran

Honors and Awards

DeepSpec Summer School (DSSS), 2018

Racket Summer School, 2018

Grace Hopper Celebration of Women in Computing (GHC) Scholarship, 2017

Summer School on Formal Techniques (SSFT), 2017

NSF Travel Grant to attend PLMW workshop and POPL Conference, 2017

Microsoft Ph.D. Summer School, Cambridge, UK, 2016

Employment

Research Assistant, University of Utah, 2017-present

Visiting Scholar, Software Technology Group, Kaiserslautern University, Germany, 2015

Research Assistant, Koç University, 2014-2016

Teaching Assistant, Koç University, 2014-2016

Lecturer at Pardis Branch, IAU, Tehran, Iran, 2013-2014

Lecturer at Jahad Daneshgahi Institute, branch of Sharif University, Tehran, Iran, 2013

Software Developer at CAPE Consultant Group, 2013

Software Developer at Rayvarz Software Engineering Co., 2011-2012

Teacher, Iran, 2006-2009

Software

Commander: a runtime state-exploration tool for weakly consistent programs, that exercises all possible behaviors of the target program using Consistency-Aware schedulers.

Professional Services

Artifact Evaluation Committee member, ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2020

Artifact Evaluation Committee member, International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2020

Program Committee member, Demonstrations Track, IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019

Student Volunteer at ACM SIGPLAN Conference on Programming Languages, Design, and Implementation (PLDI), 2019

Artifact Evaluation Committee member, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2018, 2019

Student Volunteer at ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH), 2018

Student Volunteer at ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2018