Defence Research and Development Organisation (DRDO) has sponsored a research project for two and half years on "Formal verification of neural networks as applied to autonomous systems" with Meenakshi D'Souza as the PI and G. Srinivasa Raghavan as the Co-PI. The project involves study and verification of neural networks as used in autonomous systems. Aritra Bhowmick joined as JRF to work on this project with effect from August 2019.