NOAH PINEL

I am currently in my last year of undergrad at the University of Calgary.
My main interests lie in pure maths and theoretical computer science (TCS).

Some Academic Interests:

~ Representation theory
~ Foundations of math
~ Category theory
~ Proof assistants
~ TCS (Complexity, Computability, Compilers, Graph theory, ML)
~ And a lot more...

Contact Me

Email: λ xyz.{xzy}(noah.pinel, ucalgary.ca, [at])

GitHub: github.com/NoahPinel

Some texts

Last Updated: 2024-03