Difference between revisions of "Liyi Li"

From FSL
Jump to: navigation, search
(Publication)
Line 5: Line 5:
 
== Publication ==
 
== Publication ==
 
ICTAC 2014, Symbolic Analysis Tools for CSP
 
ICTAC 2014, Symbolic Analysis Tools for CSP
 +
 +
 +
<table>
 +
<tr>
 +
    <td align="left" width="100">ICTAC 2014</td>
 +
    <td>[http://fsl.cs.illinois.edu/index.php Symbolic Analysis Tools for CSP] <br>Liyi Li, Elsa Gunter, and William Mansky</td>
 +
  </tr>
 +
</table>
  
 
== Contact ==
 
== Contact ==

Revision as of 16:11, 3 June 2014

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


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