Undergraduate Courses Taught
¨ ICS 101 Introduction to Computer Programming (851,852,861,862,963)
¨ ICS 201 Introduction to Computer Science (862)
¨ ICS 242 Introduction to Mathematical Logic (921)
¨ ICS 352 Programming Languages (921,922)
¨ ICS 313 Fundamentals of Programming Languages (991,052)
¨ ICS 331 Systems Software (922,931,981)
¨ ICS 334 Database Systems (941,972,001,011)
Graduate Courses Taught
¨ ICS 584 Introduction to Automatic Theorem Proving (941)
Senior Projects Supervised (ICS 411)
I coordinated more than 55 senior projects during the semester 012,021,022,031,032,041.
See the Projects List.
I supervised more than 45 Coop students during the semester 012,013, 022,023
See the Detailed List.
Member in the Committee for Mr. Shahid Ali Thesis titled “Scheduling and Allocation of High-Level synthesis Using Genetic Algorithm”, for his MS in Computer Science in June 1994. (Available at KFUPM Library: Call No. A1 .A662)
Advisor for Mr. Amir Hashmi Thesis titled “Timing Driven Routing for Standard Cell Design”, for his MS in Computer Science in June 1995. (Available at KFUPM Library: Call No. A1.H3726)
Advisor for Mr. Mohammad Farook Thesis titled “Component Selection and Pipelining Using Stochastic Evolution”, for his MS in Computer Science in June 1996. (Available at KFUPM Library: Call No. A1.F3722)