Difference between revisions of "Liyi Li"

From FSL
Jump to: navigation, search
(2 intermediate revisions by one user not shown)
Line 4: Line 4:
== Publication ==
== Publication ==
ICTAC 2014, Symbolic Analysis Tools for CSP
    <td align="left" width="100">ICTAC 2014</td>
    <td>[http://fsl.cs.illinois.edu/index.php/Symbolic_Analysis_Tools_for_CSP Symbolic Analysis Tools for CSP] <br>Liyi Li, Elsa Gunter, and William Mansky</td>
== Contact ==
== Contact ==

Latest revision as of 18:30, 3 June 2014

[edit] 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.

[edit] Publication

ICTAC 2014 Symbolic Analysis Tools for CSP
Liyi Li, Elsa Gunter, and William Mansky

[edit] Contact

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


Personal tools