| So that Google finds my professional home page, I seem to need to leave this link in place. That is the place to go for information on my research, activities as a professor at MIT, etc. |
|
|
|
 |
 |
Information on my interests, projects, and history |
 |
I'm an associate professor in computer science at MIT. My research focuses on improving the software development process using automated and semi-automated mathematical reasoning. See my research web site for more information. |
 |
I founded this online cooperative, which uses democratic processes to manage Internet hosting services for paying members, though I'm no longer volunteering there. |
 |
 |
You can read my book recommendations and see what I'm reading lately. |
 |
Someone once told me that webcomics aren't high art. I dropped a safe on him. |
 |