Isaac Velasquez


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.