Research Bio
Rishabh Iyer designs techniques and tools that enable developers to reason precisely about the behavior of complex computer systems before deployment. His research spans operating systems, networking, and computer architecture. More recently, his work focuses on combining AI and formal methods to make large-scale infrastructure more predictable and robust.
Research Expertise and Interest
operating systems & networking, computer architecture, large-scale distributed systems
Teaching
Introduction to the Internet: Architecture and Protocols [COMPSCI 168]
Supervised Independent Study [COMPSCI 199]
Professional Preparation: Supervised Teaching of Computer Science [COMPSCI 399]
Special Topics [COMPSCI 294]