Robert Y. Lewis
· Assistant Teaching Professor of Computer ScienceVerifiedBrown University · Computer Science
Active 2014–2024
About
Robert Y. Lewis is a lecturer in the Department of Computer Science at Brown University. His research interests focus on formal methods and verification, logic, and the foundations of mathematics, particularly their applications in computer science and mathematics education. He works on interactive theorem proving, automated reasoning, and type theory. Prior to joining Brown University, Robert Y. Lewis was a postdoctoral researcher at the Vrije Universiteit Amsterdam. He earned his PhD in Pure and Applied Logic from Carnegie Mellon University. Earlier in his career, he taught high school mathematics at St. Agnes Academy in Houston.
Research topics
- Computer science
- Programming language
- Mathematics
- Theoretical computer science
- Software engineering
Frequent coauthors
- 4 shared
Jeremy Avigad
Carnegie Mellon University
- 4 shared
Cody Roux
- 3 shared
Heather Macbeth
- 3 shared
Minchao Wu
Anhui University
- 3 shared
Frédéric Dupuis
- 2 shared
Johannes Hölzl
University of Klagenfurt
- 2 shared
Sander R. Dahmen
- 2 shared
Paul-Nicolas Madelaine
Similar researchers at Brown University
- Resume-aware match score
- Save to shortlist
- AI-drafted outreach
See your match with Robert Y. Lewis
PhdFit ranks faculty by your research interests, methods, and publications — grounded in their actual work, not templates.
- Free to start
- No credit card
- 30-second signup