Skip to content

About

Mathematical intuition, applied to systems software

I’m Kaan Baha Sever, a software developer in Istanbul. I’m completing a BSc in Mathematics at Istanbul University and plan to continue with a Master’s in Computer Science.

Most of what I build sits close to the machine and is written in modern C++ and Go. Pure mathematics taught me to look for a problem’s structure before writing any code, and to want an argument for why the code is correct, not only tests that suggest it is.

This page follows that thread: from taking things apart as a child, through an early fascination with spaceflight and my first C# programs, to rocket avionics and the systems I build today.

At a glance

Based in
Istanbul, Turkey
Studying
BSc Mathematics, Istanbul University
Day to day
Modern C++ and Go
Currently building
AsionEarly access

The journey so far

Roughly in chronological order, from an early fascination with spaceflight to the software I build today. The figures sketch the idea behind each chapter; most are computed from a small model of that idea rather than drawn by hand.

  1. Childhood – 2015

    Looking up: space exploration

    My connection to space began when I was very young, with the film Contact. After it, I could not stop reading and researching. The Moon missions made a deep impression on me, and I read everything I could find about them. Then came the Mars missions, and the probes that were lost or failed in space caught my interest just as much.

    I researched the space race between the Soviet Union and the United States from start to finish and watched all the films about it. In 2015 I started building small space-related projects of my own.

    One old project fascinated me in particular: a submarine for Titan. Titan is Saturn’s largest moon, and its surface has seas of liquid methane and ethane. The study, prepared for NASA in 2014–2015, proposed exploring the largest of these seas, Kraken Mare, with a submarine.

    The interest never left. It runs through the rocketry chapters below, and through an article I wrote in Turkish about the Apollo 11 crew’s visit to Anıtkabir in 1969.

    Fig. 1A Hohmann transfer, the classic first sketch of a lunar mission. A single engine burn at perigee (Δv ≈ 3.1 km/s) stretches a 300 km parking orbit (radius r₁) into an ellipse whose far end reaches the Moon’s orbit (radius r₂) about 5 days later. Not to scale.
  2. 2016 to 2019C# · MSSQL

    Programming foundations

    I started programming in 2016 at a vocational high school (meslek lisesi), in C#. The fundamentals came first, then data structures and algorithmic problem-solving, with small mathematical calculation engines along the way. By 2019 I was building complete database applications on Microsoft SQL Server (MSSQL).

    My graduation projects were desktop versions of tic-tac-toe and Battleship. Battleship was the game I played with my father as a child, which is why I wanted to design my own; the C# source of that first version is on GitHub. The Hunt & Target algorithm that now aims the computer’s Battleship shots came later: it hunts for ships across the board, then closes in on every hit.

    Both games now have browser versions on this site, with algorithmic opponents: Hunt & Target for Battleship, and a minimax search with alpha–beta pruning for tic-tac-toe. Play Battleship or tic-tac-toe.

    Fig. 2The algorithms behind the browser versions. Left: the Battleship opponent in hunt mode. Each cell is shaded by how many placements of the remaining fleet cover it after five misses; the next shot takes the densest cell. Right: minimax picks the move whose worst case is best.
  3. 2019 · TÜBİTAK

    Research: cryptography and visual programming

    In 2019 I carried out a high-school research project with TÜBİTAK, the Scientific and Technological Research Council of Türkiye, on cryptography and the logic of visual programming.

    Part of it was an early prototype of a visual coding tool based on flowcharts: a program is put together by drawing its flowchart instead of typing it as text.

    Fig. 3Programming by drawing: a Caesar cipher as a flowchart. Each letter cᵢ of the message moves k places along the alphabet (mod 26) until i reaches the message length n. On the right, the same program run with k = 3.
  4. 2019 to 2022Rocket and Space Club

    Rocketry and flight avionics

    I started university in November 2019 and joined the Istanbul University Rocket and Space Club, where I was Vice President until 2022. Our team designed and built three rockets: one low-altitude rocket with a 5,000 ft target altitude and two high-altitude rockets with a 10,000 ft target.

    I was solely responsible for the flight avionics firmware and the parachute deployment control system. Both relied on onboard sensor fusion of orientation, gyroscope and altimeter telemetry. How we got a good estimate out of that noisy data with a Kalman filter, and where we used PID controllers, is told inthe next chapter.

    I also designed the protocols for logging telemetry to an SD card, which worked alongside the RF telemetry transmission modules, and built a desktop telemetry dashboard that parses the flight data and renders post-flight trajectory plots.

    Fig. 4The two altitude classes on one scale, as idealised flights: one low-altitude rocket with a 5,000 ft target altitude and two high-altitude rockets with a 10,000 ft target. Apogee is where dh/dt = 0; the dots stand for logged telemetry samples.
  5. Rocket and Space Club · Kalman · PID

    From noisy data to a good estimate: Kalman filters and PID

    Data from a rocket’s sensors is never clean: the altimeter reads a slightly different value every moment, and the accelerometer picks up the motor’s vibration too. So while developing the rockets, we researched passing the measured data through a Kalman filter. We wrote the algorithms and tested them again and again.

    At every step a Kalman filter first predicts where the rocket should be, then corrects that prediction with the new reading. How much it trusts each one depends on how uncertain each is. Think of walking through a dark room counting your steps, and correcting your guess when you touch a wall; the filter does the same.

    In experiments such as landing a rocket vertically, we used PID controllers. A PID controller looks at the gap between the target and the measured value in three ways: how far off we are now (P), how long we have been off (I), and how fast the gap is changing (D). We do the same without thinking when we set the temperature in a shower.

    Fig. 5An illustration, not the club’s flight data. Left: noisy altimeter readings (dots) and a Kalman filter’s estimate (highlighted line), which stays much closer to the true path (thin line). Right: a simple vertical landing. With PID the rocket settles at the target height (dashed); without the integral term (PD) it stays below it.
  6. Research

    Autonomous parachute guidance and precision landing

    The autonomous parachute was a purely experimental and very enjoyable project I did with friends at university. The question was simple: once the parachute is open, can the payload steer itself to a chosen point on the ground?

    One of our friends solved the mechanical side. The software was mine: I wrote a decision algorithm built on linear algebra, and a simulation environment to try it in. A few of our friends then tested it very well.

    We read many earlier papers on the subject and learned a great deal from them. For the angle calculations we used the law of cosines and many trigonometric identities, and functions such as atan2 made the decisions robust: unlike a plain arctangent, atan2(Δy, Δx) knows which quadrant the angle lies in, and it still works when Δx is zero.

    The Python code is public on GitHub: AutonomousParachute.

    Fig. 6A steering field around the landing target, seen from above. The arrows show the direction to head at each point; the highlighted path is one guided descent.
  7. Python (2020) → C++ (today)

    Flight simulation: from prototype to Rocket-Up

    The flight simulation is one project that has changed shape over the years. It began in 2020 as a Python prototype: a three-dimensional numerical simulation of rocket trajectories, narrow and built for a single purpose.

    I am now rewriting it from scratch as Rocket-Up, a dynamic, open-source aerodynamic simulation engine in modern C++, built for higher performance and a clean architecture.

    Fig. 7A trajectory integrated step by step in three dimensions, with its ground track and the velocity vector at one state.
  8. Rocket and Space Club · CubeSat

    CubeSat: the satellite we could not finish

    Towards the end of the Rocket and Space Club, we decided to build a CubeSat, a small cube-shaped satellite. Ours was to follow every rule of the CubeSat standard. NASA had a PDF guide for CubeSat developers, and we learned a lot from it: how to solder, and how to design a CubeSat that is ready for launch.

    We did a lot of research. We thought through and designed the solar panels, the software that would run inside the satellite and even the ground station software. I was going to program the boards inside the satellite, and also write the ground station software: a dashboard running on a computer.

    But budget cuts and the club breaking up left the project half-finished. It was a really good project; we just could not finish it.

    Fig. 8A schematic drawing. An example 1U CubeSat: a 10 cm cube, with solar panels on its faces. The dashed line runs to a ground station, and the highlighted arc is the part of the orbit that station sees at least 10° above its horizon. In an example orbit 400 km up, a satellite passing straight overhead stays in that arc for only about 6 minutes, and the ground station software has to make the most of them. Not to scale.
  9. 2021 to 2024crowd.inc

    Software Developer at crowd.inc

    crowd.inc was a website where people shared their ideas and found help for them. It had hundreds of users and was home to many projects, ideas and goals. Later we turned towards private ideas.

    From July 2021 to March 2024 I was a Software Developer there. I owned the software development lifecycle end to end: relational schema design in PostgreSQL, RESTful APIs with Python/Flask and jQuery, Linux server provisioning and automated testing.

    I designed granular role-based access control (RBAC) with strict boundaries between public and private data, built scalable feed pagination and dynamic data loading, and kept the platform reliable with rigorous unit and integration testing.

    Fig. 9A schematic picture of crowd.inc: people shared their ideas there, and others helped with them. Large circles are ideas and small dots are users; each line shows who helped with which idea, and the highlighted idea has the most helpers. Inside the dashed boundary on the right are the private ideas we turned to in the end.
  10. GDSC · Mathematics Club

    Community: workshops, live streams and competitions

    In 2023 I was on the Google Developer Student Clubs (GDSC) core team. I hosted technical workshops and live streams on Flask, HTML and Git/GitHub, and organised Cyber Security Week, which included a live-streamed technical interview with a CCIE-certified network security engineer.

    In my later years at university I also organised and ran academic events for the Mathematics Club: seminars, and logic and mathematics competitions.

    Fig. 10A proof without words, the kind of puzzle that suits the Mathematics Club’s seminars and competitions. Add up the odd numbers in order and you always get a square: each L-shaped piece adds the next odd number and makes the side one unit longer, so 1 + 3 + 5 + 7 + 9 = 5².
  11. Today

    Current core: modern C++ and Go

    Most of my time now goes into three kinds of software, mostly written in modern C++ and Go: system tools, telemetry and device-management software, and algorithm-driven applications. The projects page has the full list; two examples follow.

    Asion, which I started in 2024, is a privacy-first productivity and activity tracker for macOS, Linux and Windows, built with self-hosting in mind. It rests on native OS event hooks, a lightweight daemon architecture and gRPC between its components, and is in early access.

    Novacast began in 2025 at a computer company where I worked, as a replacement for software that was bloated and fell short of our needs. It manages many screens of different makes from one web panel: Windows, macOS and Linux machines, and Samsung, LG and Android TVs. A small Rust player runs on each screen, and a Go server reaches the screens through an MQTT broker. It is now in production.

    Alongside this I am completing my mathematics degree at Istanbul University. Real analysis, abstract algebra and topology rarely appear in my code directly, but the habits they teach, defining things precisely and checking every step, carry straight over.

    Fig. 11Publish/subscribe: messages fan out from one broker to many subscribers.
  12. Today · CI/CD

    Automation: one-click test, package and deploy

    Shipping native software to three operating systems is only practical when the routine steps run themselves. I build multi-platform pipelines from GitHub Actions workflows and cross-compilation runners, tied together with my own scripts in Bash, Batch and Python.

    For the Asion ecosystem this became one-click pipelines: a single trigger tests the code, packages it, generates the artifacts for every platform and deploys them.

    Fig. 12One trigger runs the tests, fans out into a build for each platform, then fans back in to package the artifacts and deploy them.

