Lucas Martinelli Tabajara
Formal Verification Engineer at Runtime Verification Inc- Claim this Profile
Click to upgrade to our gold package
for the full feature experience.
-
English Full professional proficiency
-
Portuguese Native or bilingual proficiency
-
German Limited working proficiency
Topline Score
Bio
Experience
-
Runtime Verification Inc
-
United States
-
Software Development
-
1 - 100 Employee
-
Formal Verification Engineer
-
Oct 2021 - Present
-
-
-
Amazon Web Services (AWS)
-
United States
-
IT Services and IT Consulting
-
700 & Above Employee
-
Summer Intern
-
Jun 2019 - Aug 2019
- Verified memory safety of part of the AWS Encryption SDK for C using CBMC (C Bounded Model Checker). - Created an abstract model of part of the OpenSSL cryptographic library and used this model to verify correct use of OpenSSL functions by the AWS Encryption SDK. - Verified memory safety of part of the AWS Encryption SDK for C using CBMC (C Bounded Model Checker). - Created an abstract model of part of the OpenSSL cryptographic library and used this model to verify correct use of OpenSSL functions by the AWS Encryption SDK.
-
-
-
Nokia Bell Labs
-
Telecommunications
-
700 & Above Employee
-
Summer Intern
-
Jun 2018 - Aug 2018
Designed a novel framework for verifying the preservation of security properties under compiler optimizations. Designed a novel framework for verifying the preservation of security properties under compiler optimizations.
-
-
Education
-
2015 - 2021
Rice University
Doctor of Philosophy - PhD, Computer Science -
2015 - 2018
Rice University
Master of Science - MS, Computer Science -
2010 - 2015
Federal University of Rio Grande do Sul
Bachelor of Science - BS, Computer Science
Community
