View source for Chucky Ellison

[http://fsl.cs.uiuc.edu/celliso2 Chucky Ellison] is a former grad student from the University of Illinois at Urbana-Champaign working with prof. [[Grigore Rosu]].  He graduated in 2012.

His new website can be found here: [http://www.freefour.com/ http://www.freefour.com/].

'''Role in the K Framework Project'''
:Working on the semantics of C.
:Gave formal semantics to a number of esoteric languages including BF and Befunge.
:Involved in the [[Matching Logic]] project.

== Publications Related to the K Framework ==
<pub author="chucky" category="k" />