Almost all of this term's students now have projects, but I'm still trying to find one for a grad student who's interested in programming language semantics, program analysis, and the like. He's smart, he works hard, he has a throwback 1970s haircut---if you've got something that needs someone who really cares about the formal end of programming languages (the kind of stuff that Turbak and Gifford talk about in their book), then please give me a shout ASAP.