I am a research scientist at Facebook. Previously I was a research associate in the Software Reliability Group at Imperial College London, where I also completed my Ph.D. under the supervision of Dr. Cristian Cadar. My research focuses on symbolic execution-based techniques and tools for automatically testing COTS software. I have developed the ZESTI and KATCH testing tools and the CovRig software evolution analytics framework. Before coming to Imperial, I developed software fault injection techniques and tools in the Dependable Systems Lab at EPFL, Switzerland.