Andrei is currently researching testing methods for C++ libraries, with methods such as metamorphic testing and fuzzing. Other interests include optimisation of verification and testing processes and compiler fuzzing techniques for GPU programming languages. He was a driving force behind the CLsmith project.

Group Publications