Talk by Dr. Shriram Krishnamurthi Dr. Shriram Krishnamurthi, Brown University will give a talk on The Human Factors of Formal Methods for Software Systems. Date: 12 February Time: 11:30am – 1:00pm Venue: Faculty Meeting Room, KRB January 2024