Sasa Misailovic
For More Information
Research Areas
Recent Courses Taught
- CS 421 - Progrmg Languages & Compilers
- CS 426 - Compiler Construction
- CS 477 (ECE 478) - Formal Software Devel Methods
- CS 491 CSP (CS 491 MCS) - Seminar in Prog Sys & Safe AI
- CS 521 - Adv Topics in Pgm Systems
- CS 521 - ML & Compilers
- CS 526 - Advanced Compiler Construction
- CS 591 ACT - Advanced Compiler Technology
- CS 591 SE - Advanced Seminar
- CS 591 SE - Software Engineering Seminar
- CS 598 SM - Approx & Probabilistic Comp
News Notes
- 5/5/2025
"Software Engineering meets Control Theory," a paper from CS professor Sasa Misailovic and collaborators, received a 10-year most influential paper at the SEAMS 2025 Conference in Ottawa, Canada.