Research Agenda

My interests are in the broad area of Programming Languages. More specifically, my group attempts to design new algorithms and develop automated tools to answer the following questions: Towards solving these problems, we use techniques from compiler design theory and formal methods (logic and automata theory).