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

Theory and Design of Programming Languages

Graduate course, King Fahd University of Petroleum and Minerals, 2014

Fall 2014, Fall 2015, Fall 2016

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

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