Phone: (412) 268-8149 (office)
E-mail: avigad at cmu.edu
Homepage: http://www.andrew.cmu.edu/~avigad/