I am a graduate student at the Computer Science Department of the Simon Frasor University (SFU) and a member of the Computational Logic Lab.

I completed my B.Sc degree in Computer Engineering at the Department of Electrical and Computer Engineering of the University of Tehran.