Name: Alejandro Hernández Cerezo
Type: User
Company: Complutense University of Madrid
Bio: PhD in CS at Complutense University of Madrid.
Working with @costa-group on tools for analysis and optimization of Ethereum smart contracts
Twitter: nickprah
Location: Madrid, Spain
Alejandro Hernández Cerezo's Projects
A framework for high-level Analysis of Ethereum Bytecode
A WebAssembly interpreter written in pure Python
Implementation of different strategies for SAT-Solvers using Maude 3.0
Specification and verification of an algorithm to check equivalence for Stack Functional Specifications (SFS)
A Dash aplication based on María Dolores Martínez Rodríguez Master Thesis: "Paisajes en zonas de tránsito. Orografía emocional de la vivienda".
The Z3 Theorem Prover