Erin

ABOUT

My name is Erin, I studied Software Science at the Radboud University in Nijmegen and Umeå University in Umeå. After my studies I stayed in Nijmegen for a while before moving to Tumba (Sweden) where I now work and live. I live together with my partner and our cat.

INTERESTS

Functional programming, language design and implementation. I contribute to the Clean programming language, see the Clean Wiki and Wikipedia, which is syntactically and semantically much like Haskell. These interests have led me to spend a significant amount of my time on an alternative code generator for the Clean language.

WORK

PeriodCompanyTitleDescription
2014-2015BijlesnetwerkBijles DocentTutoring high school students on Beta subjects
2015-2016MalmbergTester Digitaal productTesting the digital version of Mathplus (a high school maths book) and suggesting possible fixes
2016-2019Radboud UniversityTeacher AssistantAssisting in Bachelor Courses, in particular: Functional Programming, Introduction Cryptography
2019-2020Radboud UniversityProgrammerContributing to the BEST project, port the Clean infrastructure to ARM64
2020-2021TOP SoftwareScientific ProgrammerVIIA Developer, LLVM Code Generator for ABC Bytecode
2021-Tweag I/OSoftware Developer Coauthor of the WebAuthn Haskell library, contributor to the Nickel configuration language, project-lead for the Tree-sitter based formatter.

EDUCATION

PeriodSchoolDegree
2007-2012SSgNHAVO
2012-2014SSgNVWO
2014-2015Radboud UniversityPropedeuse
2014-2017Radboud UniversityBachelor
2017-2020Radboud UniversityMaster

THESIS

My master thesis explores the idea of using Clean's uniqueness typing system to implement mutable arrays in an embedded DSL (a typical Haskell approach of using a monad would not work because the DSL itself was not monadic). While the run-time system of the DSL (mTask) was successfully modified to accommodate arrays, Clean's uniqueness system was found to be insufficiently powerful. After my thesis was completed, GHC implemented the linear-typing extension. Unfortunately, linear types do not provide a satisfying solution either and would additionally require changes to the design of the DSL.

DEVELOPMENT

For all of my projects see my GitHub and GitLab pages. A selection of personal favorites:

HOBBIES

Papercraft

I like to make creations like this.

Guild Wars 2

I grew up playing Guild Wars, and while I do not play many video games anymore, Guild Wars will always be an important part of my life.

Sailing

My mother taught me to sail in a Valk. Since then I have been very enthousiastic about the freedom it provides and continued learning on my own. First in a Valk, later in a Fusion and Laser Pico.

Dungeons and Dragons

I enjoy hosting campaigns in a plethora of campaigns. Currently hosting a Middle Earth and Svilland campaign.

Languages

I speak Dutch and English fluently, and am in the process of learning professional level Swedish. Officially, I have a B2 level in French, although much of that has decayed. In my spare time I'm trying to reach A1 level in Northern Sami.

Cycling

I thoroughly enjoy cycling, my favorite route so far was Umeå to Stockholm, cycling a significant amount of Sweden's east coast.

CONTACT

erin(at)erinvanderveen.nl

LINKS