Robert Y. Lewis is a Lecturer of Computer Science at Brown University. His research lies at the intersection of computer science and mathematics, applying logical methods to verify and search for proofs of mathematical theorems and program correctness. His teaching interests include logic and formal methods, discrete mathematics, and topics at the foundations of computer science. He is especially interested in the use of logical tools in education.
Rob completed his PhD in Pure and Applied Logic at Carnegie Mellon University, and a postdoc in Theoretical Computer Science at the Vrije Universiteit Amsterdam.
