How to do Grad School: Big Ideas and Formal Methods