Software engineer · Researcher
I build systems software and tools for runtime verification. I’m currently a master’s student in Computer Science and Engineering at TU/e.
First author · FMCAD 2026 paper on multi-property monitoring
Selected work
Runtime verification, embedded systems, and data sent as musical notes.
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 ModemResearch
First-author paper with Doğan Ulus. LoomRV combines shared past-time LTL/MTL monitoring with a linear execution schedule and preallocated, double-buffered temporal state, in discrete and dense time. Compared with Reelay, the paper reports 1.81–4.53× median single-property speedups and 6.4–11.7× end-to-end speedups for 30 properties.
Contact
If you would like to discuss systems work, runtime verification, or a possible role, email is the simplest way to reach me.
Email me