NU SEDS Research seminar “Analysis of cognitive properties of interactive systems using model checking” by Associate Professor Antonio Cerone, Department of Computer Science, NU SEDS
Nazarbayev University School of Engineering and Digital Sciences (SEDS) invites you to attend the research seminar “Analysis of cognitive properties of interactive systems using model checking” by Associate Professor Antonio Cerone, Department of Computer Science, NU SEDS.
Date: 10 May 2023, Wednesday
Time: 2 pm
Location: Block 3, Room 3E 221
Antonio Cerone is an Associate Professor of Computer Science at Nazarbayev University, Kazakhstan. Previously he has been working at the IMT School for Advanced Studies Lucca, the United Nations University, the University of Queensland, the University of South Australia, the Goethe University Frankfurt and the University of Pisa. His main research focus is on formal methods and their application to several domains, including human-computer interaction, safety, security, systems biology and ecology. He is also interested in cognitive science, open source development, process mining and collaborative learning. Antonio is the founder and Chair of the Steering Committee of the “International Conference on Software Engineering and Formal Methods” (SEFM), which is not at its 21st edition, and the co-founder and a Steering Committee member of the “International Symposium DataMod: From Data to Models and Back”.
ABSTRACT: Interactive systems may appear to work correctly and safely when analyzed in isolation from the human environment in which they are supposed to work. In fact, the same cognitive skills that enable humans to perform complex tasks may also become the source of critical errors in the interaction with systems and devices designed as supports for such tasks. It is thus essential to verify the desired properties of an interactive system using a model that not only includes a user-centered description of the task, but also incorporates a representation of human cognitive processes within the task execution.
This seminar introduces the Behaviour and Reasoning Description Language (BRDL), a notation for rigorously describing human tasks in terms of the cognitive processes associated with human cognition: perception, attention, and information storage, processing and retrieval. The semantics of BRDL is based on a basic model of human memory and memory processes and is adaptable to the different cognitive theories that have been developed in psychology. This allows us, on the one hand, to keep the syntax of the language to a minimum, thus making it easy to learn and understand without requiring expertise in mathematics or formal methods and, on the other hand, to use semantic variations to compare alternative theories of memory and cognition. Such semantics variations have been implemented using Maude, a modelling language and tool that supports both simulation and formal analysis of properties using model checking. Within the Maude implementation the BRDL model can be combined with the formal model of a computer system, thus modelling human-computer interaction. Therefore, BRDL can be successfully used at two levels: (1) as an informal modelling and reasoning tool for domain experts from the areas of psychology and usability evaluation, and (2) as a formal tool for performing in silico experiments on human cognition, behaviour and learning and for carrying out the simulation and formal verification of interactive systems.
Follow this link and register now : NU SEDS Research Seminars | Registration form – Google Forms