We are very fortunate to welcome four leaders at major funding agencies to participate in a session Funding agencies: priorities and visionhttps://sel4.systems/Foundation/Summit/abstracts2022#a-Funding-agencies at the seL4 summithttps://sel4.systems/Foundation/Summit/. They will each give their views on the priorities and vision of their agency in terms of high-assurance systems.
[William “Brad” Martin] William “Brad” Martinhttps://sel4.systems/Foundation/Summit/abstracts2022#a-Funding-agencies-darpa DARPA [Paul Waller] Paul Wallerhttps://sel4.systems/Foundation/Summit/abstracts2022#a-Funding-agencies-ncsc NCSC [Cyberagentur] Sebastian Jesterhttps://sel4.systems/Foundation/Summit/abstracts2022#a-Funding-agencies-cyberagentur Cyberagentur [TII] Shreekant (Ticky) Thakkarhttps://sel4.systems/Foundation/Summit/abstracts2022#a-Funding-agencies-tii TII
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au
seL4 Foundation, birgit@sel4.systemsmailto:birgit@sel4.systems
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm