Research Projects

Learn Foundations of Computer Science Using OCaml

A Deductive verIfication frAmework for higher-orDEr prograMs

Formal Verification of Tezos Smart Contracts

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

A Functional Programming Approach to Teaching Portuguese Foundational Computing Courses

Cloud Computing Competence Centre