COMP 611
TOPICS IN PROGRAMMING LANGUAGES AND FORMAL METHODS
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.
Prerequisites & course information
Short Title: PROGRAMMING & FORMAL METHODS Department: Computer Science Grade Mode: Satisfactory/Unsatisfactory Course Type: Seminar Credit Hours: 1-3 Restrictions: Enrollment is limited to Graduate level students. Course Level: Graduate
Sources
- Course catalogue ↗2026–2027