Difference between revisions of "Liyi Li"

From FSL
Jump to: navigation, search
(Publication)
(Publication)
 
Line 7: Line 7:
 
<tr>
 
<tr>
 
     <td align="left" width="100">ICTAC 2014</td>
 
     <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>
+
     <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>
 
   </tr>
 
</table>
 
</table>

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