Skip to main content

Graduate Course Listing by Term

Fall 2021:

CAS 701  Logic and Discrete Mathematics  -  William Farmer
CAS 702  Data Structures and Algorithms  -  George Karakostas
CAS 706  Programming Languages  -  Jacques Carette
CAS 722  Computing Patterns In Strings  -  Neerja Mhaskar
CAS 757  Development of Scientific Computing Software  -  Vincent Maccio
CAS 758  Advanced Compiler Design and Optimization   -  Franya Franek
CAS 760  Logic for Practical Use  -  William Farmer
CAS 764  Advanced Topics in Data Management  -  Fei Chiang
CAS 775  Foundations Unsupervised Learn  -  Hassan Ashtiani
CAS 781  Advanced Topics – Mobility in Aging (Part 1)  -  Rong Zheng

Winter 2022

CAS 703  Software Design  -  Richard Paige
CAS 704  Embed Real-Time Soft Systems  -  Ryan Leduc
CAS 707  Formal Specification Techniques  -  Wolfram Kahl
CAS 708  Scientific Computation  -  Ned Nedialkov
CAS 738  Algebraic Methods in Software Engineering and Computer Science  -  Ridha Khedri
CAS 746  Advanced Topics in Computational Optimization  -  Antoine Deza
CAS 766  Concurrent Programming  -  Emil Sekerinski
CAS 771  Introduction to Big Data Systems and Applications  -  Wenbo He
CAS 781-C01  Advanced Topics – Mobility in Aging (Part 2)  -  Rong Zheng
CAS 781-C02  Advanced Topics – Large Scale Graph Mining  -  Lingyang Chu