Selected engineering work
Research, embedded systems, and experiments in sending data through unexpected channels.
Multi-Property Temporal Logic Monitoring
A C++ monitoring framework for past-time LTL and MTL in discrete and dense time, combining a shared computation graph with a data-oriented execution engine.
1.81–4.53× median single-property speedups; 6.4–11.7× end-to-end for 30 properties, compared with Reelay.
Explore LoomRV
An interrupt-driven backpack alarm with motion sensing, PIN control, and live configuration over Bluetooth.
Implemented accelerometer sampling over ADC and Bluetooth communication over UART.
Explore STM32 Backpack Alarm
Sending text in the A blues scale
A Python modem that turns text into musical notes and back again, using only a laptop’s speaker and microphone.
Transferred text between laptops 10 metres apart in a live demonstration; increasing audience noise disrupted decoding.
Explore Acoustic ModemOther 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.