US seL4 Center of Excellence
9 Mar
2018
9 Mar
'18
7:53 a.m.
We’re pleased to announce that DARPA, in conjunction with Intelligent Automation Inc. and DornerWorks, has created a seL4 Center of Excellence (CoE). The CoE will serve as a USA-based clearing house and ecosystem hub for seL4-related development efforts in the USA. For further information, please contact: Nick Evancich nevancich@i-a-i.com Gernot
2482
Age (days ago)
2482
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list