Research Interests
Programming languages, components and modularity, architecture, development tools and methodology. I'm also interested in the promise (or threat?) of large-scale "industrialized" software engineering.
Much more generally, I'm on the one hand interested in logic and the formal foundations of computation, and on the other hand interested in how we can write better software. On the third hand, I don't think these are three separate hands.
Recent Projects
Currently I'm interested in the configuration of large software systems and in the ways that the ubiquitous use of more sophisticated tools (e.g., powerful IDEs) should inform the design of our programming languages.
I've also recently taken a critical look at model-driven development and requirements engineering.
Education
B.S. in Mathematics and Computer Science, University of Illinois–Urbana Champaign
Personal Interests
Books, music, conversation and walking outdoors.
Testimonial/Personal Quote
"Then I reflected that all things happen, happen to one, precisely now. Century follows century, and things happen only in the present. There are countless men in the air, on land and at sea, and all that really happens, happens to me. . . . The almost unbearable memory of Madden's long horseface put an end to these wandering thoughts"—Jorge Luis Borges
"I can't go on. I'll go on"—Samuel Beckett