LoomRV: Multi-Property Temporal Logic Monitoring
A high-performance C++ runtime verification framework for evaluating many temporal logic properties together through shared subformula execution.
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.
Selected Work
Projects shaped around clarity, maintainability, and practical outcomes.
Learning Social Navigation in Mobile Robots
A robotics research project on learning socially compliant navigation behaviors in dynamic pedestrian environments.
Publications
Research on runtime verification and learning socially aware robot navigation.
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.
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.
Shaping a Personal Site
A short note on using a website as a home for serious work, small experiments, and public context.
Learning in Public, Quietly
A note about publishing learning material without turning every thought into a performance.
Interface Notes for Dense Tools
A compact note on designing interfaces that people return to often.