## About me :

I was born in Arsanjan, Fars, in 1990 and grew up there. In 2012, I received a Bachelor degree in pure mathematics at the Department of Mathematics of Shiraz University. I got my master degree in pure mathematics at the Department of Mathematical Sciences of Sharif University of Technology, in 2014. I have started my Ph.D. at the Department of Mathematical Sciences of Isfahan University of Technology since September 2014.

You can find more information in my Curriculum Vitae.

## Educations :

2008-2012: B.Sc. in pure mathematics at the Department of Mathematics, Shiraz University.

2012- 2014: M.Sc. in pure mathematics at the Department of Mathematical Sciences, Sharif University of Technology.

Title of the thesis: **Cryptographic Hash Function From Expander Graphs**

Supervisor: Dr. Shahram Khazaei (http://sharif.ir/~shahram.khazaei/)

2014- Present: Ph.D. in Mathematical Logic at the Department of Mathematical Sciences, Isfahan University of Technology

Title of the thesis: Uncertain

Supervisor: Dr. Mojtaba Aghaei (http://aghaei.iut.ac.ir/)

## Research Interests :

**Mathematical Logics****Model Theory****O-minimality and Tame Topology****Set Theory****Proof Theory****Deontic Logic****Cryptography****Formal method, Specifying and Verifying Security Protocols****Access Control**