Hi! I'm Sophie.
I'm currently a software engineer intern at Ardoq and a Master's student at the University of Oslo, in Programming and System Architecture.
My thesis work is about automatically finding counterexamples to property-based tests in a small functional language. I'm supervised by Michael Kirkedal Thomsen and Joachim Tilsted Kristensen.
I'm interested in coffee, natural languages, functional programming, and music -- and I'm always learning more! π±
If you want to stay up to date with what I'm doing, you can check out my little blog at sophiebos.io.
You can reach me via email on [email protected], or here on GitHub.