#43 PL In The Industry And Summer Schools - Patrick And Eric Type Theory Forall podcast

Artwork

Science Tech Pedro Abreu Type Theory Academia Programming Language

Conteúdo fornecido por Pedro Abreu. Todo o conteúdo do podcast, incluindo episódios, gráficos e descrições de podcast, é carregado e fornecido diretamente por Pedro Abreu ou por seu parceiro de plataforma de podcast. Se você acredita que alguém está usando seu trabalho protegido por direitos autorais sem sua permissão, siga o processo descrito aqui https://pt.player.fm/legal.

Type Theory Forall « »
#43 PL in the Industry and Summer Schools - Patrick and Eric

2M ago 1:01:30

Compartilhar

MP3•Home de episódios

Conteúdo fornecido por Pedro Abreu. Todo o conteúdo do podcast, incluindo episódios, gráficos e descrições de podcast, é carregado e fornecido diretamente por Pedro Abreu ou por seu parceiro de plataforma de podcast. Se você acredita que alguém está usando seu trabalho protegido por direitos autorais sem sua permissão, siga o processo descrito aqui https://pt.player.fm/legal.

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.

… continue reading

83 episódios

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

Artwork

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

Type Theory Forall

27 subscribers

published 2M ago

Compartilhar

MP3•Home de episódios

Conteúdo fornecido por Pedro Abreu. Todo o conteúdo do podcast, incluindo episódios, gráficos e descrições de podcast, é carregado e fornecido diretamente por Pedro Abreu ou por seu parceiro de plataforma de podcast. Se você acredita que alguém está usando seu trabalho protegido por direitos autorais sem sua permissão, siga o processo descrito aqui https://pt.player.fm/legal.

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.

… continue reading

83 episódios

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

Tất cả các tập

×

Bem vindo ao Player FM!

O Player FM procura na web por podcasts de alta qualidade para você curtir agora mesmo. É o melhor app de podcast e funciona no Android, iPhone e web. Inscreva-se para sincronizar as assinaturas entre os dispositivos.

Ouça a 500+ tópicos