Examples of current offerings
For 2022-23, our offerings for the MSC in Advanced Computer Science include:
- Advanced Complexity
- Advanced Security
- Bayesian Statistical Probabilistic Programming
- Combinatorial Optimization
- Computational Biology
- Computer Security
- Computational Game
Theory
- Computational Learning Theory
- Computer
Aided Verification
- Concurrent Algorithms and Data Structures
- Data Visualization
- Ethical Computing in Practice
- Database Systems Implementation
- Deep Learning in Healthcare
- Foundations of Self-Programming Agents
- Geometric Deep Learning
- Graph Representation Learning
- Knowledge Representation and Reasoning
- Lambda Calculus and Types
- Law and Computer Science
- Principles of Programming Languages
- Probability and Computing
- Quantum Information
- Quantum Processes
and Computation
- Quantum Software
- Probabilistic Verification
- Probability and Computing
- Requirements
- Topics in Computational Biology
Tentative plans for 2022-23
In 2022-23 we currently plan to add courses in:
- Algorithmic Foundations of Collective Decision Making
- Categories, Proofs, and Processes
- Computational Medicine
- Distributed Processes, Types, and Programming
- Uncertainty in Deep Learning
Further Information and Disclaimers
For any given year, complete information on the courses offered by the
Department
of Computer Science can be found
here
Note that course listings are only confirmed at the beginning
of the academic year. There is no guarantee that a course listed
above will be offered in a future year.