Sign up
Sign in
Chair of software systems at Tel Aviv University and CEO of Certora. Making formal verification a standard practice in Software Development.
Welcome to the Official Sanshu Inu Medium! The Community Powered Kawaii Deflationary Crypto π
Help
Status
About
Careers
Blog
Privacy
Terms
Text to speech
Teams