Player FM 앱으로 오프라인으로 전환하세요!
#30 Actors, GADTs and Burnout - Dan and Pedro
Manage episode 420953616 series 2951423
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
82 에피소드
Manage episode 420953616 series 2951423
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
82 에피소드
همه قسمت ها
×플레이어 FM에 오신것을 환영합니다!
플레이어 FM은 웹에서 고품질 팟캐스트를 검색하여 지금 바로 즐길 수 있도록 합니다. 최고의 팟캐스트 앱이며 Android, iPhone 및 웹에서도 작동합니다. 장치 간 구독 동기화를 위해 가입하세요.