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
Download PDF فارسی
Email:
nrtavana
aut.ac.ir
aut.ac.irPhone:
h-index (Scopus):
4.00
Citations (Scopus):
46
Supervised MSc Theses
#
Thesis title
By
Date
1
Reverse Cauchy-Schwarz inequalities and some consequences in inner product spaces
NEGIN RAISI & MEHDI ROSTAMI
Other Supervisor:
Other Supervisor:
2024 Oct
2
Existence and stability of solutions of a certain fractional boundary value problem
SHIRIN KEYVANFAR & SEYED MANSOUR VAEZPOUR
Other Supervisor:
Other Supervisor:
2024 Jul
3
Model Theory of One-Dimensional Asymptotic Classes
FATEME PEIMANY & MASOUD POURMAHDIAN
Other Supervisor:
Other Supervisor:
2023 Jul
4
MV_algebras with internal states and probablistic fuzzy logics
MOHAMMADREZA HEIDARI EZZATI
2023 Mar
5
Almost sure Theories in First Order Logic and its extensions
ZAHRA MOHAMMADI KHANGHESHLAGHI & MASOUD POURMAHDIAN
Other Supervisor:
Other Supervisor:
2023 Mar
6
non locality in quantum information theory
HAMID REZA SAADI & MASOUD POURMAHDIAN
Other Supervisor:
Other Supervisor:
2020 Jul
7
FRAISSE LIMITS OF C*-ALGEBRAS
MORTEZA NADERI & MASOUD POURMAHDIAN
Other Supervisor:
Other Supervisor:
2020 Jun
8
Frass construction in continuous logic
FAEZEH SAFAEE
Other Supervisor: MASOUD POURMAHDIAN
Other Supervisor: MASOUD POURMAHDIAN
2019 Feb
9
Model Theory of operator Algebra : Existentially Closed II1 Factors
BATOUL HESHMATI
2018 Feb
10
Model theory of operator algebras: elementary equivalence and II1 factors
MOHAMMAD HOSSEIN YEGANEH AMIRI
2018 Feb
11
Self-Supervised Contrastive Conditioning for Latent Diffusion-Based Histopathology Segmentation
MOHAMMADSHAKIB HOSSEINZADEH
2026 May
12
QUANTIFIER ELIMINATION IN II1 FACTORS
SEYED MOHAMMAD JAVAD RAZAVI TOOSI
Other Supervisor: MEHDI ROSTAMI
Other Supervisor: MEHDI ROSTAMI
2025 Aug
Journal Papers
1
S. Jalili Galeh, M. Pourmahdian, N. Roshandel Tavana, "Generic expansions of geometric theories", Journal of Symbolic Logic, 2024 Apr
vol. 0,
no. 0,
pp.1-22,
2024.
2
N. Roshandel Tavana, M. Pourmahdian, S.m.khatami, "The Craig interpolation property in first-order G?del logic", Fuzzy Sets and Systems, 2024 Apr
vol. 485,
no. 0,
pp.1-10,
2024.
3
N. Roshandel Tavana, "Some Model Theoretic Properties for Pavelka-Style Godel Logic, RGL* and Godel Logic with ?", Axioms, 2023 Sep
vol. 12,
no. 9,
pp.858-870,
2023.
4
N. Roshandel Tavana, "The Craig Interpolation Property for Rational Godel Logic", Iranian Journal of Fuzzy Systems, 2022 Sep
vol. 20,
no. 1,
pp.1-8,
2022.
5
N. Roshandel Tavana, "An effective version of definability in metric structures", .Aut Journal of Mathematics and Computing, 2021 Dec
vol. 3,
no. 1,
pp.1-20,
2021.
6
Keng Meng Ng, N. Roshandel Tavana, Yang Yue, "A recursion theoretic foundation of computation over real numbers", Journal of Logic and Computation, 2021 Jul
vol. 0,
no. 0,
pp.1-30,
2021.
7
S.M.A. Khatami, M. Pourmahdian, N. Roshandel Tavana, "From rational Godel logic to ultrametric logic", Journal of Logic and Computation, 2016 Oct
vol. Vol 26,
no. 5,
pp.1743-1767,
2016.
8
Klaus Weihrauch, N. Roshandel Tavana, "Representations of measurable sets in computable measure theory", Logical Methods In Computer Science, 2015 Aug
vol. 10,
no. 3,
pp.1-21,
2015.
9
N. Roshandel Tavana, Klaus Weihrauch, "Turing machines on represented sets, a model of computation for analysis", Logical Methods In Computer Science, 2011 Jun
vol. 7,
no. 2,
pp.1-21,
2011.
Taught Courses
#
Course title
Description
Headlines
Date
1
Introduction to Logic & Set Theory
4051
2
Math. (I)
4051
3
Introduction to Logic & Set Theory
4042
4
Introduction to the Theory of Computation
4042
5
Foundations of Mathematics
4042
6
Computer Programming
4041
7
Foundation of Mathematics
4041
8
Model Theory
4032
9
Theory of Computation
4032
10
Foundation of Mathematics
4032
11
Foundation of Mathematics
4032