Speaker
Tomasz Kuchta, Imperial College London
Tomasz Kuchta is a computer scientist and a software engineer. He conducted his PhD research in the Department of Computing, Imperial College London, working under the supervision of Dr Cristian Cadar in the Software Reliability Group; the position was generously sponsored by Microsoft Research. His research interests span across the areas of software engineering, software reliability, systems and security. In his research, he explored applications of dynamic symbolic execution technique to the problems of program input recovery and testing software patches. Prior to joining Imperial, Tomasz worked as a software engineer in the telecommunications industry and now he works in the security area. Tomasz holds an MSc degree from Cracow University of Technology.