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.
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
- Set Theory
- Deontic Logic
- Formal method, Specifying and Verifying Security Protocols
- Access Control