Fall 2014, Fall 2015 and Fall 2016

ICS 535: Theory and Design of Programming Languages
Principles of functional, imperative, object-oriented and logic programming languages. Semantic specification including axiomatic, operational and denotational semantics. Fundamentals of type systems such as abstract data types, polymorphism, and inference. Concurrent systems. Case studies of contemporary programming languages.

See the course's web page

Fall 2013

ICS 535: Theory and Design of Programming Languages
(see above)

ICS 410: Principles of Programming Languages
Programming Paradigms: Object-oriented, imperative, functional, and logic. Application development in these paradigms. Fundamentals of Language Design: Syntax and Semantics. Language implementation: virtual machines; compilation, interpretation, and hybrid.

Also taught...

ICS 410: Principles of Programming Languages (Fall 2012)
ICS 355: Theory of Computation (Spring 2012)
ICS 201: Introduction to Computing II (Spring 2013)
ICS 102: Introduction to Computing I (Fall 2012, Spring 2012, Fall 2011)
SWE 321: Formal Methods and Models in Software Engineering (Fall 2011)


Professional Activities

PC Member, FTSCS 2015, November 6 and 7, 2015, Paris, France
PC Member, FTSCS 2014, November 6 and 7, 2014, Luxembourg PC Member, SIMULTECH 2013, July 29-31, 2013 Reykjavik, Iceland
PC Member, FTSCS 2012, November 12, 2012, Kyoto, Japan
PC Member, SIMULTECH 2012, July 28-31, 2012 Rome, Italy
Reviewer for Science of Computer Programming (SCP), the Journal of Computer Security (JCS), AMAST 2008, among several others.

Selected Talks

An Introduction to Rewriting Logic and Maude with Examples, UPenn, Philadelphia, PA, USA, June 2016
Rewriting-based Formal Modeling and Analysis of Timed Distributed Services, CMU, Qatar, October 2011
Rewriting Semantics and Formal Analysis of Orc Programs, UT Austin, Austin, TX, USA, March 2009

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
Web: musabalturki.net

Find me on ...