Next was an excellent talk by @shriramk on the human factors of formal methods at ACM India. Even in something as seemingly divorced from humans as logic verification, Krishnamurthi demonstrates how human interpretability of method outputs dramatically changes outcomes and why it's essential to integrate a variety of disciplines to effectively build socio-technical systems https://www.youtube.com/watch?v=ehrYEdt8NKE (11/12) #HCI#ComputerScience
dpp