• #43 PL in the Industry and Summer Schools - Patrick and Eric

  • Sep 13 2024
  • Length: 1 hr and 2 mins
  • Podcast

#43 PL in the Industry and Summer Schools - Patrick and Eric

Listen for free

View show details

  • Summary

  • In this episode Eric Bond and Patrick Lafontaine joins us to talk about the life in industry vs the life in academia. Eric is a PhD student at Michigan University under Max New, he works with some pretty cool esoteric cubical agda stuff. Before starting his PhD he has spent some time at the consultancy companies Two Six Technologies and 47 Degrees doing some cool functional programming and formal methods. Before that we were pals doing an internship at Galois, and even before that he finished his masters with Benjamin Delaware at Purdue, Patrick’s current advisor. Patrick has just returned from his internship at AWS in the automated reasoning team. So in this episode we talk about their research, their academic and industry experiences, how’s the industry looking like for opportunities in PL and all that.

    If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall

    Links
    • Type Theory Forall website
    • Type Theory Forall discord
    Show more Show less
Show more Show less
activate_Holiday_promo_in_buybox_DT_T2

What listeners say about #43 PL in the Industry and Summer Schools - Patrick and Eric

Average customer ratings

Reviews - Please select the tabs below to change the source of reviews.

Audible.com reviews

Amazon reviews
No Reviews are Available