Type Theory Forall

#2 Grad School Life - Rajan Walia and John Sarracino


Listen Later

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

...more
View all episodesView all episodes
Download on the App Store

Type Theory ForallBy Pedro Abreu

  • 5
  • 5
  • 5
  • 5
  • 5

5

11 ratings


More shows like Type Theory Forall

View all
Software Engineering Radio - the podcast for professional software developers by se-radio@computer.org

Software Engineering Radio - the podcast for professional software developers

272 Listeners

The Changelog: Software Development, Open Source by Changelog Media

The Changelog: Software Development, Open Source

284 Listeners

Software Engineering Daily by Software Engineering Daily

Software Engineering Daily

621 Listeners

Soft Skills Engineering by Jamison Dance and Dave Smith

Soft Skills Engineering

269 Listeners

Late Night Linux by The Late Night Linux Family

Late Night Linux

154 Listeners

CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

CoRecursive: Coding Stories

189 Listeners

The Numberphile Podcast by Brady Haran

The Numberphile Podcast

448 Listeners

Cautionary Tales with Tim Harford by Pushkin Industries

Cautionary Tales with Tim Harford

5,125 Listeners

Iowa Type Theory Commute by Aaron Stump

Iowa Type Theory Commute

17 Listeners

Last Week in AI by Skynet Today

Last Week in AI

287 Listeners

2.5 Admins by The Late Night Linux Family

2.5 Admins

92 Listeners

The Haskell Interlude by Haskell Podcast

The Haskell Interlude

13 Listeners

The Joy of Why by Steven Strogatz, Janna Levin and Quanta Magazine

The Joy of Why

502 Listeners

Oxide and Friends by Oxide Computer Company

Oxide and Friends

47 Listeners

Latent Space: The AI Engineer Podcast by swyx + Alessio

Latent Space: The AI Engineer Podcast

75 Listeners