In this episode we continue our conversation with Jan de Muijnck-Hughes a

Don't forget to join our new discord channel!

If you like our show please consider donating any amount at ko-fi.

In this episode we have a deep conversation with Jan de Muijnck-Hughes, talks

Also, we have a discord channel now, join us!

If you like our show please consider donating any amount at ko-fi.

Errata:

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