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