Chucky Ellison

From FSL

PhD student studying under Grigore Rosu.

Contents 1 Research 2 Additional Information 3 Affiliation 4 Contact Data

[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@illinois.edu