At Linux Kernel Foundation, I traced C runtime startup from the ELF entry point through __libc_start_main and measured syscall overhead across equivalent C and Python programs. I also debugged fork() and pthread behavior against a custom kernel build using QEMU and GDB.
On ESP32 projects, I built UART and I2C sensor pipelines and a multi-sensor vital signs monitor with heart-rate detection, SpO2, and temperature readings. I’ve also contributed to DevCrew, an agentic debugging workflow that uses QEMU to reproduce kernel and systems bugs.
