Hi! I'm sfulham.
I'm an university student from Australia, with specific interests in computer systems (mainly CPU/GPU design), formal verification, and compiler implementation.
| Project | Description | Latest Release |
|---|---|---|
| Fiducia | Choregraphed programming language for seL4 | Unreleased |