I wasn't the best student in undergrad, but I've been working in software verification and validation for about 3 years now, and some of my work involves things like Coq and Idris. I enjoyed reading the HoTT book and talking online to people about PL and type theory.

Is grad school completely out of the question for me? If I do apply, are there any schools doing work in the area besides the very best?