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