Скачать с ютуб Human Factors of Formal Methods with Shriram Krishnamurthi в хорошем качестве

Human Factors of Formal Methods with Shriram Krishnamurthi

Abstract: As formal methods improve in expressiveness and power, they create new opportunities for non-expert adoption. In principle, formal tools are now powerful enough to enable developers to scalably validate realistic systems artifacts without extensive formal training. However, realizing this potential for adoption requires attention to not only the technical but also the human side—which has received extraordinarily little attention from formal-methods research. This talk presents some of our efforts to address this paucity. We apply ideas from cognitive science, human-factors research, and education theory to improve the usability of formal methods. Along the way, we find misconceptions suffered by users, how technically appealing designs that experts may value may fail to help, and how our tools may even mislead users. Bio: Shriram is the Vice President for Programming Languages at Brown University in Providence, RI, USA. He’s not, really, but that’s what it says on his business card. At heart, he's a person of ill-repute: a Schemer, Racketeer, and Pyreteer. He believes tropical fruit are superior to all other kinds. He is terrified of success, because he may be forced to buy a suit. He is known to interrogate his audiences to ensure they’re paying attention. So, be alert. You can read email later. ----- Watch more videos from University of Colorado Boulder Engineering & Applied Science and subscribe: https://bit.ly/37UmM5X Founded in 1893, the College of Engineering and Applied Science at the University of Colorado Boulder is the second largest of seven schools and colleges at one of the nation's top public research institutions. Join Our Community:   / cuengineering     / cuengineering     / cuengineering   Contact University of Colorado Boulder Engineering & Applied Science: https://www.colorado.edu/engineering/... #Engineering #CUBoulder #EngineeringBuff