I am a postdoctoral researcher at Uppsala University in Sweden. I am interested in developing new testing techniques and applying them to real-world software such as that implementing crucial network protocols. Testing techniques I have familiarized myself over the years are automata learning, and more recently, symbolic execution.