I received my PhD from the Computing Science Department of Simon Fraser University in December 2013 and under the supervision of Dr. Eugenia Ternovska. My PhD thesis was on Modularity and Arithmetic in Declarative Languages for Knowledge Representation. Before that, I received MSc from the Computer Enguneering Department of Sharif University of Technology in February 2008 under the supervision of Dr. Hassan Mirian. Even prior to that, in October 2004, I received my BSc degree from the Computer Engineering Department of Iran University of Science and Technology where I did my B.Sc. Hons. thesis under the supervision of Dr. Mohsen Sharifi.