Core modules
Your first year lays the foundation for a deeper knowledge of Computer Science through the study of advanced mathematics, computer architecture and programming.
Your second year will then build on this knowledge to explore areas such as operating systems and computer networks, database systems and software engineering.
In your third year you will undertake an individual project, where you will apply your knowledge to an area of your choice under the supervision of world-leading academics. Throughout the course you can select from a range of optional modules, including those in areas such as artificial intelligence, computer graphics and computer security.
If you follow the MEng course you will stay on for a fourth year to study more advanced material. You will also participate in a group project, which will integrate taught material as well as helping you to improve your research and development skills in a team environment.
Year One
Programming for Computer Scientists
This module aims to help you develop your programming skills, regardless of your starting skill level. You will develop problem solving skills through the lens of procedural and object-oriented programming. Using the Java programming language, you will engage with practical work that shall enable you to learn concepts such as classes, encapsulations, arrays, inheritance and advanced topics such as multi-threading and reflection. By engaging with the Warwick Robot Maze environment, you can expect to gain skills in errors analysis and debugging that will help you produce well-designed and well-tested code.
Read more about the Programming for Computer Scientists moduleLink opens in a new window, including the methods of teaching and assessment (content applies to 2023/24 year of study).
Design of Information Structures
Following on from Programming for Computer Scientists, on the fundamentals of programming, this module will teach you all about data structures and how to program them. We will look at how we can represent data structures efficiently and how we can apply formal reasoning to them. You will also study algorithms that use data structures. Successful completion will see you able to understand the structures and concepts underpinning object-oriented programming, and able to write programs that operate on large data sets.
Read more about the Design of Information Structures moduleLink opens in a new window, including the methods of teaching and assessment (content applies to 2023/24 year of study).
Mathematics for Computer Scientists I
A sound knowledge of mathematical reasoning is an essential skill for computer scientists. In this module you will be provided with sufficient professional knowledge that will enable you to understand terminology, and the role of formal definitions and mathematical functions in problem-solving. You will become familiar with common mathematical operations, propositional and predicate logic (Boolean operators, truth values and various laws of logic), elementary set theory and graph theory, relations, and the axiomatic method. You will also practice common proof techniques, laying the foundation for your ability to reason rigorously about the correctness of computational and algorithmic techniques.
Read more about the Mathematics for Computer Scientists I moduleLink opens in a new window, including the methods of teaching and assessment (content applies to 2023/24 year of study).
Mathematics for Computer Scientists II
In this module, you will gain sufficient mathematical knowledge to understand common mathematical operations and functions in computer science. By the end of the module, you will be expected to be able to carry out mathematical proofs, analyse vector spaces and use linear equations, and to perform operations of the differential and integral calculus with confidence and precision. Specific topics you will cover include linear and matrix algebra, sequences and series, calculus, and number theory.
Read more about the Mathematics for Computer Scientists II moduleLink opens in a new window, including the methods of teaching and assessment (content applies to 2023/24 year of study).
Computer Organisation and Architecture
You will gain a fundamental understanding of the functional components of a computer system, and how they are organised. You will focus on hardware and how it performs during the execution of software operations. You will also develop practical skills in the use and construction of computer components, and their interface with microprocessors. By the end of the module, you will be expected to understand the operation and organisation of electronic logic elements, the architecture of simple microprocessors, input/output mechanisms, memory systems and hierarchies, and digital circuits and their interface with microprocessors.
Read more about the Computer Organisation and Architecture moduleLink opens in a new window, including the methods of teaching and assessment (content applies to 2023/24 year of study).
Professional Skills
In your first term, you will gain a basic understanding of operating systems, together with a working knowledge of the computing systems and their associated tools and applications that will be used within the Department of Computer Science. With these foundations in place, you will then develop your communication skills, both in writing and orally, with due attention paid to appropriate academic and technical language. You will complete the course studying ethics and behaviour, looking at the place of computers in society and the legal aspects of computing.
Read more about the Professional Skills moduleLink opens in a new window, including the methods of teaching and assessment (content applies to 2023/24 year of study).
Year Two
Operating Systems and Computer Networks
In this module, you will spend equal time studying the fundamental concepts of modern-day operating systems and computer networks respectively. With a practical bent, this will mean analysing the generic requirements, structure, operation and administration of a modern operating system. Whilst analysing, designing and writing programs in the light of network requirements and protocols; such as system interfaces, concurrency, deadlock detection and recovery, and security threats. Turning to networks, you will learn the relevant factors relating to LANs and WANs and wireless networks, client-server systems, routing algorithms, socket programming, and network management relating to performance, security and monitoring.
Read more about the Operating Systems and Computer Networks moduleLink opens in a new window, including the methods of teaching and assessment (content applies to 2023/24 year of study).
Database Systems
During this module, you will learn how relational database theory can be used to efficiently organise and retrieve large amounts of data. This includes a study of different relational query languages and practical experience of the SQL language that is widely used in industry. Successful completion will see you equipped to create appropriate, efficient database designs for a range of applications and to translate informal queries into formal notation. You will have learned to identify appropriate data constraints to ensure the integrity of the database and to mitigate various common security threats.
Read more about the Database Systems moduleLink opens in a new window, including the methods of teaching and assessment (content applies to 2023/24 year of study).
Formal Languages
You will gain a fundamental understanding of formal languages and how the Chomsky hierarchy classifies them. You’ll study techniques for exploring the regularity of languages using closure properties and pumping lemmas, whilst also considering automata models, alongside the notion of computability. These concepts are central to computer science, and completion will see you able to specify between, and translate, various forms of formal language descriptions. You’ll learn methods of lexical analysis and parsing, and be able to argue whether a formal language is regular or context free. The teachings will discuss Turing machines and philosophical concepts such as decidability, reducibility and the halting problem.
Read more about the Formal Languages moduleLink opens in a new window, including the methods of teaching and assessment (content applies to 2023/24 year of study).
Algorithms
Data structures and algorithms are fundamental to programming and to understanding computation. In this module, you will be using sophisticated tools to apply algorithmic techniques to computational problems. By the close of the course, you’ll have studied a variety of data structures and will be using them for the design and implementation of algorithms, including testing and proofing, and analysing their efficiency. This is a practical course, so expect to be working on real-life problems using elementary graph, greedy, and divide-and-conquer algorithms, as well as gaining knowledge on dynamic programming and network flows.
Read more about the Algorithms moduleLink opens in a new window, including the methods of teaching and assessment (content applies to 2023/24 year of study).
Software Engineering
Centred on teamwork, you will concentrate on applying software engineering principles to develop a significant software system with your peers from feasibility studies through modelling, design, implementation, evaluation, maintenance and evolution. You’ll focus on design quality, human–computer interaction, technical evaluation, teamwork and project management. With a deeper appreciation of the stages of the software life-cycle, you’ll gain skills to design object-oriented software using formal modelling and notation. You will be taught the principles of graphical user interface and user-centred design, and be able to evaluate projects in the light of factors ranging from technical accomplishment and project management, to communication and successful teamwork.
Read more about the Software Engineering moduleLink opens in a new window, including the methods of teaching and assessment (content applies to 2023/24 year of study).
Logic and Verification
The theory and practice relating to the reliability of systems forms a vital part of computer science. So, from this module, you’ll develop your understanding of mathematical logic, and learn to apply it when specifying and verifying computing systems. Studying algorithms and proof calculi for verification, as well as associated techniques, such as propositional and predicate logic. You will be able to comprehend and construct proofs, understand and compare the semantics of a variety of logics, and understand basic algorithms, along with formal tools for verification.
Read more about the Logic and Verification moduleLink opens in a new window, including the methods of teaching and assessment (content applies to 2023/24 year of study).
Year Three
Project Management for Computer Scientists
In this module, you will gain the knowledge required to manage technical projects, using well-established project management techniques. You will have practical opportunities to apply methods such as defining measurable objectives, identifying and engaging stakeholders, scheduling, budgeting, resource allocation, risk assessment and mitigation, and post-project evaluation and monitoring. By the end of the module, you can expect to appreciate the benefits of effective project management, understand the risks and budgetary and resource constraints. Also, you will have the ability to evaluate a project against the measurable success criteria you have devised yourself.
Read more about the Project Management for Computer Scientists moduleLink opens in a new window, including the methods of teaching and assessment (content applies to 2023/24 year of study).
Individual Project
In this project-based module you will gain experience in designing, developing and implementing a significant project, under supervision. From submission of the outline and detailed specification, you will produce regular progress reports throughout, before presenting your final results. This is an excellent opportunity to develop important employability skills, including independent learning, self-discipline, organisation and time management.
Read more about the Individual Project moduleLink opens in a new window, including the methods of teaching and assessment (content applies to 2023/24 year of study).
Year Four
Group Project
This module offers you involvement in a team project, such as might be expected of you in a working environment, with experience in managing teamwork, problem-solving skills and individual initiative. You will devise a project in response to the needs of a ‘customer’, normally an industrial partner, and will be closely involved in the specification and running of the project. The project themes offer you scope for interdisciplinary and collaborative activities, and require a mature knowledge of computer science and its applications. On successful completion of your group project, you will have had valuable experience of teamwork, improved interpersonal and communication skills, awareness of the various issues arising from the work required to complete a significant project, and improved skills of written communication through the co-authoring of a substantial report.
Read more about the Group Project moduleLink opens in a new window, including the methods of teaching and assessment (content applies to 2023/24 year of study).
Optional modules
Optional modules can vary from year to year. Example optional modules may include:
- Artificial Intelligence
- Computer Security
- Cyber Security
- Functional Programming
- Mathematical Programming I
- Web Development Technologies
Explore our full range of modulesLink opens in a new window
