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.

Slides from Deduktionstreffen 2009, Jacobs University, Bremen


Chad E. Brown, Fri Oct 16 12:22:12 2009