BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The Cognitive and Human Factors of Formal Methods    - Shriram Kri
 shnamurti (Brown University)
DTSTART:20260220T140000Z
DTEND:20260220T150000Z
UID:TALK244831@talks.cam.ac.uk
CONTACT:Ioannis Markakis
DESCRIPTION:As formal methods improve in expressiveness and power\, they c
 reate new opportunities for non-expert adoption. In principle\, formal too
 ls are now powerful enough to enable developers to scalably validate reali
 stic systems artifacts without extensive formal training. However\, realiz
 ing this potential for adoption requires attention to not only the technic
 al but also the human side—which has received extraordinarily little att
 ention from formal-methods research.\n\nThis talk presents some of our eff
 orts to address this paucity. We apply ideas from cognitive science\, huma
 n-factors research\, and education theory to improve the usability of form
 al methods. Along the way\, we find misconceptions suffered by users\, how
  technically appealing designs that experts may value may fail to help\, a
 nd how our tools may even mislead users.
LOCATION:SS03\, Computer Laboratory
END:VEVENT
END:VCALENDAR