Michael Morami Email & Phone Number

• Writing formal specifications for DeFi protocols and consulting on smart contracts' security.
• Securing DeFi protocols for some of the top actors in the space including Aave, Balancer, Compound, OpenZeppelin and more.
• Securing protocols with combined TVL worth billions of dollars on multiple chains.
• Created a full practical course for beginners on the company's main product. The github repository was forked 142 times and starred 167 times. (more on that in projects section)
• Led Certora's first bootcamp which awarded over 100k$ in scholarships and led to recruitment of several employees.

Tel Aviv, Israel

• Research Assistant for Dr. Amit Sitt in Programmable Matter,speciallizing in Smart Polymers (SRPs)
• Produced cross-linked polymer networks using dry-spinning method.
• Developed a LabView program that automated and scaled up production.
• Researchd new methods to enhance product's quality and yield.
• Designed a mechanical device to solve a failure point in product’s handling (more on that in projects section).
• Used advanced laboratory equipment.

• Led 2 squads of 10 soldiers each.
• Built and taught professional lessons.
• Planned and instructed custom training sessions.