Hi! I am a postdoc doing research at CASA (Center for Advanced Software Analysis), Department of Computer Science, Aarhus University, Denmark. I mainly work with Tian Tan and we are both supervised by Prof. Anders Møller and Prof. Aslan Askarov.
My main research interest is to develop program analysis techniques and tools for solving the problems in programming languages and software engineering.
I'd like to tackle real and challenging problems
by unusual ideas and
turn them into practical tools.
Particularly, I quite enjoy the process when dealing with
a new problem or
an old problem with a fresh look.
I have a keen interest in research.