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 13:42 / 00:57:56


Type Theory Forall

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

📆 2020-12-23 13:42 / 00:57:56


Type Theory Forall

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

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


Type Theory Forall

#0 Cool Internships in PL - Pedro Abreu @ Type Theory Forall

📆 2020-12-14 13:08 / 00:31:59