Tomasz is a final year PhD candidate 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 explores applications of symbolic execution technique to the problems of program input recovery and testing software patches. Prior to joining Imperial, he has been working in the telecommunications industry as a software engineer. Tomasz holds an MSc degree from Cracow University of Technology. His position is generously sponsored by Microsoft Research.

Group Publications