Exit 03
Research
Semantic data interoperability, formal verification and smart contracts at UFF.
From proofs to production
Undergraduate research in formal verification and dynamic logic meant stating precisely what a system must guarantee, then checking it. That habit carries into architecture reviews and API contracts.
My master's work on semantic data interoperability is the same problem many products face every day: getting separate systems to agree on what their data means.
Degrees
- 2021–2023
Master's in Computer Science
Universidade Federal Fluminense · Semantic data interoperability
- 2014–2020
Bachelor's in Computer Science
Universidade Federal Fluminense · Formal verification and smart contracts
Publications
- 2021Paper presented at WBL 2021
- 2023Paper presented at WBL 2023