Milestones

The dated record, oldest first.

  1. 2000

    Born in Ankara

    Where this timeline begins. Today I live and work in Istanbul.

  2. Childhood

    From taking things apart to a computer of my own

    Ever since I was small, I have wanted to know how things work. I took apart the devices around the house and put them back together, and I fiddled with electrical and electronic parts; even the power sockets did not escape my curiosity.

    I got a computer of my own in 2005. Before that, I grew up tinkering with my cousins’ computers and exploring the system and the games on them.

    Over time, my curiosity about hardware and my urge to explore grew into a love of systems programming and software development. That is why most of what I build today still sits close to the machine.

  3. My first small space projects

    My interest in space began when I was very young, with the film Contact. In 2015 I started building small space-related projects of my own. The journey starts here.

  4. 2016

    First programs in C#

    Began programming at a vocational high school (meslek lisesi) with C#: the fundamentals first, then data structures and algorithmic problem-solving.

  5. June 2017 – December 2018

    Erasmus+ Youth Exchange in Spain

    Took part in an Erasmus+ Youth Exchange project in Arrecife, Spain.

  6. 2018

    Database applications and graduation projects

    Built complete database applications backed by Microsoft SQL Server (MSSQL). My high-school graduation projects were desktop versions of tic-tac-toe and Battleship; the C# source of Battleship is on GitHub. The Hunt & Target algorithm for the Battleship opponent came later, and both games are now playable in the browser.

  7. 2019

    TÜBİTAK research on cryptography and visual programming

    A high-school research project with TÜBİTAK, the Scientific and Technological Research Council of Türkiye, on cryptography and the logic of visual programming. It included an early prototype of a visual, flowchart-based coding tool.

  8. November 2019

    Mathematics at Istanbul University

    Began a BSc in Mathematics at the Faculty of Science of Istanbul University, with a focus on pure mathematics: real analysis, abstract algebra and topology. In my later years there I organised academic events for the Mathematics Club: seminars, and logic and mathematics competitions. Now preparing to graduate, with a Master’s in Computer Science planned next.

  9. 2019 – 2022

    Vice President of the Istanbul University Rocket and Space Club

    Our team designed and built three rockets: one low-altitude rocket with a 5,000 ft target altitude and two high-altitude rockets with a 10,000 ft target. I was solely responsible for the flight avionics firmware and the parachute deployment control; the telemetry work is described in the journey. For the noisy sensor data we researched Kalman filters, and in experiments such as vertical landing we used PID controllers; both are explained in the Kalman and PID chapter. Towards the end, we also set out to build a CubeSat, which was left unfinished; its story is in the CubeSat chapter.

  10. 2020

    YetGen 21st Century Competencies

    Completed 21st Century Competencies, a YetGen programme organised by the Mehmet Zorlu Foundation, and earned its certificate. The programme covered presentation skills, the Excel Solver tool and entrepreneurship in seminars and courses.

  11. 2020

    A flight simulation prototype in Python

    Wrote a narrow, purpose-built Python prototype of a three-dimensional rocket trajectory simulation. It is the same project I am now rewriting from scratch as Rocket-Up, an open-source aerodynamic simulation engine in modern C++.

  12. July 2021 – March 2024

    Software Developer at crowd.inc

    crowd.inc was a website where people shared their ideas and found help for them, with hundreds of users. I owned its development lifecycle end to end. The crowd.inc chapter above tells the story and what I built there.

  13. 2023

    Google Developer Student Clubs core team

    Hosted technical workshops and live streams on Flask, HTML and Git/GitHub, and organised Cyber Security Week, which included a live-streamed technical interview with a CCIE-certified network security engineer.

  14. 2024 – present

    Started building Asion

    Began Asion, a privacy-first, cross-platform productivity and workstation activity tracker built with self-hosting in mind. It is in development, with early access at asion.app; one-click pipelines test, package and deploy it for every platform.

  15. 2025

    Built Novacast

    Built Novacast at a computer company where I worked, to replace software that was bloated and fell short of our needs. It manages many screens of different makes from one web panel, on Windows, macOS, Linux, Samsung TV, LG TV and Android TV. A small Rust player runs on each screen, and a Go server reaches the screens through an MQTT broker. It is in production.

  16. June 2026

    Launched Açık Matematik

    Açık Matematik went live at acik-matematik.com: an open-source academic publishing platform and modern textbook initiative for undergraduate mathematics in Turkish, built on reproducible numerical computing and rigorous documentation. I conceived it in 2023 to fix my own friction with academic lecture notes, stepped up development in March 2026, and announced the open-source release in September 2026.

  17. August 2026

    Released NeoSMBIOS

    Published NeoSMBIOS under the MIT License: a header-only, zero-copy SMBIOS/DMI parser for C++23 that reads firmware tables without WMI or any OS headers.

  18. 2026

    Shipped Karecik

    Shipped Karecik as a production product: a multi-tenant QR menu platform that local cafés and restaurants use. It started with a QR menu I made for a middle-school friend’s café, and that friend now uses it in all three of his branches. The first prototypes date from 2021 under earlier working titles. It is written in Go on PostgreSQL, built for zero downtime and low latency, and open source under the GPL-3.0.