Musab A. Alturki, PhD
Projects
Publications
Talks
Teaching
Blog
CV

Musab A. Alturki, PhD

Senior Research Engineer @ Runtime Verification Inc. working on formal modeling and verification of blockchain and distributed systems

Urbana, IL, USA
Email
Twitter
LinkedIn
Github
Google Scholar
DBLP
ORCID

Towards a Verified Model of the Algorand Consensus Protocol in Coq

Date: October 11, 2019

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

© 2021 Musab A. Alturki. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.