Department of Science and Technology (DST) has sponsored a three years research project on "Verification and Validation of IoT Systems" with Meenakshi D'Souza as single PI under their Interdisciplinary Cyber Physical Systems (ICPS) programme. The project involves applying formal methods based techniques to formally verify requirements of IoT systems, as applicable to safety critical systems. NagalakshmiS. R. joined as a research scholar to work on this project with effect from August 2019.