Arnaud Spiwack's PhD defence

Channel:
Arnaud Spiwack
Subscribers:
29
Published on ● Video Link: https://www.youtube.com/watch?v=SSXW4s8GmYc


Duration: 1:46:33
80 views
2

I recorded my PhD defence.

I recommend you'd watch it in HD and full screen in order to be able to read the slides.

More info at: http://assert-false.science/callcc/Arnaud/thesis



Other Videos By Arnaud Spiwack


2020-09-29Proof assistant detour: let's write a supercompiler (part 2)
2020-09-29Where I attempt to fix a Keyboard.io Model 01 on stream
2020-05-20Experimenting a proof-assistant design based on refinement types: shadowing & type-checking tactics
2020-05-20Experimenting a proof-assistant design based on refinement types: tackling implication with focusing
2020-04-26Experimenting a proof-assistant design based on refinement types: more proofs & tactics | FP | Haske
2020-04-26Experimenting a proof-assistant design based on refinement types: adding interactivity | FP | Haskel
2020-04-25Experimenting a proof-assistant design based on refinement types | FP | Haskell
2020-04-25Experimenting a proof-assistant design based on refinement types: basic proofs | FP | Haskell
2019-09-07How does compression work? (Livecoding in Haskell)
2016-05-17Steamworld dig any% unspeedrun
2016-05-17Arnaud Spiwack's PhD defence


Tags:
thesis
Coq
constructive mathematics
homology
commutative algebra