People
Members of Logic Group
Mohammad Ardeshir, Professor
Basic Logic, Constructive Mathematics, Philosophy of Mathematics
Graduate Students
Kaveh Ghasemloo, Masters Student
Proof Theory
Mojtaba Mojtahedi, Masters Student
Intermediate Logic
Rasool Ramezanian, PhD Student
Epistemic logic
Undergraduate Students
Fatemeh Arbab
Artificial Intelligence
Ruzbeh Ebrahimi
Constructive Set Theory
Elham Faghanimehr
Domain Theory and Exact Real Number Computation
Golnaz Ghasemi
Categorical Type Theory
Pooya Ronagh
Topos Theory, Applications of Sheaves
Mohammad Saleh Zarepour
Philosophical Logic, Philosophy of Science, Mathematics and Mind
Constructive Type Theory