University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > The Cognitive and Human Factors of Formal Methods

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

The Cognitive and Human Factors of Formal Methods

Download to your calendar using vCal

If you have a question about this talk, please contact Ioannis Markakis .

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.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Lord Ashcroft Building (LAB) 005 (Anglia Ruskin University, Cambridge Campus) Type the title of a new list herecircul Hybrid: Seminar room, SPRI & Zoom - email organiser for details

Other talks

Haematology and Palliative Care Thelocactus Title TBC Title TBC Illegal trade in the North Atlantic Task performance predicts the substitution of feedforward by feedback drive in visual cortex
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity