Talk by Prof Shriram Krishnamurthi, Brown University (12 Feb ’24)

IIITH is hosting a talk on The Human Factors of Formal Methods for Software Systems by Shriram Krishnamurthi, Brown University on 12 February ’24, 11:30am-1:00pm, D-101, Himalaya D-Block, IIITH campus