About

1 · Sophie Bosio · June 8, 2023, 3:43 p.m.
I’m Sophie! I was born in Oslo in 1999, and after some moving back and forth for my studies, I’m back in my home city. I’m very interested in programming, coffee, natural languages, and music. Currently, I’m enjoying the wild ride of learning Emacs and working on my MSc thesis, which about using program inversion to simplify automatic testing. By inverting your program, I hope to derive a good test input generator for you that you can feed to QuickCheck to automatically test your program with pr...