About me Computer scientist. Programmer. Logician. Professor. Occasional blogger. Not necessarily in this order. To contact me, send an e-mail to my first name, the e-mail symbol, cmu dot edu.
