Northeastern University

Page Content

Carl Eastlund

Carl Eastlund

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.

Text Only Options

Top of page


Text Only Options

Open the original version of this page.

Usablenet Assistive is a UsableNet product. Usablenet Assistive Main Page.