Curriculum vitae
Arınç Demir
Software Engineer
- Eindhoven, Netherlands
- arinc.demir2002@gmail.com
- GitHub ↗
- LinkedIn ↗
- Google Scholar ↗
A concise, two-page version for saving or sharing.
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.67/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
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.
-
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
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.
-
STM32 Backpack Alarm
An interrupt-driven backpack alarm with motion sensing, PIN control, and live configuration over Bluetooth.
-
Acoustic Modem
A Python modem that turns text into musical notes and back again, using only a laptop’s speaker and microphone.
-
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.