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.

Click here for JITPRO: An interactive higher-order tableau prover in Javascript.

Click here for a list of Bachelors and Masters projects.

Reducing Theorem Proving to a Sequence of SAT Problems (Slides from September 2010)

Slides from Deduktionstreffen 2009, Jacobs University, Bremen


Chad E. Brown, Fri Sep 10 16:13:43 2010