Difference between revisions of "Liyi Li"

From FSL
Jump to: navigation, search
(Created page with "I am Liyi Li.")
 
(Publication)
 
(3 intermediate revisions by one user not shown)
Line 1: Line 1:
I am Liyi Li.
+
== 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 ==
 +
<table>
 +
<tr>
 +
    <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>
 +
  </tr>
 +
</table>
 +
 
 +
== Contact ==
 +
 
 +
2107 Thomas M. Siebel Center for Computer Science
 +
University of Illinois, 201 N. Goodwin Avenue
 +
Urbana, IL 61801
 +
 
 +
liyili2@illinois.edu

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

liyili2@illinois.edu

Personal tools
Namespaces

Variants
Actions
Navigation