Mathematical and Computational Foundations of Data Science (Spring 2023)
Shaffer 300, Homewood Campus, Johns Hopkins 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, Johns Hopkins University, USA
Introduction to Proofs with Lean Proof Assistant (Fall 2022)
Hodson 301, Homewood Campus, Johns Hopkins University
Introduction to Proofs (Fall 2021 & Spring 2022)
Krieger 304, Homewood Campus, Johns Hopkins University
Demonstrator in Computer Science, University of Birmingham, UK
Models Of Computation (Spring 2017)
School of Computer Science, University of Birmingham
Elements of Functional Programming with OCaml (Autumns 2015, 2016, 2017)
University of Birmingham, School of Computer Science
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, Western University, Canada
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, Iran