I am Ph.D. in mathematical logic (from Tabriz university, Iran). My work is on Theories of arithmetic, computability theory, modal logics of provability and incompleteness theorems. I was lecturer of mathematics and computer science at Sheykh Bahayi university from 2005 to 2011. I am also interested in Philosophy of Math. and science, education of Math. and automated theorem proving.

Email: payam.seraji54@gmail.com