Portrait
about

  • 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