Chucky Ellison

From FSL

Jump to: navigation, search

PhD student studying under Grigore Rosu.

Contents

[edit] Research

I am interested in programming language semantics, type systems, reflection (semantics and safety), coinduction, and automated reasoning.

[edit] Additional Information

Curriculum Vitae

[edit] Affiliation

Formal Systems Laboratory
Department of Computer Science
University of Illinois at Urbana-Champaign

[edit] Contact Data

2107 Siebel Center
201 N. Goodwin, Urbana, IL, 61801
email: celliso2@cs.uiuc.edu
Retrieved from "http://fsl.cs.uiuc.edu/index.php/Chucky_Ellison"
Views
Personal tools