Hi, I'm Severen!
I am a third year BSc student majoring in mathematics and computer science at 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 severen.redwood@gmail.com, on Discord at severen#1442, or on Twitter at
@severenr_.