Autumn Term

Optional

• 312 Advanced Databases
• 424 Machine Learning and Neural Computation
• 475 Advanced Topics in Software Engineering
• 480 Automated Reasoning