I am a Phd Student advised by Professor Grigore Rosu. I received my B.S. and M.S. of Computer Science in University of Illinois at Urbana-Champaign. I'm currently working on K framework.
ICTAC 2014, Symbolic Analysis Tools for CSP
2107 Thomas M. Siebel Center for Computer Science University of Illinois, 201 N. Goodwin Avenue Urbana, IL 61801