Lecturer at Brown University. Proof assistants, formal mathematics, logic, computation.
robert_lewis@brown.edu
Brown University
Center for Information Techology 433
115 Waterman St
Providence, RI 02906