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