In 2017, he left Microsoft to co-found the start-up Intentionet to apply the network verification techniques that he co-developed to provide strong security and reliability guarantees for complex, real-world networks. Ratul’s research interests span all aspects of networked systems and draw on many other areas of computer science to build provably-correct and efficient systems.
Ratul has been recognized as an ACM Distinguished Scientist, an ACM SIGCOMM Rising Star, and a Microsoft Research Graduate Fellow. His papers have won multiple awards including the ACM SIGCOMM Test-of-Time Award, the IEEE William R. Bennett Prize, and received the ACM SIGCOMM Best Paper Award twice.