Musab A. Alturki

Musab A. Alturki is a Senior Research Engineer working on the formal specification and verification of blockchain and distributed systems. In 2017-2018, he was a Visiting Research Scholar at the University of Pennsylvania working on formal modeling and analysis of cyber-physical systems security. Before that, he received his PhD degree in Computer Science from the University of Illinois at Urbana-Champaign (UIUC) in 2011. His research interests are in the applications of formal methods to distributed systems. He is a recipient of the prestigious King Abdullah Scholar Award for scientific excellence in 2008, and also holds an Assistant Professor position (currently on leave) in Computer Science at King Fahd University of Petroleum and Minerals (KFUPM), Dhahran, Saudi Arabia.