Tomasz was a doctoral student in the Department of Computing, Imperial College London, working under the supervision of Dr Cristian Cadar in the Software Reliability Group. His research interests span across the areas of software engineering, software reliability and systems. In his PhD work, he explored applications of symbolic execution technique to the problems of program input recovery and testing software patches. Prior to joining Imperial, he worked in the telecommunications industry as a software engineer. Tomasz holds an MSc degree from Cracow University of Technology. His PhD studies were generously sponsored by Microsoft Research.

Group Publications