Ph.D. student at University of Kent.

My main interest is in the area of program analysis and transformation.

The topic I am currently interested in is making tracing for lazy functional languages such as Haskell practical for real-world programs. Tracing helps programmers to understand their code and locate bugs.

Previously I worked on analysis and transformation of reducible and irreducible loops, interprocedural optimization of recursive functions and out-of-SSA translation