Home

Isaac Velasquez

velas129[at]umn[dot]edu

I did my undergrad at Princeton University for Computer Science where I was mentored by Matthew Weaver in Homotopy Type Theory; my interest first being piqued as a result of the field existing at the intersection of philosophy, foundations of math, and computer science. I am now a first-year Doctoral Candidate at the University of Minnesota in the Computer Science department, advised under Favonia. The following are a few of the interests that I hold and that I might touch upon in my various blog posts in the near future.

• Homotopy Type Theory
• German Idealism (Specifically, Phenomenology)
• Theology (Neo-Orthodoxy and Liberation Theology)
• FOSS

Announcements

• TA for CSCI 2041, Advanced Programming Principles Spring 2022
• Presented my Senior Thesis at HoTT MURI Fall 2021