基本信息
浏览量:16
职业迁徙
个人简介
I am a mathematician, cryptographer, formal verification specialist and data scientist. I am passionate about blockchain and the Ethereum ecosystem. During the last few years I have focused on how formal verification can be applied in the blockchain environment. The projects I have been involved with include the formal verification of the Eth2.0 spec using Dafny, the development of techniques to model smart contracts in Dafny and the Dafny-EVM. I am now focused on extending the application of formal methods to the zero knowledge domain and layer 2 products.
研究兴趣
论文共 21 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
FORMAL METHODS, FM 2023 (2023): 571-583
Larissa Batrancea,Anca Nichita,Jerome Olsen,Christoph Kogler,Erich Kirchler,Erik Hoelzl,Avi Weiss,Benno Torgler,Jonas Fooken,Joanne Fuller,Markus Schaffner,Sheheryar Banuri, Medhat Hassanein,Gloria Alarcón-García, Ceyhan Aldemir,Oana Apostol, Diana Bank Weinberg,Ioan Batrancea,Alexis Belianin, Felipe de Jesús Bello Gómez,Marie Briguglio,Valerij Dermol,Elaine Doyle, Rebone Gcabo,Binglin Gong,Sara Ennya,Anthony Essel-Anderson,Jane Frecknall-Hughes,Ali Hasanain,Yoichi Hizen, Odilo Huber,Georgia Kaplanoglou,Janusz Kudła,Jérémy E. Lemoine,Supanika Leurcharusmee,Thorolfur Matthiasson, Sanjeev Mehta, Sejin Min,George Naufal,Mervi Niskanen,Katarina Nordblom,Engin Bağış Öztürk,Luis Pacheco,József Pántya,Vassilis Rapanos,Christine Roland-Lévy,Ana Maria Roux-Cesar,Aidin Salamzadeh,Lucia Savadori,Vidar Schei,Manoj Sharma,Barbara Summers,Komsan Suriya, Quoc Tran,Clara Villegas-Palacio,Martine Visser, Chun Xia,Sunghwan Yi, Sarunas Zukauskas
INSOLVENCY LAW JOURNALno. 4 (2007): 258-260
引用0浏览0引用
0
0
加载更多
作者统计
#Papers: 21
#Citation: 541
H-Index: 13
G-Index: 21
Sociability: 5
Diversity: 0
Activity: 0
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn