Experience

Runtime Verification Inc
• United States
• Software Development
• 1 - 100 Employee
• Formal Verification Engineer

  • Jan 2022 - Present

Universidade do Minho
• Portugal
• Higher Education
• 700 & Above Employee
• Invited Assistant

  • Sep 2019 - Present


INESC Technology and Science - Associate Laboratory

• Researcher

  • Sep 2019 - Aug 2021

  Formal Verification : Proving liveness using Agda Formal Verification : Proving liveness using Agda



Oracle

• United States
• Warehousing
• 1 - 100 Employee

• Intern

  • Jun 2019 - Sep 2019

  Formal Verification in distributed systems consensus protocols Formal Verification in distributed systems consensus protocols



National Institute of Informatics

• Research
• 1 - 100 Employee

• Intern

  • Feb 2019 - May 2019

  Bidirectional transformations Bidirectional transformations

• Researcher

  • Nov 2018 - Feb 2019

  Run-time verification in Embedded Systems Run-time verification in Embedded Systems



Checkmarx

• United States
• Computer and Network Security
• 700 & Above Employee

• Engenheiro de software

  • Oct 2017 - Oct 2018

  - Research of code vulnerabilities in different languages - Static code analysis to detect vulnerabilities in software - Research of code vulnerabilities in different languages - Static code analysis to detect vulnerabilities in software

• Undergraduate Student Researcher

  • Apr 2017 - Jun 2017

  Alloy notation and toolset to model the semantics of a simple imperative language with rely/guarantee (R/G) assertions Alloy notation and toolset to model the semantics of a simple imperative language with rely/guarantee (R/G) assertions