MHRD in partnership with the Ministry of Railways, under its IMPRINT program, is setting up FMSAFE, India’s first knowledge centre on Formal Methods on Safety Critical Systems. The FMSAFE Centre, to be located at IIT Kharagpur, will function as a networked knowledge and research centre on Formal Methods for Safety Critical Systems, in collaboration with IIT Kanpur and IIT Bombay. Students working on cutting edge projects under this centre will spend time at all three IITs. The centre will be led by Prof Pallab Dasgupta from IIT Kharagpur along with Prof Sandeep Shukla from IIT Kanpur and Prof Supratik Chakraborty from IIT Bombay.
Commenting only available for logged in users