Logo

Type Theory Forall

Type Theory much beyond inference rules

Episode image

#0 Cool Internships in PL

Pedro Abreu

Dec 14th 2020   |  32 min
0:00
0:00

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