Type Theory Forall

#0 Cool Internships in PL - Believe or not there are quite a few companies interested in Programming Languages Research.

Type Theory Forall

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

Next Episodes