Selected engineering work
A focused selection of research artifacts, systems projects, and practical tools. Each entry states what I did, who I worked with, and what came out of it.
The reproducible C++ artifact for an FMCAD 2026 paper on evaluating many temporal logic properties through shared subformula execution.
Measured 6.0–11.7× speedups in the paper's 30-property experiments.
Project detailsA six-person embedded-systems project combining movement detection, Bluetooth alerts, and bare-metal STM32 drivers.
Moved Bluetooth communication to interrupt-driven control flow and removed blocking behavior from that path.
Project detailsA half-duplex Python modem built with İrem Önen that sends framed text between laptops using speakers, microphones, and FSK tones.
Transferred text at 5 baud using six FSK tones, with no network or wired connection.
Project detailsOther selected work
A team-built C and pthreads server for prioritized requests under load, awarded first place among 30+ groups in a DTU course challenge.
A systemd-based fix for speaker initialization and headphone switching on the ASUS G512 with a Realtek ALC294 codec.
Earlier COLORSLAB research on learning socially compliant mobile-robot navigation in dynamic pedestrian environments.