Name: Trends in Formal Verification for Real-World Applications and Their Implications for the seL4 Ecosystem - David Hardin, Collins Aerospace
Start: 2026-09-01T14:00:00-0700
End: 2026-09-01T14:30:00-0700

1 - 3 September | Vancouver, Canada BC
View More Details & Registration
The schedule is subject to change, so please check back before the event for the most up-to-date information.

Please note that all session times are listed below in Pacific Daylight Time (PDT), UTC-7.

Trends in Formal Verification for Real-World Applications and Their Implications for the seL4 Ecosystem - David Hardin, Collins Aerospace

Tuesday September 1, 2026 14:00 - 14:30 PDT

Georgia Ballroom B

The formal methods community has made great progress in the past two decades to mature mathematically-precise techniques in order to tackle real-world design and analysis problems. In areas as diverse as hardware design, finance, systems engineering, software development, and law, increasingly the question is not, “Why would you use formal methods?” but rather “Why wouldn’t you?” With the assistance of powerful generative artificial intelligence agents, the barriers to entry for the use of formal methods tools are falling fast -- even mathematicians are now using proof tools. In this talk, we will detail a number of leading-edge tools and techniques that are enabling formal methods to be successfully applied in a number of critical real-world domains. We will also highlight the application of practical formal methods in a number of current government-sponsored Science and Technology initiatives, such as DARPA's Resilient Software Systems effort. We will also describe the Software Understanding initiative, which combines the rigorous practice of constructing (forward understanding) and assessing (reverse understanding) software-controlled systems in order to verify their functionality, safety, security, and reliability. Finally, we will reflect on the impact that these advances in real-world formal verification can have on the seL4 ecosystem.

Speakers

David Hardin

Chief Technologist, Applied Research and Technology, Collins Aerospace

David S. Hardin has made contributions in the areas of formal methods, computer architecture for High Assurance systems, as well as memory-safe programming languages. He is currently Chief Technologist for the Trusted Cyber team in the Applied Research and Technology organization... Read More →

Tuesday September 1, 2026 14:00 - 14:30 PDT
Georgia Ballroom B

Voices From Nearby

seL4 Summit 2026

David Hardin

Get help with the event

seL4 Summit 2026

David Hardin

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Get help with the event