Registered user since Tue 17 Feb 2015
Name: William J. Bowman
Bio: I am a sixth year Ph.D. student at Northeastern University where I study Computer Science (specifically, programming languages).
I want to make programs easier to design, write, and understand. To that end, I work on verifying compilers. I am particularly interested in equivalence preserving (fully-abstract) compilers and type preserving compilation. I also dabble in dependent types and language design and implementation.
Country: United States
Affiliation: Northeastern University
Personal website: https://www.williamjbowman.com/
Research interests: Meta-programming, compilers, compiler correctness, dependent types
ICFP 2017 Activities
- Author of Only Control Effects and Dependent Types within the HOPE 2017-track in HOPE 2017
- Show activities from other conferences
View general profile