Formal Reasoning about Financial Systems | Workshop at Gates 403, Stanford Computer Science
Description: Homepage of John Toman, Expert
Blog Side Projects I am currently the VP Research & Development at Certora, Inc. . In this capacity, I have found multiple bugs in the Solidity compiler’s output, which you can read all about on medium . This is my personal/academic homepage; if you want to reach out about smart contracts or the blockchain: don’t.
I was formerly a post-doctoral researcher at Kyoto University in the lab of Prof. Atsushi Igarashi . I graduated with a PhD in March 2019 from the Computer Science and Engineering department at the University of Washington.
I worked in the PLSE group and I was advised by Dan Grossman . I’ve also collaborated with Emina Torlak .
Formal Reasoning about Financial Systems | Workshop at Gates 403, Stanford Computer Science