FRESCO

Formal Verification of Tezos Smart Contracts

Read more »

REDe FAROTIC

Fintech, CyberSecurity and Big Data technologies for regional entrepreneurship. 2019-2020. Funded by the POCTEP program of INTERREG/FEDER.

Read more »

FACTOR

A Functional Programming Approach to Teaching Portuguese Foundational Computing Courses

Read more »

C4

Cloud Computing Competence Centre

Read more »