Hi! I'm Sophie.
I'm a software engineer at Ardoq, where I work with Clojure on the backend. I feel really lucky to work with such a well-designed programming language every day, and it doesn't take much to get me eagerly talking about functional programming.
Away from the keyboard, I'm interested in coffee, natural (human) languages, and music.
I hold an MSc degree from the University of Oslo, in Programming and System Architecture.
My thesis work was about automatically finding counterexamples to property-based tests in a small functional language. In particular, automatically generating counterexamples of user-defined algebraic data types from the data type definition. I was supervised by Michael Kirkedal Thomsen and Joachim Tilsted Kristensen. The project, Contra, was implemented in Haskell and you can find it here on GitHub.
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 sophie.bosio@outlook.com, or here on GitHub. If you're a fellow Clojure enthusiast, you can also find me on the Clojurians Slack.