CS 521
CS 521 - FM and ML in Pgm Systems
Fall 2025
| Title | Rubric | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
|---|---|---|---|---|---|---|---|---|---|
| FM and ML in Prgm Systems | CS521 | FMC | 81070 | PKG | 4 | 0930 - 1045 | R | Gagandeep Singh | |
| FM and ML in Prgm Systems | CS521 | FMC | 81070 | PKG | 4 | 0930 - 1045 | T | Gagandeep Singh | |
| FM and ML in Pgm Systems | CS521 | FML | 77187 | LCD | 4 | 0930 - 1045 | T R | 2233 Everitt Laboratory | Gagandeep Singh |
| ML and Compilers | CS521 | LCC | 79800 | PKG | 4 | 1230 - 1345 | R | ARR Illini Center | Sasa Misailovic Charith Mendis |
| ML and Compilers | CS521 | LCC | 79800 | PKG | 4 | 1230 - 1345 | T | Sasa Misailovic Charith Mendis | |
| ML and Compilers | CS521 | LCU | 79799 | LCD | 4 | 1230 - 1345 | T R | 0220 Siebel Center for Comp Sci | Charith Mendis Sasa Misailovic |
See full schedule from Course Explorer
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: 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 or ECE 374; CS 421. Additional prerequisites or corequisites may be specified each term. See section information.