Soummya Kar

Papers

Total Citations

H-Index

About

Soummya Kar is a researcher whose work spans cyber-physical systems (CPSs), distributed networks, and autonomous control systems. His research addresses some of the most pressing challenges at the intersection of software reliability and physical system control, with particular emphasis on providing rigorous, end-to-end safety guarantees for complex engineered systems. Among his most notable contributions is his work on High-Assurance SPIRAL, which tackles the critical problem of ensuring software correctness in CPS applications ranging from power infrastructure to semi-autonomous vehicles. This research, garnering 31 citations, provides verifiable guarantees for robot and car control systems — a significant advancement in an era of rapidly expanding autonomous technology. Kar has also made meaningful contributions to the theory of structurally observable distributed agent networks, exploring how fusion centers can efficiently reconstruct system-wide state information from minimal sensor access points while satisfying cost and robustness constraints — work that has attracted 18 citations. Collectively, Kar's research addresses fundamental questions about how complex, interconnected systems can be made more reliable, observable, and trustworthy, making his work highly relevant to engineers and researchers working on the next generation of intelligent infrastructure and autonomous systems.