Teaching

Courses.

National University of Sciences and Technology

CS-850 — Advanced Theory of Computation

CS-354 — Compiler Construction

CS-352 — Theory of Automata and Formal Languages

CS-251 — Design and Analysis of Algorithms