Logic II : Computability, Set Theory, and Model Theory (Fall 2025)
Stockholm University 🇸🇪
Teaching
For each course in below, you can find the syllabus, lectures, code repos, objectives and values, teaching assistants and other information by opening the link in the title which leads to the course page.Instructor
Mathematical and Computational Foundations of Data Science (Spring 2023)
Johns Hopkins University 🇺🇸
Introduction to Proofs with Lean Proof Assistant (Fall 2022, Fall 2023, Spring 2024)
Johns Hopkins University 🇺🇸
Introduction to Proofs (Fall 2021 & Spring 2022)
Johns Hopkins University 🇺🇸
Guest Lectures
Computer Formalisation of Mathematics
Stockholm University, Sweden 🇸🇪
Demonstrator in Computer Science
Models Of Computation (Spring 2017)
School of Computer Science, University of Birmingham 🇬🇧
Elements of Functional Programming with OCaml (Autumns 2015, 2016, 2017)
School of Computer Science, University of Birmingham 🇬🇧
Team Project Module (Spring 2017)
School of Computer Science, University of Birmingham 🇬🇧
Mathematics for Computer Science (Spring 2016)
School of Computer Science, University of Birmingham 🇬🇧
Functional Programming with Haskell (Autumn 2015)
School of Computer Science, University of Birmingham 🇬🇧
Graduate Teaching Assistant in Mathematics
Finite Maths (MATH 1228)
Mathematics Department, Western University 🇨🇦
Metric Space Topology (MATH 3122B)
Mathematics Department, Western University 🇨🇦
Calculus 1225
Western University 🇨🇦
Real Analysis (MATH 2122A)
Mathematics Department, Western University 🇨🇦
Linear Algebra (Math 1600A)
Faculty of Science, Western University 🇨🇦
Math Competition Trainer
Putnam Training Sessions
Faculty of Science, Western University 🇨🇦
Iranian Mathematics Olympiad
NODET High School (Sampad) 🇮🇷