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.
On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files
Empirical Software Engineering (EMSE)
Shadow of a Doubt: Testing for Divergences Between Software Versions
International Conference on Software Engineering (ICSE 2016)
Docovery: Toward Generic Automatic Document Recovery
International Conference on Automated Software Engineering (ASE 2014)