Projects
A selection of things I have built — research prototypes, open-source tools, and side experiments.
- Remote GDB session support in libdebug
Adding support for remote debugging on a research debugger written in Python.
- Runtime verification of MARCO math functions
A debug pass adding checks for math function inputs on a Modelica research compiler.
- Unicode support for mxgui
Adding support for Unicode text rendering in an embedded OS.
- Analysis, Design and Verification of an EV charging station's software stack
Model checked specification of a Charge-Point Management System (CPMS) for electric vehicles' charging stations.
- Porting the Meltdown attack on the gem5 architecture simulator
I supported a research project on microarchitectural side-channel detection by adapting the original Meltdown PoC to work on gem5.
- Design of a hardware convolutional encoder
An hardware block for computing error correction codes over streaming data. Designed in VHDL and synthesised on a Xilinx Artix 7 FPGA.