Theory and Design of Programming Languages
Graduate course, King Fahd University of Petroleum and Minerals
Fall 2014, Fall 2015, Fall 2016
Teaching
Principles of Programming Languages
(Under)graduate Course, King Fahd University of Petroleum and Minerals
Fall 2012, Fall 2013
Theory of Computation
Undergraduate Course, King Fahd University of Petroleum and Minerals
Spring 2012
Formal Methods and Models in Software Engineering
Undergraduate Course, King Fahd University of Petroleum and Minerals
Fall 2011
Introduction to Computing I and II
Undergraduate Course, King Fahd University of Petroleum and Minerals
2011 – 2013
Introduction to Computing I and II - Lab
Undergraduate Course, King Fahd University of Petroleum and Minerals
Fall 2002, Spring 2003