Generate a tailored SOP for Dr. Robert Lewis. Improve your application with a focused, well-structured draft.
Robert Y. Lewis is an Assistant Teaching Professor in the Department of Computer Science at Brown University. His research lies at the intersection of computer science and mathematics, focusing on applying logical methods to verify search proofs of mathematical theorems and program correctness. Through his work, Lewis emphasizes the use of logical tools in education, aiming to enhance the understanding of foundational concepts in computer science. He has completed a PhD in Pure and Applied Logic from Carnegie Mellon University and has a postdoctoral background in Theoretical Computer Science from Vrije Universiteit Amsterdam. His teaching interests are deeply rooted in logical formal methods and discrete mathematics, and he is committed to exploring topics within the foundational aspects of computer science.
Department: Department of Economics