Experience

Runtime Verification Inc

• United States
• Software Development
• 1 - 100 Employee

• Formal Verification Engineer

  • Dec 2021 - Present

  Runtime Verification Inc. is a startup company that uses formal verification-based techniques to perform security audits on virtual machines and smart contracts on public blockchains. It is dedicated to improving the safety, reliability, and correctness of software systems in the blockchain field. Runtime Verification Inc. is a startup company that uses formal verification-based techniques to perform security audits on virtual machines and smart contracts on public blockchains. It is dedicated to improving the safety, reliability, and correctness of software systems in the blockchain field.



Universitat de Barcelona

• Spain
• Research Services
• 700 & Above Employee

• Research Assistant

  • Jan 2019 - Dec 2021

  The main project of Formal Vindications S.L. ---bringing formal verification to the road transport regulation sector--- got funded by the EU and my affiliation changed to the University of Barcelona. I develop formally verified software, which consists of the following: - Create abstract mathematical models which serve as formal specifications. - Develop usable and efficient software, intended to fulfill our formal specifications. - Formally verify (prove) ---using the Coq proof assistant--- that our software meets our specifications. Show less



Formal Vindications S.L.

• Barcelona Area, Spain

• Software Developer

  • Oct 2018 - Dec 2018

  The main project of this company consists of bringing formal verification to the road transport regulation sector. I worked in the team that develops formally verified software using the Coq proof assistant. The main project of this company consists of bringing formal verification to the road transport regulation sector. I worked in the team that develops formally verified software using the Coq proof assistant.