# About Me
My name is Coy, I graduated from the University of Michigan in December 2024 with my Bachelor’s of Science, double majoring in Pure Mathematics and Computer Science.
Some of my favorite courses during undergrad were:
- Algebraic Topology
- Differential Topology
- Computer Architecture
- Digital Logic Design
- Algorithm Design
- Software Engineering
In my computer architecture course, me and a team of five others designed and synthesized a MIPS R10-K style microprocessor. Our design featured a super-scalar out-of-order pipeline, a non-blocking data cache and victim cache, and a G-Share branch predictor. This was by far my favorite project in undergrad and one of my most memorable courses. I would love to get more into formal verification or hardware design because of it.
Recently, I have been interested in category theory and type theory.
I played hockey, basketball, and baseball when I was in highschool, and a bit of hockey in college, but I am a mostly out of practice. A few of my other hobbies include chess and aim training.
During school, I tutored math at the University of Michigan MathLab and worked as a teacher’s assistant and grader for a variety of courses. Currently, I work as an instructor at my local Mathnasium.