Trustworthy Systems

Hesham Almatary
OS Engineer

Research Interests

Hesham left the TS group in 2018 to go to Cambridge University for further study. His work while here, and before joining the group, was mostly around the RISC-V port of seL4.

Contact Details

Mobile: +61 481 847 733
Blog:http://heshamelmatary.blogspot.com.au/

More contact information is available at the Contact page.

Projects

Past

- seL4 ARM SMP - Standard seL4 Benchmark API - RISC-V seL4 port (side project)

Qualifications

MSc by Research - University of York