Curriculum Vitae, Chucky Ellison

From FSL

Jump to: navigation, search

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
Retrieved from "http://fsl.cs.uiuc.edu/index.php/Curriculum_Vitae%2C_Chucky_Ellison"
Views