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.