Relatives' pages

• Andy Jendrzejewski
• Ben Fineman
• Don Winsor
• Dorothy Winsor
• Ingrid Jendrzejewski
• Ron DeLap

Some CMU people

• Karen Adams, who is currently in physics jail.
• James Cheney, who is now at Cornell. According to old KGB members, I am some sort of duplicate of James. I don't really know him, so I can't verify this.
• Evan Chang, who is working on a parallel theorem prover for ConCert.
• Kirstin Connors, my crazy roommate, who is tame compared to Mousumi Sircar (now at Pitt doing neuroscience).
• Nirav Dave
• Joshua Dunfield: the culprit for the initial version of the ConCert project code... among other things. :)
• Gregg Economou (Lord Isildur), SO to my roommate.
• Susan Finger. Makes Penrose paving tiles, as well as other cool stuff.
• Fwiffo et al. (I independently discovered and used BAP while temporarily living in Morewood last summer. Common problem.)
• Bob Harper
• Martin Hock, responsible for The Phatmaster
• Rob Jefferson, the bitter sysadmin music geek.
• James Johnson, a.k.a. Gothboy (although not particularly goth).
• Dave Kitchin, a.k.a. Dangerous Dave
• Shawn Knight
• Laura Marsh: Beeeeee!
• John McCall, with the hair.
• John Meier
• Michael Moiseyev (Misha). Invariant: he and John McCall are plotting something.
• Dushyanth Narayanan
• Michael O'Kelly, whom I dated once. Now at MIT, IIRC, as if to show the ill-typing. ;)
• Frank Pfenning, senior thesis advisor.
• J.C. Reed
• M. Satyanarayanan

Other persons

• Ben Moser, one of the Den of Slack people