Computer engineering student and software engineer

Arınç Demir

I build systems software, runtime verification tools, and research prototypes.

I am finishing my B.S. in Computer Engineering at Boğaziçi University, with work spanning runtime verification, robotics research, embedded systems, developer tooling, and practical applications.

Current focus Runtime verification and temporal logic monitoring

Selected Work

Projects shaped around clarity, maintainability, and practical outcomes.

All projects
2026 Research engineering

LoomRV: Multi-Property Temporal Logic Monitoring

A high-performance C++ runtime verification framework for evaluating many temporal logic properties together through shared subformula execution.

  • C++20
  • CMake
  • Docker
  • Runtime verification
  • Metric Temporal Logic
2025 Undergraduate research assistant

Learning Social Navigation in Mobile Robots

A robotics research project on learning socially compliant navigation behaviors in dynamic pedestrian environments.

  • Python
  • PyTorch
  • Unity
  • Graph Attention Networks
  • Conditional Neural Processes

Publications

Research on runtime verification and learning socially aware robot navigation.

Google Scholar
2026 arXiv preprint arXiv:2605.13668

Multi-Property Temporal Logic Monitoring

Arınç Demir, Doğan Ulus

A high-performance framework for monitoring multiple past-time LTL and MTL properties together by compiling shared subformulas into a common execution graph with a data-oriented, double-buffered runtime.

2025 2025 33rd Signal Processing and Communications Applications Conference (SIU)

Mobil Robotlarda Sosyal Navigasyon Öğrenme / Learning Social Navigation in Mobile Robots

Berke Kartal, Arınç Demir, Erol Uğur, Y. Yıldırım, Zeynep Aktaş

A robotics research project on learning socially compliant navigation behaviors in dynamic pedestrian environments using simulation, graph-based interaction modeling, and trajectory prediction.

Notes

Writing, experiments, and durable fragments from ongoing work.

All notes
blog

Shaping a Personal Site

A short note on using a website as a home for serious work, small experiments, and public context.

  • writing
  • personal site
learning

Learning in Public, Quietly

A note about publishing learning material without turning every thought into a performance.

  • learning
  • writing