91ÊÓƵ

Jack McKoen

Ph.D. Student

Bio

Hometown: Edmonton, Alberta

Education

B.Sc. Honors in Mathematics and M.Sc. in Mathematics from the University of Alberta

Research

• Category theory
• Homotopy theory
• Formalization of mathematics