Musab A. Alturki, PhD

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