Ratul Mahajan View
Ratul Mahajan is an Associate Professor at the University of Washington (Paul G. Allen School of Computer Science) and a Co-founder and CEO of Intentionet, a company that is enabling safe, rapid evolution of computer networks using formal analysis and high-level design approaches. Prior to that, he was a Principal Researcher at Microsoft Research. He got his PhD at the University of Washington and B.Tech at Indian Institute of Technology, Delhi, both in Computer Science and Engineering.
Posts by Ratul Mahajan
Network change verification (even for networks without specifications)
Networks routinely need changes to patch security holes, expand capacity, perform routine maintenance, and a myriad of other reasons. But every change is dangerous, and brings with i...
In relational verification, By Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker, Xieyang Xu, Yifei Yuan, Ennan Zhai, Oct 04, 2024Making Networks Safe and Agile with Formal Methods and Programming Abstractions: Future Directions
For years, networks have been seen as hard to manage and hard to evolve. They are hard to manage because even small networks are complex, with multiple devices and protocols interacti...
In formal methods, programming languages, By Nate Foster, Arvind Krishnamurthy, Ratul Mahajan, Todd Millstein, David Walker, Anduo Wang, Pamela Zave, Nov 27, 2023Network verification 2.0
The first generation of network verification research, or Network Verification 1.0, has been tremendously successful. It has produced a wide range of methods that enable strong guaran...
In research, network, verification, By Ryan Beckett, Ratul Mahajan, Dec 15, 2020Models for Distributed Routing Protocols
Part 1: SIMPLE Models and Simulation
In overview, research, network, verification, By Ryan Beckett, Nick Giannarakis, Aarti Gupta, Devon Loehr, Ratul Mahajan, Tim Alberdingk Thijm, David Walker, Jun 22, 2020Capturing the state of research on network verification
Verification and synthesis are old problems in computer science. Verification seeks to answer the question: “can any input to a program result in that program producing an incorrect o...
In overview, research, network, verification, By Ryan Beckett, Ratul Mahajan, Apr 20, 2020Welcome to netverify.fun
Network verification and synthesis has emerged as an exciting research area at the intersection of networking, programming languages, and formal methods. Work in this area is motivate...
In network, verification, synthesis, welcome, By Ratul Mahajan, Ryan Beckett, Apr 20, 2020