Dr Ana Carolina M A Calderon

Department: Department of Computer Science

Office/Location: Cardiff School of Technologies, Llandaff Campus


Email: acalderon@cardiffmet.ac.uk

Staff Overview

Dr Ana Calderon is a senior lecturer in Computing at Cardiff Metropolitan University, with a background in mathematical computer science, and in particular expertise in game semantics for programming languages and on developing new frameworks to model programming paradigms. She is interested in creating mathematical tools for modelling computing concepts, but also in applying them to real-world problems. Examples include developing and analysing frameworks for communications between humans and autonomous systems during disaster relief, and developing the mathematical foundations of AI algorithms behind medical applications.


  • Ph.D. supervision
  • Mathematical Foundations for Technology
  • Research Skills
  • Final Year Project Coordination


Some current projects include:

  • mathematical modelling of on-line communications (in specific platforms), using GT to understand influence in closed networks
  • neural networks for medical applications
  • user centred modelling
  • building game theoretic models of compliance-based inspection
  • information extraction during disaster relief 

Key Publications

Understanding game semantics through coherence spaces
AC Calderon, G McCusker
Electronic Notes in Theoretical Computer Science 265, 231-244

Astrobiology App for Kids: Software as a cognitive prosthetic for conceptualization of astronomical theories
AC Calderon, C Tryfona, C Smith
GetMobile: Mobile Computing and Communications 19 (2), 23-27

IntCris: A tool for enhanced communication and collective decision-making during crises.
AC Calderon, P Johnson

A double dissociative study into the effectiveness of computational thinking
AC Calderon, D Skillicorn, A Watt, N Perham
Education and Information Technologies 25 (2), 1181-1192

Information extraction in emergency management missions: an adaptive multi-agent approach
AC Calderon, P Johnson
International Journal of Emergency Management 13 (3), 216-234

Achieving an Information System's Capability through C2
AC Calderon, P Johnson
International Journal of Information Systems for Crisis Response 

Leading cats: How to effectively command collectives.
AC Calderon, J Hinds, P Johnson

Other Projects and activities

External Links