Since 2007, I run the Math Gate website.
Since 2012, I am a Manatee.
Math Gate

Scunak

Matracas Mathematics Related Software

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.
Work Coordinates:
Resources: Information about publications, teaching experience and code I have written.
Research Interests
  • Theorem Proving
  • Higher-Order Logic
  • Independence Results
  • Extensionality Principles in Higher-Order Logic
  • Set Comprehension Principles in Higher-Order Logic
  • Cut-Elimination in Higher-Order Logic
  • Cut-Simulation in Higher-Order Logic
  • Completeness Proofs for Higher-Order Logic Abstract Consistency
  • Typed Lambda Calculus
  • Mechanization of Mathematics
  • PERs
In April 2013 I posted this linked page after Margaret Thatcher died.