Philadelphia, PA
http://cis.upenn.edu/~arthuraa
I have a blog (http://poleiro.info) about the Coq proof assistant, please check it out!