EDIC - Computer and Communication Sciences

CS-628 Interactive Theorem Proving CS

CS-629 Constructive Computer Architecture

COM-621 Advanced Topics in Information Theory

COM-622 Topics in information-theoretic cryptography

CS-625 Transfer learning and meta-learning

CS-626 Evolution of Storage Systems

CS-702 Topics in machine learning for education

This seminar course covers the interdisciplinary field of machine learning for education. By reading, reviewing, and presenting research papers from recent venues, students will become familiar with core issues and techniques in the field.