Max Robotics — Global Service Robot Directory + US Certification

About

Nabendu Chaki is a leading researcher in the intersection of software engineering, static analysis, and autonomous robotic systems. His work focuses on ensuring the reliability and safety of complex robotic software through formal verification techniques. In his highly cited 2013 paper, he provided a comprehensive overview of semantics-based static analysis methods—including data-flow analysis, model checking, and abstract interpretation—specifically tailored for robotics, a contribution that has garnered 11 citations and remains foundational for researchers tackling the verification of control software. More recently, Chaki has pioneered the study of non-functional requirements (NFRs) in autonomous systems, introducing the SCARS framework to resolve conflicts between NFRs from multiple stakeholders, a critical challenge in multi-fleet and context-aware robotics. His 2023 paper on SCARS has already attracted 4 citations, and his ongoing work on contextual correlation inference (2025) pushes the boundaries of NFR elicitation. Chaki has also edited the notable volume *Advanced Computing and Systems for Security* (2020), reflecting his broader impact on secure and dependable computing. His research is essential for students and engineers building trustworthy autonomous systems.