Carl Eastlund

A picture of Carl circa 2005.

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.