![Type Theory Forall artwork](https://is5-ssl.mzstatic.com/image/thumb/Podcasts124/v4/ed/de/43/edde43db-febe-b892-3a30-358ebe2e2c07/mza_16532267942080647912.png/100x100bb.jpg)
#2 Grad School Life - Rajan Walia and John Sarracino
Type Theory Forall
English - January 10, 2021 12:45 - 1 hour - 70.8 MB - ★★★★★ - 6 ratingsTechnology Science type theory programming languages academia Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: #1 What is PL research? - Prof. Ben Delaware
Next Episode: #3 ML for PL and Mental Health - Dan Zheng
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