#30 Actors, GADTs and Burnout - Dan and Pedro
Type Theory Forall
English - May 30, 2023 23:30 - 1 hour - 99.1 MB - ★★★★★ - 6 ratingsTechnology Science type theory programming languages academia Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: #29 Can PL theory make you a better software engineer? - Jimmy Koppel
In this episode we have over Dan Plyukhin, a PhD Candidate from
the University of Illinois Urbana-Champaign.
We talk about Dan’s research is in the field of parallelism, more
specifically garbage collection in the presence of actors.
Then we also talk about Pedro's research on translating GADTs from OCaml to Coq,
and the burnout process that lead him to take 10 months off from his PhD to
be with his family back in Brazil.
Links