The 3rd World Congress in Formal Methods was held in Porto, Portugal, 7-11 October 2019 and included 9 conferences, 16 workshops, an Industry Day, a Doctoral Symposium, and two festschrift events. In a series of videos, we will present some highlights from the world congress. We here bring you a keynote from the 23rd International Symposium on Formal Mehtods (FM 2019), given by Shriram Krishnamurthi.
Did you ever wonder what Shriram talked about at FM2019?
Prof. Shriram Krishnamurthi gave an FM2019 keynote on “The Human in Formal Methods”
Abstract. Sustaining the growing adoption of formal methods requires attention to not only the technical but also the human side. These range from paying more attention to the user interfaces of tools to creating rich environments for education. In this talk, I will discuss some of the challenges and opportunities for human factors in formal methods for the creation of a “formal methods mindset”.
Short biography. Shriram Krishnamurthi is a Professor of Computer Science and an Associate Director of the Executive Master in Cybersecurity at Brown University. With collaborators and students, he has created several influential systems and written multiple widely-used books. He also co-directs the Bootstrap math-and-computing outreach program. For his work he has received SIGPLAN’s Robin Milner Young Researcher Award, SIGSOFT’s Influential Educator Award, SIGPLAN’s Software Award, and Brown’s Henry Merritt Wriston Fellowship for distinguished contribution to undergraduate education. He has authored over a dozen papers recognized for honors by program committees. He has an honorary doctorate from the Università della Svizzera Italiana.