#19 Experience Report: Learning Coq - Patrick and Supun

Type Theory Forall

• Episode: #19 Experience Report: Learning Coq - Patrick and Supun
• Website: Type Theory Forall
• Feed URL: https://www.typetheoryforall.com/episodes.mp3.rss
• Duration: 01:51:39
• Published: 2022-06-04 17:40

In today’s episode I invite two friends of mine Patrick Lafontaine and Supun Abeysinghe. We will talk about their experience learning Coq and we guide ourselves in a survey that I gave all the 83 students in the class. The class was thought by my advisor Benjamin Delaware and I was his TA.

Patrick researches compilers and have done work in particular with Rust. And Supun works more along the lines of machine learning in the context of systems.