I look more or less like the guy on the left. I am a Ph.D. student (since fall '03) in the Programming Research Laboratory of the College of Computer and Information Science at Northeastern University. My advisor is Matthias Felleisen. I currently research programming tools for the ACL2 theorem prover as part of the PLT group.
Open the original version of this page.
Usablenet Assistive is a UsableNet product. Usablenet Assistive Main Page.