Current Courses 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