I am a Postdoc researcher at the University of Texas at Austin (UT), a member of the Intelligent Systems Group of Prof. Keshav Pingali.

Research interests:

• Formal verification of computer programs, especially by Abstract interpretation
• Shape Analysis
• Synthesizing sequential and concurrent code