Sreeja Nair

Papers

Total Citations

H-Index

About

Sreeja Nair is a researcher whose work sits at the intersection of software engineering and industrial robotics, with a particular focus on the safety and reliability of automated systems. Her most cited paper, "A Static Analyzer for Industrial Robotic Applications" (2017), introduces a novel static analysis approach designed to detect potential runtime errors in RAPID, the high-level programming language used to program ABB industrial robots. This contribution is critical in an environment where real-time constraints make traditional testing difficult, and her work helps prevent costly and dangerous failures on the factory floor. With 5 citations, this paper has already drawn attention from both academia and industry, highlighting the growing need for formal verification in cyber-physical systems. Nair’s research addresses a key gap in the safety of industrial automation, and her work is particularly valuable for students and engineers looking to understand how static analysis can be adapted for domain-specific, real-time languages. Her achievements underscore a commitment to bridging the gap between theoretical software analysis and practical, high-stakes industrial applications.