About Me

Hi! I am Onur Sahin (Aiono is my nickname). I am a software developer with a systems programming focus. Currently, I work at Redshift as a software developer on automatic database optimizations. My interests span compilers, databases, formal verification and type systems.

I finished my bachelors in computer science from Bilkent University in 2021. In 2026 I completed my master's in computer science at Freiburg University, focusing on type systems.

I started this blog to improve my ideas and get better at explaining them. I aim to consistently write about programming languages, databases, formal verification and more.

Some of my hobbies:

• Playing electric guitar
• Listening to music (Especially progressive metal but I listen a lot of different stuff)
• Playing board games
• Recently I try to get into bouldering (spoiler: I sprained my ankle and it didn't help on my enthusiasm)