Tomasz Kuchta

Computing PhD student at
Imperial College London

1st letter of name _d0t_ second name12
_at_ imperial _d0t_ ac _d0t_ uk


[Update, March 2017] I have now finished my studies and defended the thesis.
I am a doctoral student in the Department of Computing, Imperial College London, under the supervision of Dr Cristian Cadar.
My position in Software Reliability Group is generously sponsored by
Microsoft Research through its scholarship programme.
My research interests lie in the intersection of Software Engineering, Software Reliability and Systems.

I graduated from Cracow University of Technology in Krakow, Poland and received a Master of Science degree in Computer Science.
After leaving the University I've been working in the telecommunications industry, where I was responsible for development and maintenance of cellular networks Base Station (BTS) software.


[1] Docovery: Toward Generic Automatic Document Recovery
Tomasz Kuchta, Cristian Cadar, Miguel Castro, Manuel Costa,
International Conference on Automated Software Engineering ASE 2014,
Vasteras, Sweden, September 2014

[2] Shadow of a Doubt: Testing for Divergences Between Software Versions
Hristina Palikareva, Tomasz Kuchta, Cristian Cadar,
International Conference on Software Engineering ICSE 2016,
Austin, Texas, May 2016


1. My first project, Docovery, is related to document recovery. This work has been presented at:
- 7th EuroSys Doctoral Workshop,
- Microsoft Research Cambridge PhD Summer School 2013,
- ASE 2014,
- INVEST workshop
Docovery VM is now available. Please find the details under this link.
You may also want to take a look at the poster.
Please consider uploading any broken documents that you have via this web page.

2. I am also involved in the Shadow project related to targeted testing of software patches by using the novel technique of
Shadow Symbolic Execution. The technique aims to generate test inputs that expose the new behaviour introduced by the patch. This work has been presented at ICSE 2016.


How to pronounce my name?
For the first name, Thomas is close; the short form is Tomek. My second name is much more tricky.

Other places?

    Copyright Tomasz Kuchta 2017