#7 Hacking Isabelle's Internals - Dan Matichuk Type Theory Forall podcast

Artwork

Science Tech Pedro Abreu Type Theory Academia Programming Language

Innehåll tillhandahållet av Pedro Abreu. Allt poddinnehåll inklusive avsnitt, grafik och podcastbeskrivningar laddas upp och tillhandahålls direkt av Pedro Abreu eller deras podcastplattformspartner. Om du tror att någon använder ditt upphovsrättsskyddade verk utan din tillåtelse kan du följa processen som beskrivs här https://sv.player.fm/legal.

Type Theory Forall « »
#7 Hacking Isabelle's Internals - Dan Matichuk

3+ y ago 1:20:52

Dela

MP3•Episod hem

Innehåll tillhandahållet av Pedro Abreu. Allt poddinnehåll inklusive avsnitt, grafik och podcastbeskrivningar laddas upp och tillhandahålls direkt av Pedro Abreu eller deras podcastplattformspartner. Om du tror att någon använder ditt upphovsrättsskyddade verk utan din tillåtelse kan du följa processen som beskrivs här https://sv.player.fm/legal.

In this episode we dive into Isabelle, the interactive theorem prover based on Higher Order Logic directly from someone who spent quite some time hacking on its internals.

Me and Daniel also talk about Mizar, Isar, the seL4, and how it is formalized.

Torwards the end of the episode we also talk a little about his current work on the binary analysis of Aarch32 Arm Archtecture at Galois.

… continue reading

82 episoder

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

Artwork

#7 Hacking Isabelle's Internals - Dan Matichuk

Type Theory Forall

27 subscribers

published 3+ y ago

Dela

MP3•Episod hem

Innehåll tillhandahållet av Pedro Abreu. Allt poddinnehåll inklusive avsnitt, grafik och podcastbeskrivningar laddas upp och tillhandahålls direkt av Pedro Abreu eller deras podcastplattformspartner. Om du tror att någon använder ditt upphovsrättsskyddade verk utan din tillåtelse kan du följa processen som beskrivs här https://sv.player.fm/legal.

In this episode we dive into Isabelle, the interactive theorem prover based on Higher Order Logic directly from someone who spent quite some time hacking on its internals.

Me and Daniel also talk about Mizar, Isar, the seL4, and how it is formalized.

Torwards the end of the episode we also talk a little about his current work on the binary analysis of Aarch32 Arm Archtecture at Galois.

… continue reading

82 episoder

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

Alla avsnitt

×

Välkommen till Player FM

Player FM scannar webben för högkvalitativa podcasts för dig att njuta av nu direkt. Den är den bästa podcast-appen och den fungerar med Android, Iphone och webben. Bli medlem för att synka prenumerationer mellan enheter.

Lyssna på 500+ ämnen