Hi, I’m Christina, a professional software engineer with 7 years of experience in building and maintaining complex code bases, and a foundation in applied mathematics and formal logic. I currently work at OKAPI:Orbits GmbH.

My main interests are:

I have stuff on GitHub and LinkedIn.

What’s this?

These pages are notes for my future self, as I’m sure it will need to look up stuff regularly.

If you happen to look at them as well and have suggestions or questions, found errata, or just want to chat, please feel free to reach out.