Cartwright

[RPG]

I know him pretty well. He got a PhD from Stanford under McCarthy.  He is
big on formal Lisp semantics. He is currently at Rice. He is very smart,
very well-spoken, understands the difference between formalisms and real
programming. He programmed up a theorem-prover for his thesis and has done
many other large projects. He has published a fair bit in the Lisp area.

I think he has the credentials to do a good job.

			-rpg-