Hi, I’m Soheel.

My name is Persian and roughly translates to “Polaris, the guiding star”, which is where “BasicallyPolaris” comes from.

I am studying informatics at KIT in Karlsruhe, currently in my master’s, where I look at how we can use AI for the formal verification of cyber-physical systems. I care a lot about software that not only works in practice, but can be understood, reasoned about, and trusted.

At the same time, I enjoy the human side of computing: building interfaces that feel intuitive, playful, and approachable. On the engineering side my home base is React, Next.js, TypeScript, and Tauri, but I am curious about anything that helps me build better tools and experiences.

This page is a landing spot for my projects: open source desktop apps, experiments, and whatever I am currently tinkering with. If you would like to collaborate, whether it is on research, open source, or a concrete project, you are very welcome to get in touch .