IPM Positions

Non Resident Researcher (non-resident), School of Mathematics (2023 - Present (from March 21, 2023 in Isfahan branch))

Past IPM Positions

Resident Researcher, School of Mathematics (2014 - 2016) (till September 21, 2016 ) Post-Doctoral Research Fellow, School of Mathematics (2012 - 2014)

Non IPM Affiliations

Assistant Professor of Amirkabir University of Technology

Related Papers

1.	N. Roshandel Tavana The Craig interpolation property in first-order Godel logic Fuzzy Sets and Systems 485 (2024), 108958  [abstract]

2.	M. Pourmahdian and N. Roshandel Tavana (Joint with S. M. A. Khatami) From rational Godel logic to ultrametric logic J. Logic Comput. (Accepted) [abstract]

3.	N. Roshandel Tavana (Joint with K. Weihrauch) Representations of measurable sets in computable measure theory LMCS (2014), DOI: 10.2168/LMCS(3:7)2014  [abstract]

4.	M. Pourmahdian and N. R. Tavana (Joint with F. Didehvar) Effective metric model theory Math. Structures Comput. Sci. (2014), DOI: 10.1017/S0960129513000352  [abstract]

5.	M. Pourmahdian and N. R. Tavana Compactness in first-order Godel logics J. Logic Comput. (2012), DOI 10.1093/logcom/exs037  [abstract]