Samwise Parkinson is a dedicated software engineer with a focus on software security and testing. They have contributed significantly to various research projects at Cornell University, including the development of a compiler and verification framework for the programming language P4. Samwise has held multiple teaching roles, assisting in courses such as Functional Programming and Data Structures and Network Programming Languages. Currently, they serve as a Senior Engineer at Antithesis, and they previously worked at Certora as a Software Engineer contributing to the Certora Verification Tool. Samwise holds both a Bachelor of Arts and a Master of Science in Computer Science from Cornell University.
This person is not in any teams
This person is not in any offices