Michael Morami

Security Engineer at Certora

Michael Morami has been working in the field of security engineering since 2021, when they began working for Certora. Michael is responsible for writing formal specifications for DeFi protocols and consulting on smart contracts' security. Michael has secured DeFi protocols for some of the top actors in the space, including Compound, Balancer, and OpenZeppelin, with a total value locked (TVL) of billions of dollars on Ethereum mainnet. Prior to this, they were a private tutor from 2017 to 2021. In 2020, they were a research assistant for Dr. Amit Sitt in Programmable Matter, specializing in Smart Polymers (SRPs). Michael produced cross-linked polymer networks using dry-spinning method, and developed a LabView program that semi-automated and scaled up production. From 2011 to 2017, they were a Commander and Recon Instructor in the Israel Defense Forces, where they led two squads of 10 soldiers each, built and taught professional lessons, and planned and instructed custom training sessions.

Michael Morami graduated with a Bachelor of Science in Physics and Chemistry from Tel Aviv University in 2020. Michael also holds certifications from MIT OpenCourseWare in Introduction to Computational Thinking and Data Science and Introduction to Computer Science and Programming in Python.

Location

Israel

Links

Previous companies


Org chart

This person is not in the org chart


Teams


Offices


Certora

Certora provides unique technology for guaranteeing code correctness and security


Headquarters

Tel Aviv, Israel

Employees

51-200

Links