I am a Ph.D Candidate in Computer Science, working at the University of California, San Diego. I began the Ph.D program there in the Fall of 2014. My thesis advisor is Ranjit Jhala. Since 2017 I have worked for ConsenSys as a formal verification researcher.
My research interests cluster around software verification: that is, using mathematical and logical tools to improve the quality of essential software. Primarily I work on using interactive theorem provers such has Isabelle and Coq to prove important properties about real-world systems.
I am driven by a belief that as software becomes a more and more central part of our world, we need to upgrade the tools we use to ensure our software is going to behave correctly. From medical devices to blockchains to smart infrastructure, software has the potential to greatly improve our lives – but only if we can get it right.
Sign up now to get your own personalized crypto world!Sign up
<iframe src="https://embed.block123.com/embed/s/839096464498.htm" style="border: none;" width="490" height="164" frameborder="0" scrolling="no" allowfullscreen></iframe>
- The Nemesis Change the world of gaming, social and entertainment.
- Marco Di Maggio Professor at Harvard Business.
- Jelly Cross-Chain Atomic Swap Protocol.
- Nicholas Platias Head of Research at Terra.
- Anchor Protocol Creating the reference interest rate across the universe of blockchains.
- Yorke E. Rhodes III Co-Founder of Blockchain at Microsoft.
- Justin J. Moses CTO at Synthetix.
- Smart Contract Virtual Summit Connect, share and showcase.
- Token MultiSender Send thousands of transfers in a few transactions.
- Michael McCaffrey CEO at The Block.