William J. Bowman | Home: wjb I am a second year Ph.D. student at Northeastern University where I study Computer Science (specifically, programming languages). Generally, I do meta-theory. I reason about reasoning about programs. I think really hard about