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