Working on the formal verification of the @seL4 microkernel.
- Sydney, Australia
-
00:56
(UTC +10:00) - https://matthew.brecknell.net/
Highlights
- Pro
Earned achievements
YOLO
YOLO
Loading
Pull Shark
x3
Pull Shark
x3
Loading
Pair Extraordinaire
Pair Extraordinaire
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading