Co-Founder & Board Member

Tiago Barbosa

Tiago holds an MSc in Computer Science and, throughout his academic career, has majored in Programming Languages, Algorithms, and Intelligent Systems. Having joined the space in 2017, Tiago's experience in the Web3 industry includes working at Runtime Verification with MakerDAO on formal verification of the Maker's codebase using state-of-the-art methodologies and tools, which were also the subject of his master's thesis.