[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
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.