We are very fortunate to welcome four leaders at major funding agencies to participate in a session Funding agencies: priorities and vision at the seL4 summit. They will each give their views on the priorities and vision of their agency in terms of high-assurance systems.
William “Brad” Martin
DARPA
Paul Waller
NCSC
Sebastian Jester
Cyberagentur
