PhD. Candidate
Computer Science Department
University of Texas at Austin
Advised By
William Cook
and
Don Batory
Research Interests
Programming Languages
Verification
Feature Modularity
about
ben delaware
research
cv
teaching
Address:
University of Texas at Austin
2317 Speedway, Stop D9500
Austin, TX 78712
Email:
bendy at cs.utexas.edu
Office:
GDC 7.412B
contact
[10 Jun]
3MT
to Appear at
ICFP 2013
[28 Mar]
New draft:
Monadic Modular Meta-Theory
[3 Mar]
Officially moved to candidacy
[23 Jan]
Presented
MTC
at POPL
news