Curriculum vitae
Arınç Demir
Software Engineer
- Eindhoven, Netherlands
- [email protected]
- GitHub ↗
- LinkedIn ↗
- Google Scholar ↗
Education
-
Eindhoven University of Technology (TU/e)
M.Sc. Computer Science and Engineering
Eindhoven, Netherlands
-
Boğaziçi University
B.S. Computer Engineering
Istanbul, Turkey
- GPA: 3.64/4.00
-
Technical University of Denmark
Exchange in Computer Science
Copenhagen, Denmark
Experience
-
Databin
Software Engineering Intern
Istanbul, Turkey
Built and deployed Windows service, Active Directory automation, and MSI packaging tools for internal systems work.
-
Boğaziçi University COLORSLAB
Undergraduate Research Assistant
Istanbul, Turkey
Worked on learning-based social navigation for mobile robots and co-authored the IEEE SIU 2025 paper.
-
TaleWorlds Entertainment
Software Engineering Intern
Ankara, Turkey
Developed Roslyn analyzers, code fixes, and VSIX tooling for C# development workflows.
Papers
-
Multi-Property Temporal Logic Monitoring
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.
-
Mobil Robotlarda Sosyal Navigasyon Öğrenme / Learning Social Navigation in Mobile Robots
Earlier COLORSLAB research on learning socially compliant navigation behavior for mobile robots in dynamic pedestrian environments.
Selected projects
-
LoomRV: Multi-Property Temporal Logic Monitoring
The reproducible C++ artifact for an FMCAD 2026 paper on evaluating many temporal logic properties through shared subformula execution.
-
STM32 Backpack Alarm System
A six-person embedded-systems project combining movement detection, Bluetooth alerts, and bare-metal STM32 drivers.
-
Acoustic Modem
A half-duplex Python modem built with İrem Önen that sends framed text between laptops using speakers, microphones, and FSK tones.
-
Multi-threaded TCP Server Competition
A team-built C and pthreads server for prioritized requests under load, awarded first place among 30+ groups in a DTU course challenge.
-
ASUS G512 Linux Speaker Fix
A systemd-based fix for speaker initialization and headphone switching on the ASUS G512 with a Realtek ALC294 codec.
-
Learning Social Navigation in Mobile Robots
Earlier COLORSLAB research on learning socially compliant mobile-robot navigation in dynamic pedestrian environments.