I am a Postdoc researcher at the Center for Distributed and Grid Computing 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
• Concurrent algorithms and data structures
• Code synthesis