Audio is streamed directly from the publisher (api.typetheoryforall.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
Who is Pedro Abreu?
What is the goal of this Podcast?
What are My Research Interests?
In this episode I share about my internship experiences at Nicta (data61 now), Sifive, Galois and Nomadic Labs.
Welcome!
Don’t forget to checkout Galois’ new podcast hosted by Joey Dodds and Shpat Morina. Click Here