BornHack 2024 Info Program Villages Sponsors Teams Maps Facilities Phonebook
BornHack 2024 Info Program Villages Sponsors Teams Maps Facilities Phonebook
 
Schedule Events Speakers Call for Participation
Schedule Events Speakers Call for Participation

Raito Bezarius

Lix (that weird Nix fork) developer and abyss domain expert, I dabble humbly in the arts of applied formal verification to Rust programs.

URLs for Raito Bezarius

No URLs found.

Events for Raito Bezarius

Lightning Talk: Tour of formal verification with the Lean theorem prover

Ever heard of formal verification? A field where you apply computers to verify that even more computers work. It's used in so-called "mission critical" lines (planes, etc.), here you will get updated on what can be done with formal verification and how you can get started with this. It will focus on the Lean theorem prover, a recent albeit very interesting software fostering a large community of mathematicians working like hackers in a monorepo of mathematics (mathlib).

Read more

Schedule:

  • Sunday, Jul 21st, 2024, 14:20 (CEST) - Sunday, Jul 21st, 2024, 14:30 (CEST)