Mehdi Bouaziz

Registered user since Mon 20 Jun 2016

Name:Mehdi Bouaziz
Country:France
Affiliation:Nomadic Labs Paris
Personal website:http://mehdi.bouaziz.org
Research interests:Static analysis, Abstract interpretation, Security, Programming Languages

Contributions

SOAP 2022 Abstract interpretation of Michelson smart-contracts
Show activities from other conferences

PLDI 2022-profile
View general profile