Liyi Li

From FSL
Revision as of 16:09, 3 June 2014 by Liyili2 (Talk | contribs)

Jump to: navigation, search

About

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.

Publication

ICTAC 2014, Symbolic Analysis Tools for CSP

Contact

2107 Thomas M. Siebel Center for Computer Science University of Illinois, 201 N. Goodwin Avenue Urbana, IL 61801

liyili2@illinois.edu

Personal tools
Namespaces

Variants
Actions
Navigation