Current Courses

CS 460 – Automated Debugging

CS 560 – Automated Debugging 

CS 300 – Data Structures 

ENS 491 – Graduation Project (Design)

ENS 492 – Graduation Project (Implementation)

CS 590 – Master Thesis

SEC 590 – Master Thesis

CS 790 – Ph.D.Dissertation