Liyi Li

From FSL
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
Liyi Li, Elsa Gunter, and William Mansky

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