Robert Y. Lewis

Robert Y. Lewis is a Lecturer in the Department of Computer Science at Brown University, specializing in formal methods, logic, and interactive theorem proving. His work bridges computer science and mathematics, focusing on the verification of mathematical proofs and program correctness.

• Education:
• PhD in Pure and Applied Logic (2018), Carnegie Mellon University
• MS in Pure and Applied Logic (2015), Carnegie Mellon University
• BA in Mathematics (2010), Rice University
• Research Interests:Lewis’s research spans formal verification, logic, type theory, and automated reasoning. He explores the application of logical tools like the Lean proof assistant in mathematics education and software verification.
• Teaching:At Brown, he teaches courses such as Introduction to Discrete Structures and Probability and Formal Proof and Verification. Prior to Brown, he taught Logic and Modeling at Vrije Universiteit Amsterdam and served as a teaching assistant at Carnegie Mellon University.
• Publications:His recent work includes advancements in formalizing mathematical structures (e.g., Witt vectors, Cap Set Problem), integrating proof assistants with computational tools (Lean-Mathematica interface), and developing educational resources for logic and formal methods.
• Contact:
  • Email: robert_lewis@brown.edu
  • Office: Center for Information Technology 203, Brown University