Course Catalog - 2020-2021

     

COMP 611 - PROGRAMMING & FORMAL METHODS

Long Title: TOPICS IN PROGRAMMING LANGUAGES AND FORMAL METHODS
Department: Computer Science
Grade Mode: Satisfactory/Unsatisfactory
Course Type: Seminar
Credit Hours: 1 TO 3
Restrictions:
Must be enrolled in one of the following Level(s):
Graduate
Description: This course will cover a selection of topics from the areas of programming languages and formal methods. all students will read classical and recent papers on the selected topics and give presentations on them. A student may elect to perform a semester-long project on a topics related to the content of the course and write a short report on their findings. Repeatable for Credit.