Graduate Courses

• ComS 511 - Design and Analysis of Algorithms
• ComS 512 - Formal Methods in Software Engineering
• ComS 531 - Theory of Computation
• ComS 541 - Programming Languages
• Cpr E 556 - Scalable Software Engineering
• ComS 562 - Implementation of Database Systems
• ComS 572 - Artificial Intelligence
• ComS 610 - Seminar on Advanced Topics in Program Analysis
• ComS 610 - Seminar on Advanced Topics in Type Systems
• ComS 610 - Seminar on GPU Computing
• ComS 641 - Semantic Models for Programming Languages

Undergraduate Courses

• ComS 321 - Introduction to Computer Architecture and Machine-Level Programming
• ComS 342 - Principles of Programming Languages
• ComS 362 - Object-Oriented Analysis and Design
• ComS 440 - Principles of Compiling
• Cpr E 305 - Computer Organization and Design