In this episode we have over Dan Plyukhin, a PhD Candidate from

We talk about Dan’s research is in the field of parallelism, more

Then we also talk about Pedro's research on translating GADTs from OCaml to Coq,

Jimmy Koppel, got his PhD at MIT and found the Mirdin Company, where he

In this episode we host another company that does formal method in the

In this episode talk with Gerwin Klein about the formal verification of the

Kevin Buzzard has been very passionate spreading the word among

In this episode we partner with Formal Land, a company that works in formally

In this episode we interview Lawrence Paulson, one of the creating fathers of

We talk about the development process, how it drew inspirations and

Paulson have quite an extensive CV, he is a professor at Cambridge, have

In this episode we talk about Sigplan, the organization behind the most

In this episode Cody Roux teaches some interesting concepts that people care