Skip to main content

Hesham Almatary

Hesham Almatary
OS Engineer

Research Interests

Operating Systems, Computer Architecture and Security

Contact Details

Mobile: +61 481 847 733

More contact information is available at the Contact page.


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


MSc by Research - University of York

Served by Apache on Linux on seL4.