Andrew Bennett

From FSL
Revision as of 15:42, 25 April 2006 by Abennet1 (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Ande.jpg

abennet1@uiuc.edu
Second-year M.S. student
Advisor: Grigore Rosu
Computer Science Department
University of Illinois Urbana-Champaign


B.S., University of Illinois at Urbana-Champaign, 2004
M.S., University of Illinois at Urbana-Champaign, 2006


Worked with the FSL research group on Haskell-RL

Publications:

Haskell-RL: An Equational Specification of Haskell in Maude 
Andrew Bennett
MS CS Thesis Submission
PDF, semantics

Personal tools
Namespaces

Variants
Actions
Navigation