Skip to main content

Amirreza Zarrabi
Proof Engineer

Research Interests

Amir is researching operating system architecture, and multiserver architectures for OS design. He is currently on a break from his PhD to work as a proof engineer.

Contact Details

More contact information is available at the Contact page.

Photo of Amirreza Zarrabi

Publication List




Data61 Papers


Abstract PDF Kevin Elphinstone, Amirreza Zarrabi, Kent Mcleod and Gernot Heiser
A performance evaluation of rump kernels as a multi-server OS building block on seL4
Asia-Pacific Workshop on Systems (APSys), India, September, 2017