Core  
Students must do all of following:
Course Code
Title
Credits
CS61U
Operating Systems
4
CS63Q
Computer Networks
4
CS61Q
Database Systems
4
CS62Z
Software Engineering
4
CS63S
Artificial Intelligence
4
 
Electives
Students must do three of the following:
CS64S
Topics in Artificial Intelligence
4
CS62S
4
CS63Z
Format Methods in Software Design
4
CS61V
Parallel Computing
4
CS61R
Cryptography & Digital Security
4
 
Project
Every student must do an individual project. This is normally done as the very last course after a student has passed all other examinations.
CS68O
Research Project
8

Course Descriptions
CORE COURSES
 
CS61U
Operating System
Here we investigate concurrency models and their implementation using Java constructs.    
     
CS63Q
Computer Networks   
Here we apply O/S principles to the design and implementation of the LINUX Operating System.    
     
COMP6720 (CS61Q)
Advanced Database Systems
Here we explore some of the areas of current research in Database Management Systems and apply techniques that have been recently developed for storage, retrieval and analysis of large quantities of data
       
COMP6730 (CS61R)
Cryptography
This course is intended to explore modern cryptographic algortihms, and the crytographic techniques that may be used to protect stored data or data in communication systems.  
       
ELECTIVES
 
COMP6110 (CS62Z)
 Advanced Software Engineering
This course covers modern topics in Software Engineering. The topics selectedwill vary from year to year and will depend on the interests of the lecturer. The topics covered in the past have included modelling with UML, software architectures, design and architectural patterns, software reusability ,and software testing.    
       
Advanced Artificial Intelligence  
 
This course looks at advanced AI techniques that can be applied to the solution of various kinds o f problems.    
       
COMP6220 (CS62S)
Expert Systems  
Here we apply AI techniques to the problem of acquisition and representation of expert knowledge for problem solving in the expert's domain.    
       
Formal Methods of Software Design  
This course applies mathematical models to the specification of safety critical systems (i.e. systems that cannot be allowed to fail).    
       
INDIVIDUAL PROJECT
 
Research Project
Here students typically spend a semester (full-time) developing their main project of the course.