Mario Alvarez
About Mario Alvarez
Mario Alvarez is a researcher specializing in the development of formally verified smart contracts. He has been involved in blockchain infrastructure research since 2017 and is currently pursuing a PhD in Computer Science at UC San Diego.
Work at ConsenSys Mesh
Mario Alvarez has been employed at ConsenSys Mesh as a Researcher since 2017. In this role, he focuses on the development of formally verified smart contracts. His work contributes to the advancement of blockchain technology and infrastructure, aligning with the company's mission to build decentralized applications and services.
Education and Expertise
Mario Alvarez has an extensive educational background in Computer Science. He achieved his Doctor of Philosophy (PhD) at the University of California, San Diego in 2014. He also completed a Master of Science (MS) in Computer Science at UC San Diego, studying from 2014 to 2018. Prior to this, he earned a Bachelor of Arts (BA) in Computer Science from Princeton University, where he studied from 2010 to 2014.
Background
Mario Alvarez began his academic journey in Computer Science at Princeton University, where he completed his undergraduate studies. Following this, he pursued advanced degrees at UC San Diego, culminating in a PhD. His professional experience includes an internship at 10gen, the company behind MongoDB, in 2013, where he gained practical insights into the tech industry.
Research Focus
Since 2017, Mario Alvarez has been involved in research related to blockchain infrastructure. His specialization in the development of formally verified smart contracts positions him as a knowledgeable contributor to the field. His ongoing research efforts at UC San Diego complement his work at ConsenSys Mesh, furthering the understanding and application of blockchain technology.