Posted on 19 October 2012
Dr Ana Cavalcanti, a Reader in the Department of Computer Science, is one of only 19 academics across the United Kingdom to receive a Wolfson Research Merit Award, which recognises outstanding scientists. Jointly funded by the Wolfson Foundation and the Department for Business, Innovation and Skills (BIS), the scheme provides universities with additional funding to enable them to attract to this country or retain respected scientists of outstanding achievement and potential.
I am honoured to receive this award. It is a recognition not only of my work, but also of the importance of the study of the foundations of Software Engineering to industry and to society in general
Dr Ana Cavalcanti
Dr Cavalcanti is a member of the University’s High Integrity Systems Engineering Research Group and her work focuses on the mathematical foundations of the verification and certification of safety-critical software. While industry can provide comprehensive warranties to those buying, for example, televisions and laptops, software users have no such guarantees. The long-term goal of Dr Cavalcanti’s area of work is to change this situation.
Currently, she is focusing on safety-critical applications – for example those that control aeroplanes or cars - where any malfunction can cause loss of life.
Dr Cavalcanti said: “I am honoured to receive this award. It is a recognition not only of my work, but also of the importance of the study of the foundations of Software Engineering to industry and to society in general.”