https://jorgenavas.github.io/ [email protected]
Certora USA Working on static analysis at Certora
Jorge Navas