Tag: Formal Verification of Software

22nd October 2014 Mumbai, India

Avatar photo

by Sheryl Anchan

Science and Innovation Adviser

Visit to TIFR

Last week I had a fantastic opportunity to visit one of India’s most renowned centres of excellence – Tata Institute of Fundamental Research (TIFR) Mumbai , along with my colleagues Tom Wells and Vijay Iyer. The TIFR is funded by the Government of India’s Department of Atomic Energy. Its main campus is located in Mumbai […]

Read more on Visit to TIFR | Reply