Menu Close
Senior Lecutrer in Computer Science, Cardiff Metropolitan University

Dr Ana Calderon is a Senior Lecturer in Computing at Cardiff Metropolitan University, with a background in mathematical computer science, and particular expertise in game semantics for programming languages and developing new frameworks to model programming paradigms. She also has significant experience in developing and analysing frameworks for communications of humans and autonomous systems during disaster relief. Prior to joining Cardiff Metropolitan University, she was a post-doctoral research associate at the University of Bath working on enhancing communications between humans and autonomous systems (HASCC project) during disaster relief, including first responders such as fire-fighters. She completed her PhD in 2012 in the area of denotational semantics, which gave her technical knowledge of modelling new mathematical models of programming languages. She was then able to apply these mathematical tools in the HASCC project, where her specific interest was in providing formal mechanisms for analysing socially complex situations, such as those encountered in emergency response, specifically on formalisms of individual and collective intent. Her expertise and interest in linking mathematical foundations to real-world applications culminated diverse research projects, such as:
looking at the application of machine learning in market attribution to optimise propensity-scoring algorithms;
enhancing fire inspection policy through the use computational intelligence;
development of a machine learning algorithm to detect a particular orthopaedic deformity with recommendations as to how it may be utilised in judging successful surgical outcomes, amongst others.


  • –present
    Senior Lecutrer in Computer Science, Cardiff Metropolitan University


  • 2012 
    University of Bath , PhD Mathematical Foundations of Computer Science