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

Research interests:Meta-programming, compilers, compiler correctness, dependent types