NSW Science and Engineering Award (Engineering and ICT) for seL4 team
E850680
The NSW Science and Engineering Award (Engineering and ICT) for the seL4 team is a New South Wales state-level honor recognizing the pioneering work behind the seL4 microkernel in computer systems safety and security.
Statements (19)
| Predicate | Object |
|---|---|
| instanceOf |
New South Wales award
ⓘ
science and engineering award ⓘ state-level award ⓘ |
| associatedWith | seL4 operating system kernel NERFINISHED ⓘ |
| awardLevel | state level ⓘ |
| category | Engineering and ICT ⓘ |
| country | Australia ⓘ |
| domain | computer systems ⓘ |
| field |
engineering
ⓘ
information and communications technology ⓘ |
| honours | seL4 team NERFINISHED ⓘ |
| presentedIn | New South Wales NERFINISHED ⓘ |
| purpose |
to honor contributions to safety and security of computer systems
ⓘ
to recognize excellence in engineering and ICT ⓘ |
| recognitionFor |
pioneering work in computer systems safety
ⓘ
pioneering work in computer systems security ⓘ |
| recognizesWorkOn | seL4 microkernel NERFINISHED ⓘ |
| shortName | NSW Science and Engineering Award (Engineering and ICT) NERFINISHED ⓘ |
| state | New South Wales ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
Gerwin Klein
→
awardReceived
→
NSW Science and Engineering Award (Engineering and ICT) for seL4 team
ⓘ