National University of Sciences and Technology

• CS-850, Advanced Theory of Computation (Postgraduate)
• CS-354, Compiler Construction (Undergraduate)
• CS-352, Theory of Automata and Formal Languages (Undergraduate)
• CS-251, Design and Analysis of Algorithms (Undergraduate)