Location: Stockholm, Sweden
Remote: Yes
Willing to relocate: No, just moved to Stockholm from The 
Netherlands
Technologies: C, Golang, Java, Python, Haskell, Bash, Linux, embedded
Research: static analysis, abstract interpretation, programming language theory, program transformations, verification, proof writing
Résumé/CV: available on request
Email: REDACTED_EMAIL
I am a recent university graduate with a Master of Science in Computer Science. My thesis had to do with abstract interpretation of program transformations. You can find more about this on my website[0].
I strive to write idiomatic code that does its job well. I prefer to keep my solutions simple, adding complexity only where necessary for performance, maintainability or other trade-offs. I have solid programming experience in
multiple languages and paradigms, having developed real (open source and/or university) projects using both. Due to my university education, I learn new techniques and systems quickly and I have good logic, troubleshooting and problem solving skills.
Aside from my studies, I have been contributing to GNOME and other open source software projects. In particular, I have participated in Google's Summer of Code in the summer of 2017 where my project was to rewrite Piper. I did this under the mentorship of Peter Hutterer from Red Hat. You can read more about this project on my website[1].
My website also lists my other projects[2] and my other contributions[3].
[0]: <a href="
[1]: <a href="
[2]: <a href="
[3]: <a href="