I am a master's student of mathematics at the University of Alberta under the supervision of Adam Topaz. You can find my CV here.
I am interested in formalizing mathematics using the proof assistant Lean. I try to regularly contribute to mathlib with a view toward higher category theory. I recently gave a talk on my ongoing formalization project, which you can find here.