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 TEC

• Portugal
• Research Services
• 400 - 500 Employee

• Researcher

  • Sep 2019 - Aug 2021

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



Oracle

• United States
• IT Services and IT Consulting
• 700 & Above Employee

• Intern

  • Jun 2019 - Sep 2019

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



National Institute of Informatics

• Japan
• Research Services
• 1 - 100 Employee

• Intern

  • Feb 2019 - May 2019

  Bidirectional transformations Bidirectional transformations



INESC TEC

• Portugal
• Research Services
• 400 - 500 Employee

• 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



Universidade do Minho

• Portugal
• Higher Education
• 700 & Above Employee

• 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