Mario M. Alvarez

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.