Principal Researcher, Microsoft Research

Srinath Setty is a Principal Researcher at Microsoft Research in Redmond, which he joined in the winter of 2014. His research interests are in security, privacy, and cryptography. He has worked on verifiability for stateful computation, zero-knowledge SNARKs, Byzantine consensus without Byzantine oligarchy, formal verification of distributed systems and cryptographic implementations, metadata-private communication, fault-tolerance in cloud services, and decentralized identity. His honors include award papers at OSDI (2020) and USENIX Security (2017), Best Dissertation Award from the UT Department of Computer Science (2014), and several individual performance awards at Microsoft Research. He received his Ph.D. in Computer Science from UT Austin.