Menu
Focus Areas
Secure AI
Neurotechnology
Longevity Biotechnology
Nanotechnology
Space
Existential Hope
Engage
Vision Weekend
Workshops
Grants
Prizes
Fellowship
Seminar Groups
Resources
Recordings
Podcasts
About
Donate
Focus Areas
Secure AI
Neurotechnology
Longevity Biotechnology
Nanotechnology
Space
Existential Hope
Engage
Vision Weekend
Workshops
Grants
Prizes
Fellowship
Seminar Groups
Resources
Recordings
Podcasts
About
Donate
People
/
Gernot Heiser
LinkedIn
Gernot Heiser
Related Recordings
Defend Against Cyber Threats | Gaming the Future Ch. 8
Gernot Heiser
Recording
Jun 2022
SeL4: Formal Proofs for Real-World Cybersecurity
Gernot Heiser
Recording
Oct 2021
Fund the science of the future.
Donate today
