CS 521 - Adv Topics in Pgm Systems

Fall 2022

TitleRubricSectionCRNTypeHoursTimesDaysLocationInstructor
Adv Topics in Pgm SystemsCS521TPS77187LCD40930 - 1045 M W  1035 Campus Instructional Facility Madhusudan Parthasarathy
Gagandeep Singh

Official Description

Advanced topics in building and verifying software systems, selected from areas of current research such as: model checking and automated verification, testing and automated test generation, program synthesis, runtime verification, machine learning and its applications in the design of verified systems, formal analysis of machine learning algorithms, principles of programming languages and type systems. Course Information: 4 graduate hours. No professional credit. May be repeated if topics vary. Credit is not given towards a degree from multiple offerings of this course if those offerings have significant overlap, as determined by the CS department. Prerequisite: CS 374, CS 421. Additional prerequisites or corequisites may be specified each term. See section information.