Note: Some of the graphical elements of this site are only visible to browsers that support accepted web standards. The content of this site is, however, accessible to any browser or Internet device.
Foundational modules
Distributed Systems - principles and concepts for design of distributed systems, the programming and system support.Networks and Distributed Systems - networks overview and applications, security threat analysis.
Advances in Databases - design, concurrency control and query evaluation for distributed databases.
Concurrent Programming - concurrency concepts, design, analysis, implementation of concurrent programs in Java.
Object Oriented Programming and Design - large program development with OO paradigm, software re-use.
Software Engineering - requirements engineering- design, tools and techniques, software architecture and design.
Advanced Computer Architecture - advanced techniques in single- and multi-processor computer architecture.
Advances in Artificial Intelligence - exploring the concepts, methodologies and potential applications in business of AI.
Logic and Declarative Programming - declarative languages Prolog an Haskell, good for problem solving and rapid prototyping.
Information and Decision Support Systems - decision analysis under risk, data-mining, decision support.
Multimedia Systems - application and delivery of multimedia, digital video, interactive services via local storage and networks.
Operations Research - basic course for quantitative methods in decision making.
The Practice of Logic Programming - efficient, structured Prolog programs, Constraint Logic Programming for scheduling.
Robotics - reactive model of robot behaviour, control by software of robot locomotion and behaviour.
Computer Systems - organisation and operation of a desktop computer system. high-level language programs.
Additionally
- Computational Logic
- Graphics
- Simulation and Modelling
Advanced modules
Knowledge Management Techniques - analysis of basic concepts of data mining and knowledge discovery.
Network Security - coverage of principles and practice of cryptography and network security.
Parallel Algorithms - implementation and investigation of static and dynamic algorithms on parallel and distributed architectures.
Performance Analysis - use of stochastic models to analyse quantitative behaviour of computer and communication systems.
Software Engineering Environments - tools and techniques for large-scale systems development, requirements capture and maintenance.
Advanced Operations Research - advanced techniques and models of decision making in industry and finance.
Computer Vision - extraction of information from raster images, medical diagnosis, image interpretation and robotics.
Custom Computing - techniques and tools to develop computers customised for applications, video processing.
Models of Concurrent Computation - examines various formalisms for specifying and verifying concurrent systems.
Multi-Agent Systems - design and programming of intelligent, mobile agents for applications of distributed AI.
Additionally:
- Automated Reasoning
- Complexity
- Computing for Optimal Decisions
- Modal and Temporal Logic
- Program Analysis