Post date: Apr 20, 2018 4:34:07 AM
Joined the Formal Methods Laboratory, Department of Computer Science and Engineering at IIT Kharagpur, India on the 5th of April - 2018, as a Senior Project Officer in the project entitled FMSAFE: A Networked Centre for Formal Methods in Validation and Certification Procedures for Safety - Critical ICT Systems.