As an undergrad in mathematics and computer science, I have been pumping programs and proofs at the University of Toronto since 2019. My area of interest is broad in pure math, but my favorites are mathematical logic and theoretical CS. In my spare time, you can find me shredding trails on my mountain bike.
Favorite things I learned from each course
MAT157: Learned calculus from scratch, starting from axioms of ordered field satisfying least upper-bound property.
MAT240/7: Learned about vector spaces.
CSC148: Learned basic python and how to think about recursion.
CSC240: Learned about regular languages and how to prove programs correct.
MAT327: Learned about topological spaces.
MAT315: Learned about numbers.
MAT257: Learned multivariable calculus and Stoke's theorem on submanifolds of Rn
MAT267: Learned uniqueness and existence of ODEs.
MAT309: Learned completeness and incompleteness of FOL, along with some model theory.
MAT347: Learned about groups, rings, and modules.
CSC265: Learned that designing data structures is hard.
CSC463: Learned Turing machines.
STA257: Learned about probability spaces.
MAT409: Learned some basic set theory, infinite combinatorics, and something about forcing.
MAT354: Learned about holomorphic functions.
MAT482: Learned Fast Fourier Transform and Rabin-Miller.
MAT357: Learned about metric spaces and Lesbegue integration.
MAT367: Learned what an abstract manifold is and how to integrate/differentiate on it.
MAT495: Learned about BPP and the PCP theorem.
CSC373: Learned about greedy, dynamic programming, and approximation algorithms.
CSC448: Learned about context-free language and Turing machines.
PHL354: Learned about structualism, Quine, and fictionalism.
CSC324: Learned about recursion and semantics of programming languages.
Chernoff Bounds are cool
Baby PCP Theorem
Write up on automatic verification of concurrent and recursion programs coming soon...