I am a Senior Lecturer (Assistant Professor) in the School of Computing at Teesside University, UK. My research interests are in mathematical methods for program construction and verification. I aim at using formal methods to certify critical systems and to help transfer the resulting scientific knowledge to industry, so that all society can benefit from safer systems.

I finished my PhD in Computer Science at the University of Nottingham in 2010. My thesis was on algorithmic problem solving, an area in which I still works on. I am a member of the Digital Futures Institute (Teesside University, UK) and of the High Assurance Software Laboratory (HASLab – INESC TEC Privileged Partner, Minho University, Portugal).