CSE Theory Requirement

Computer Science Theory Elective

Students must take one theory elective from the following options:

CS: 4330 Theory of Computation
CS: 4350 Logic of Computer Science
CS: 4720 Optimization Techniques
CS: 5340 Limits of Computation
CS: 5360 Randomized Algorithms
CS: 5370 Computational Geometry
CS: 5430 Machine Learning
CS: 5620 Distribution Systems and Algorithms
CS: 5810/ ECE: 5810 Formal Methods in Software Engineering
ECE: 5330 Graph Algorithms
ECE: 5450 Machine Learning (formally called Pattern Recognition)
ECE: 5520 Information Theory and Coding
ECE: 5995 – when offered as Cryptography ONLY
CS: 5860 Programming Language Foundations
CS: 5870 Lambda Calculus and Applications