معرفی
Cristian Lepore is a Tutor in the Computing Science department at the University of Stirling. His research focuses on Blockchain Technology, Smart Contracts, and Formal Verification, with a particular interest in modeling cryptocurrency systems like Algorand.
Current trends in his work emphasize the application of formal methods to ensure the security and reliability of decentralized financial systems. This aligns with broader themes in distributed computing and programming language design for blockchain environments.
۰مقاله منتشرشده
Cristian Lepore در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- EEske Hoy NielsenInria · پژوهشگر
Sidi Mohamed BeillahiNational and Kapodistrian University of Athens · مدرس
Ron Van der MeydenUniversity of New South Wales · استاد
Alceste ScalasTechnical University of Denmark · دانشیار- HHan LiuUniversity of California , Santa Barbara (UCSB) · استاد
- MMarco EilersETH Zurich · مدرس