PhD student at EPFL, Switzerland, working on making automated testing and bug finding techniques applicable to large, complex real-world systems.