CV (Resume)
| pdf/with pic | pdf/no pic | pdf/short |
| ps/with pic | ps/no pic. | ps/short |
Since 2007, I run the Math Gate website.
Personal webpage of Chad E. Brown (logician, mathematician, computer scientist)
I am currently employed as a scientific researcher
in the programming systems group of Professor Gert Smolka
at Universität des Saarlandes in Saarbrücken, Germany,
funded by SFB 378.
Work Coordinates:
Work Coordinates:
Personal/Website related email: 
Research Interests
- Theorem Proving
- Higher-Order Theorem ProvingSet InstantiationsQuantificational DepthHigher-Order Benchmarks
- Automated Theorem ProvingExpansion ProofsExtensional Expansion Proofs
- Interactive Theorem Proving
- Proof Checking
- Theorem Proving in EducationMathematical Tutoring
- Sequent Calculus Proofs
- Natural Deduction ProofsProof Terms
- Proof Translations
- Higher-Order Logic
- Semantics of Higher-Order LogicHenkin ModelsGeneralizations of Henkin ModelsCategorical Semantics
- Logical Relations Frames
- Cantor's Theorem
- Specified Sets Frames
- Independence Results
- M-Set Models
- Extensionality Principles in Higher-Order Logic
- Set Comprehension Principles in Higher-Order Logic
- Hybrid LogicModal Logic
- Cut-Elimination in Higher-Order Logic
- Cut-Simulation in Higher-Order Logic
- Completeness Proofs for Higher-Order LogicAbstract Consistency
- Typed Lambda Calculus
- Simply Typed Lambda CalculusHigher-Order Unification
- Dependent TypesDependently Typed Set Theory
- Mechanization of Mathematics
- Axiomatic Set TheoryZFCMac Lane Set TheoryQuine's NF
- Formal Mathematics
- Foundations of Mathematics
- PERs
- Differential Equations