DSAIT4300:

Formal Methods for Machine Learning

CSE3300:

Algorithms for NP-Hard Problems

DSAIT4110:

Sequential Decision Making

DSAIT4220:

Research in Intelligent Decision Making