I am a systems developer at SiteHost and a mathematics and computer science graduate from the University of Canterbury.
My interests include:
- Programming language theory, design, and implementation
- Logic, type theory, and category theory
- Abstract algebra
I am an avid user, developer, and supporter of free and open source software, and as such endeavour to release as many of my projects as possible under such licences.
You can contact me via email at sev@severen.dev or on Discord at severen.