During grad school I had to spend a year at IAS, because my advisor was there on sabbatical. The Institute is not very grad-student-friendly (by design): there

During grad school I had to spend a year at IAS, because my advisor was there on sabbatical. The Institute is not very grad-student-friendly (by design): there are a lot of cultural and bureaucratic hurdles a student might find there, such as refusing any affiliation, both for visa and academic purposes, not offering proper office place, and a certain aloofness of the faculty. My experience was a bit better than the norm at the then-new School for System Biology, but I have a lot of great memories of discussion with Voevodsky over lunch. He had found in me and another grad student from the same group two people interested in the use of computers in science, and he didn't care that we completely out of our depth discussing the foundations of mathematics. We were both just very interested in how computers were transforming science, and he kept telling us that the same revolution was going to happens for mathematics as well, despite the resistance of some of his colleagues. These discussions sparked an interest I still have for proof verification, automatic theorem proving, and type systems. Here's to hoping his legacy lives on and that the revolution he helped start brings on a new era in mathematics.