I am an assistant professor at Uppsala University in Sweden. My research lies in the area of software testing with focus on security testing and network protocol testing. More broadly, I am interested in developing and leveraging techniques based on formal methods to analyze real-world software. Automata learning is the technique I have worked with the most, having applied it extensively for network protocol testing. Other testing techniques I used are: symbolic execution, model checking and grey-box guided fuzzing. Check my website for more details.