Skip to content
Research Fellows Directory

Ana Cavalcanti

Professor Ana Cavalcanti

Research Fellow


University of York

Research summary

This project summary is not available for publication.

Interests and expertise (Subject groups)

Grants awarded

Formal Methods in the Verification and Certification of Safety-critical Systems

Scheme: Wolfson Research Merit Awards

Dates: Aug 2012 - Jul 2017

Value: £50,000

Satefy-Critical Concurrent Reactive Systems: Modelling and Verification

Scheme: Industry Fellowship

Dates: Oct 2003 - Sep 2007

Value: £87,661.23