| 1 |
CS340 |
Theory of Computation |
| 2 |
CS640 |
Computational Complexity |
| 3 |
CS641 |
Modern Cryptology |
| 4 |
CS642 |
Circuit Complexity Theory |
| 5 |
CS643 |
Abstract State Machines |
| 6 |
CS644 |
Finite Automata on Infinite Inputs |
| 7 |
CS649 |
Logic in Computer Science |
| 8 |
CS650 |
Topics in Lambda Calculus |
| 9 |
CS655 |
Topics in linear programming |
| 10 |
CS672 |
Complexity measures for Boolean functions |
| 11 |
CS680 |
Category Theory and Applications in Computing |
| 12 |
CS681 |
Computational Algebra and Number Theory |
| 13 |
CS682 |
Quantum Computing |
| 14 |
CS687 |
Algorithmic Information Theory |
| 15 |
CS688 |
Computational Arithmetic-Geometry and Applications |
| 16 |
CS714 |
Secure Computation |
| 17 |
CS740 |
Topics in Logic and Computation |
| 18 |
CS741 |
Structural Complexity |
| 19 |
CS744 |
Pseudo-Random Generators |
| 20 |
CS745 |
Small Space Bounded Computations |
| 21 |
CS746 |
Riemann Hypothesis and Its Applications |
| 22 |
CS747 |
Randomized Methods in Computational Complexity |
| 23 |
CS748 |
Arithmetic Circuit Complexity |
| 24 |
CS749 |
Elliptic Curves and Their Applications |
| 25 |
CS750 |
Programs, Proofs and Types |
