基本信息
浏览量:31
职业迁徙
个人简介
Development expertise on macOS & iOS, Linux, AWS, Docker, CUDA specialising in Swift & Haskell
Deep understanding of programming languages, compilers, and development tools
Expertise in smart contract and blockchain technology (Cardano & Ethereum)
Numerous research contributions in functional programming, programming languages, compilers & high-performance computing
Deep understanding of programming languages, compilers, and development tools
Expertise in smart contract and blockchain technology (Cardano & Ethereum)
Numerous research contributions in functional programming, programming languages, compilers & high-performance computing
研究兴趣
论文共 107 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
SCIENCE OF COMPUTER PROGRAMMING (2024): 94-111
Manuel M. T. Chakravarty, Nikos Karayannidis,Aggelos Kiayias,Michael Peyton Jones,Polina Vinogradova
Manuel M. T. Chakravarty,James Chapman,Kenneth MacKenzie,Orestis Melkonian, Jann Müller,Michael Peyton Jones,Polina Vinogradova,Philip Wadler, Mueller Jann
ISoLA (3) (2020): 89-111
引用5浏览0EI引用
5
0
IACR Cryptol. ePrint Arch. (2020): 339-358
Financial Cryptography Workshops (2020): 525-539
ISoLA (3)pp.112-130, (2020)
引用0浏览0引用
0
0
Manuel M. T. Chakravarty,James Chapman,Kenneth MacKenzie,Orestis Melkonian, Jann Müller,Michael Peyton Jones,Polina Vinogradova,Philip Wadler, Joachim Zahnentferner
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IIIpp.112-130, (2020)
引用1浏览0EI引用
1
0
semanticscholar(2019)
引用0浏览0引用
0
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn