Chad E. Brown

Saarland University Computer Science
Chad E. Brown

Researcher

I am part of Professor Gert Smolka's Programming Systems Lab at the Universität des Saarlandes in Saarbrücken, Germany. My research area is higher-order theorem proving. I obtained my Ph.D. in 2004 from the Department of Mathematical Sciences at Carnegie Mellon University.

I'm responsible for the higher-order automated theorem prover Satallax.


Chad E. Brown, Thu Apr 25 21:19:13 2013