- Research Associate
Research
Since January 2021, I am a research associate working on the CHERI project. My CHERI-related projects include:
- QEMU BSD CheriABI user mode for CHERI-RISC-V and Morello;
Emulating CheriABI programs without full CHERI-enabled system emulation. - CheriBSD ports;
Adapting third-party software for CHERI-RISC-V and Morello CheriBSD. - Poudriere infrastructure for CheriBSD packages.
Building third-party software for CheriBSD.
Teaching
Supervisions:
- 2021-22 Advanced Operating Systems (Part II AOS, Part III/AOS L41)