Curriculum Vitae, Chucky Ellison
From FSL
Contents |
[edit] Contact Information
Chucky Ellison 2107 Siebel Center 201 N. Goodwin, Urbana, IL, 61801 email: celliso2@cs.uiuc.edu
[edit] Education
[edit] University of Illinois at Urbana Champaign (2005-Present)
M.S. Computer Science, May, 2008.
[edit] Papers
- From Rewriting Logic Executable Semantics to Matching Logic Program Verification
- Grigore Rosu, Chucky Ellison and Wolfram Schulte
Technical Report http://hdl.handle.net/2142/13159, July 2009
PDF, TR@UIUC, BIB - A Rewriting Logic Approach to Type Inference
- Chucky Ellison, Traian Florin Serbanuta and Grigore Rosu
WADT'08 Abstract
PDF, WADT'08 Slides PDF, BIB - A Rewriting Logic Approach to Defining Type Systems
- Chucky Ellison
Master's Thesis
PDF, BIB - A Rewriting Logic Approach to Type Inference
- Chucky Ellison, Traian Florin Serbanuta and Grigore Rosu
Technical report UIUCDCS-R-2008-2934, March 2008
PDF, TR@UIUC, BIB - On RDBMS-Integrated Disk-Based Architecture for Managing Massive Dormant Data in a Compressed Format
- Miroslav Dzakovic and Chucky Ellison
SNAPI'07, IEEE
PDF, IEEE, BIB
[edit] Relevant Coursework
[edit] Language
- CS421: Programming Language and Compilers
- CS422: Programming Language Design
- CS426: Compiler Construction
- CS522: Programming Language Semantics
- CS524: Concurrent Programming Languages
- CS598REJ: Object-Oriented Programming and Design
[edit] Formal Methods
- CS475: Formal Models of Computation
- CS476: Program Verification
- CS477: Formal Software Development Methods
- CS576: Topics in Automated Deduction
[edit] Other Coursework
- CS425: Distributed Systems
- CS431: Embedded Systems
- CS578: Information Theory
- CS598SRR: Artificial Neural Networks and Computational Brain Theory
[edit] North Carolina State University (2000-2004)
BS in Computer Science, BS in Mathematics, Minor in Cognitive Science
4.0 out of 4.0 GPA
[edit] Other Coursework
- MA565: Graph Theory
- CSC520: Artificial Intelligence I
[edit] Teaching
Recognized on the "Incomplete List of Teachers Ranked as Excellent" for Spring 2006 and Fall 2006, and the renamed "List of Teachers Ranked as Excellent" for Fall 2007.
[edit] CS 427 (Software Engineering I)
- Fall 2005
[edit] CS 242 (Programming Studio)
- Spring 2006
- Fall 2006
- Spring 2007
- Fall 2007


