Musab A. Alturki.

Assistant Dean of Research
Assistant Professor in Computer Science
KFUPM, Dhahran, Saudi Arabia
Research Interests: Formal methods, programming languages, strong software engineering.

Next: Project Highlights

Project Highlights


An executable, timed formal semantics of Orc in the K framework. The full specification is available here.


A formal specification and verification tool for service compositions based on rewriting logic and Maude. Try it online.


A parallel statistical model checking and quantitative analysis tool. See the tool's site.

Selected Publications

Go here for a complete list of publications.

Recent Teaching & Service

Go here for more details.

Fall 2014, Fall 2015, Fall 2016

ICS 535: Theory and Design of Programming Languages (See the course's web page)

Fall 2013

ICS 535: Theory and Design of Programming Languages
ICS 410: Principles of Programming Languages

Get in touch!

Dr. Musab A. Alturki
King Fahd University of Petroleum and Minerals
P.O. Box 840, Dhahran 31261
Saudi Arabia

Office: +966 3860-7185
Fax: +966 3860-2174

Find me on ...