Timotej is a Doctoral Student in the Software Reliability Group at Imperial College London, where he also received his MEng undergraduate degree. He started in the group in the summer 2015 as an UROP student and then expanded his work into an MEng thesis. His research interests include software analysis and testing, more specifically he is currently focusing on symbolic execution.

Group Publications

  • Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing

    Timotej Kapus, Cristian Cadar

    IEEE/ACM International Conference on Automated Software Engineering (ASE 2017)