headshot

Robert Y. Lewis

Lecturer in Computer Science

Office:CIT 433
Phone:401-863-7600
Email: robert_lewis@@@brown.edu

Primary Research Areas: Formal Methods, Programming Languages
Secondary Research Areas: Theory

Teaching:
Fall 2024
CSCI1260  Compilers and Program Analysis
CSCI1951-X  Formal Proof and Verification
Spring 2025
CSCI0220  Introduction to Discrete Structures and Probability

Home Page