Type Theory Forall

#2 Grad School Life - Rajan Walia and John Sarracino

Type Theory Forall

In this episode we host Rajan Walia and John Sarracino. Rajan is a last year PhD Student from Indiana University, working under Sam Tobin-Hochstadt. And John is a Postdoc working with Greg Morriset at Cornell University.

We talk about Grad School life, how academia life looks like, pressure to publish, work-life balance, industry vs academia, and much more!

Here you can find John’s Website. http://goto.ucsd.edu/~john/

And here is Matt Might’s website mentioned in the episode. http://matt.might.net/#blog

Next Episodes

Type Theory Forall

#1 What is PL research? - Prof. Ben Delaware @ Type Theory Forall

📆 2020-12-23 05:00 / 00:57:55