NAZANIN ROSHANDEL TAVANA

Assistant Professor

Department of Mathematics and Computer Science

Pure Mathematics

Department of Mathematics and Computer Science

Pure Mathematics

Download PDF فارسی

Content

Pepole

CV

NAZANIN ROSHANDEL TAVANA

Assistant Professor

Department of Mathematics and Computer Science

Pure Mathematics

Department of Mathematics and Computer Science

Pure Mathematics

Download PDF فارسی

Email:

nrtavanaaut.ac.ir

Phone:

h-index (Scopus):

2

Citations (Scopus):

25

Supervised MSc Theses

#

Thesis title

By

Date

1

non locality in quantum information theory

Hamid Reza Saadi & Nazanin Roshandel Tavana

July 2020

2

FRA¨ISSE LIMITS OF C*-ALGEBRAS

Morteza Naderi & Nazanin Roshandel Tavana

June 2020

3

Fraïssé construction in continuous logic

Faezeh Safaee & Nazanin Roshandel Tavana

February 2019

4

Model theory of operator algebras: elementary equivalence and II1 factors

Mohammad Hossein Yeganeh Amiri & Nazanin Roshandel Tavana

February 2018

5

Model Theory of operator Algebra : Existentially Closed II1 Factors

Batoul Heshmati & Nazanin Roshandel Tavana

February 2018

Journal Papers

Portal Records

1

Nazanin Roshandel Tavana, "The Craig Interpolation Property for Rational Godel Logic", IRANIAN JOURNAL OF FUZZY SYSTEMS, September 2022
Vol. 20,
Num. 1,
Page 1-8,
September 2022,

2

Nazanin Roshandel Tavana, "An effective version of definability in metric structures", AUT Journal of Mathematics and Computing, December 2021
Vol. 3,
Num. 1,
Page 1-20,
December 2021,

3

Keng Meng Ng, Nazanin Roshandel Tavana, Yang Yue, "A recursion theoretic foundation of computation over real numbers", JOURNAL OF LOGIC AND COMPUTATION, July 2021
Vol. 0,
Num. 0,
Page 1-30,
July 2021,

4

Seyed Mohammad Amin Khatami, Masoud Pourmahdian, Nazanin Roshandel Tavana, "From rational Godel logic to ultrametric logic", JOURNAL OF LOGIC AND COMPUTATION, October 2016
Vol. Vol 26,
Num. 5,
Page 1743-1767,
October 2016,

5

Klaus Weihrauch, Nazanin Roshandel Tavana, "Representations of measurable sets in computable measure theory", LOGICAL METHODS IN COMPUTER SCIENCE, August 2015
Vol. 10,
Num. 3,
Page 1-21,
August 2015,

Conference Papers

Portal Records

1

Nazanin Roshandel Tavana, "Complexity in Computable Analysisi ", Ninth Annual Conference of the Iranian Association for Logic, January 2022

2

Nazanin Roshandel Tavana, "Some results of effectiveness in metric model theory ", 52nd annual Iranian Mathematics Conference, August 2021

3

Nazanin Roshandel Tavana, "Logic and operator algebra ", 51th annual Iranian math conference, February 2021

4

Nazanin Roshandel Tavana, "Some model theory on rational Godel logic ", Eighth annual conference, February 2021

Taught Courses

#

Course title

Description

Headlines

Date

1

Math. (I)

learning calculus

Fall 2022

3

Introduction to Logic & Set Theory

Learning logical deduction

Fall 2022

4

Introduction to Logic & Set Theory

Learning logical deduction

Spring 2022

6

Foundation of Mathematics

Learning the basic notions of math and writing correctly

Spring 2022

7

Math. (I)

Learning calculus

Fall 2021