I'm a Phd graduate in Mathematical Logic under supervison of Abbas Edalat, and visiting ANU since March 2018 to colaborate with Dirk Pattinson on Domain theory-Constructive Mathematics.
Lecturing at ANU College, 2018-2020.
Lecturing and Convenering at UC College, 2019-2021.
TA at ANU , 2018-2020.
TA at UC, 2019-2020.
Lecturng at Unversity of Tabriz-Iran, 2015-2017.
My research intrest is Computability and Complexity theory in perespective of Recersion theory but I'd like to work on application side as well.
Moroever, my tast changed towards Domain Theory and Computational Analysis after working with Dirk Patinson and Abbas Edalat.
I'm highly motivated to work on common land of Domain theory- Complexity Theory.
Constructive Domains with Classical Witnesses, Dirk Pattinson and Mina Mohammadian, LMCS (Journal of Logical Methods in Computer Science) 2019.
Domain Theoretic Second-Order Euler’s Method for Solving Initial Value Problems, A. Edalat- A.Farjudian-M.Mohammadian and D.Pattinson, MFPS 2020, available at Electronic Notes in Computer science.
Bachelor degree in Pure Mathematics. University of Tabriz-Iran.
Master of science in Mathematical Logic. University of Tabriz-Iran.
PhD of Mathematical Logic. University of Tabriz-Iran.