Saloni is a Master of Software Engineering Research Fellow at the Software and Societal Systems Department, Carnegie Mellon University. Her recent work involves formally modeling Kafka using Alloy 6. She is interested in exploring application of formal methods in improvement of distributed systems protocols.