Software engineer
I’m a software engineer and 2026 Computer Engineering graduate from Boğaziçi University. My next step is an M.Sc. in Computer Science and Engineering at Eindhoven University of Technology (TU/e), beginning in September 2026.
My recent work focuses on runtime verification and systems software. The paper accompanying LoomRV was accepted at FMCAD 2026.
Selected work
Three projects that best represent my work in runtime verification, embedded systems, and practical signal processing.
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 detailsResearch
A multi-property runtime verification approach that shares repeated subformulas across past-time LTL and MTL monitors. In the reported 30-property experiments, LoomRV achieved 6.0–11.7× speedups over independent monitoring.
Contact
If you would like to discuss systems work, runtime verification, or a possible role, email is the simplest way to reach me.
Email Arınç Demir