This module will train students in the fundamental principles and latest techniques in systems requirements engineering and software architecture. Students will learn how to discover, model, analyse and communicate requirements for software intensive systems and how to design, evaluate and communicate software architecture that meet these requirements. The emphasis will be on developing the students' modelling skills and their ability to communicate requirements and architectures with clarity and precision to business stakeholders and software developers.

Further syllabus information can be found here.

This module will teach the principles and application of software tools and environments. The module will cover the fundamental practices that we would expect from any software professional we would want to hire. The content is based on a wealth of experience of real projects, including the latest thinking on software process. For most students, it will introduce a lot of new material. On completion, students will have good knowledge and understanding of the nature and variety of software tools and environments that are available for achieving software engineering tasks, and be able to select appropriate tools and environments for the task at hand and to apply the tools and environments to achieve the task.

Further syllabus information can be found here.

The module exposes participants to an overview of the financial information sector and interaction with global financial markets, which constitute an important application domain of computer science in the southeast UK as well as main global financial centers. The module facilitates transfer of substantial domain knowledge based on IB Analyst training program the lecturer delivers in major international firms.

Further syllabus information can be found here.

This module will aim to develop students' skills and knowledge to design, implement and integrate large-scale software systems from heterogeneous components and services. Emphasis will be put on fundamental principles and practical issues of system integration projects. Students will also develop essential research skills needed to stay at the leading edge of software development throughout their career.

Further syllabus information can be found here.

The module will train students in the principles and techniques of validating and verifying software systems. The training will be intellectually demanding and will cover not only the state-of-the practice in validation and verification, but also the most significant trends, problems and results in validation and verification research.

Further syllabus information can be found here.

The aim of this module is to provide an viewpoint on the commercial realities of work and practical skills in project management. This is done in two parts: the first is a series of seminars given by those with practical experience of real problems at technical, managerial, financial and ethical levels. Most such speakers are drawn from industry and is intended to stimulate a questioning and inquisitive approach to the field. We expect the material covered to be topical and either informative or presented in such a way as to encourage discussion. Second is to prepare students for effective project work and, by extension and comparison, for effective teamwork in a commercial environment.

Further syllabus information can be found here.

Further syllabus information will be available shortly.

The module will familiarize participants with compliance department processes in risk governance per requirements of regulators, shareholders, management and clients.  Develop understanding of the major role of implementing the dynamic regulatory requirements in financial centers and the interdependence on risk IT, models and computational finance.

Further syllabus information can be found here.

This module will introduce students to the field of modelling and analysing financial markets with emphasis on (i) the wide variety of deterministic and discrete-time methods that are available; and (ii) numerical simulation of the financial markets, including agent-based modeling.

Further syllabus information can be found here.

This module provides an introduction to security concepts and techniques, covering core security principles to engineer systems providing confidentiality, integrity, and availability. Topics are approached from a security engineer perspective, but also from the perspective of someone who aims to bypass security protections. 

Students will learn how to recognise security properties of systems, formulate security policies, and model the threats they may face.

Further syllabus information can be found here.

This modules teaches students to specify usability criteria that a security mechanism has to meet to be workable for end-user groups and work contexts, as well as human-centred approaches to security. It is one of the very few courses on usable security in the world.

Further syllabus information can be found here.

This module provide students with a specialist understanding of the issues and techniques in malware detection and classification as well as the human, social, economic and historical context in which it exists and is deployed.

Further syllabus information can be found here.

The module aims to familiarize students with formal methods for reasoning about transition systems and programs.

Further syllabus information can be found here.

This course introduces various formal methods of reasoning about transition systems. The focus is on modal logic, an extension of classical logic with operators, which serves as a specification language for system properties and their verification.

Further syllabus information is available here.

This module introduces the fundamental concepts, principles and methods in the interdisciplinary academic field of network science, with a particular focus on the Internet, the World Wide Web and online social media networks. Topics covered include graphic structures of networks, mathematical models of networks, the Internet topology, structure of the Web, community structures, epidemic spreading, PageRank, temporal networks and spatial networks.

On successful completion of this module the students will be able to define and calculate basic network graphic metrics, describe structural features of the Internet and the Web, relate graphic properties to network functions and evolution, explore new angles to understand network collective behaviours, design and conduct analysis on large network datasets.

Further syllabus information can be found here.

The aim of this module is to offer a rigorous introduction to the problems that arise when networking computer systems, and algorithms and systems design that solve these problems. The architectural principles and protocols that underlie the internet will be explained in detail. Topics to be taught will include the physical layer, widely used link layers (wired and wireless), MAC protocols, internetworking, intra-domain routing, reliable transport, congestion control, wide-area (policy) routing, naming, network security, the end-to-end principle, and network applications.

Further syllabus information can be found here.

This modules explores, in a case-study fashion, the design and implementation of distributed systems, and computer system security. Among other things, the module provides students with expertise in handling correctness under concurrency by building a simple distributed system as part of coursework.

Further syllabus information can be found here.

This module is the natural follow-up to Computer Security I. It provides an advanced understanding of network and computer security vulnerabilities, as well as countermeasures, in real-world systems. Following a hands-on approach, lectures are complemented with in-lab exercises, teaching students to think about security out of the box.

Further syllabus information can be found here.

This module provides students with specialist knowledge and understanding to solve software related problems associated with the security of software systems. Students discover the relationship between computer program design and security, how various security-related properties of computer programs are formulated and guaranteed, and in-depth knowledge of a variety of contexts in which understanding can be applied.

Further syllabus information can be found here.