Srikar Kaligotla 

My research focuses on securing cyber physical systems, identifying emerging vulnerabilities in distributed energy and Internet of Things environments, and applying formal methods to improve system resilience. As part of the NSA INSuRE C project at UNC Charlotte, I work on modeling microgrid and home solar architectures and use lightweight formal methods to reveal architectural “weird machines” that may influence system behavior.

My work involves building tools that integrate formal models with property based testing and architectural fuzzing to uncover unexpected interactions early in the design process. My research interests include modeling microgrids and home solar systems with lightweight formal methods, stress testing cyber physical systems through property based tests and architectural fuzzing, and studying how emergent behaviors impact security.