Formal analysis of blockchain components | Current Project

This project investigates different applications of formal analysis in the context of blockchain systems.

The prime example is (and the focus of the project will be) the formal analysis of smart contracts to ensure that they behave as intended by the developer. The methods and technologies developed in the project have the potential to propel the adoption of blockchain systems. The Project is a cooperation between CIn-UFPE, in Brazil, and TBTL, in Oxford-UK.
Gustavo Carvalho
Gustavo Carvalho
Lecturer @ CIn-UFPE (BR)

My research interests include formal specification/verification, and tools development.