The course covers the fundamental concepts of computer programming with a focus on systematic algorithmic problem solving. Taught language is C++. No programming experience is required..

The course covers the fundamental concepts of computer programming with a focus on systematic algorithmic problem solving. Taught language is C++. No programming experience is required.

The course covers the fundamental concepts of computer programming with a focus on systematic algorithmic problem solving. Taught language is C++. No programming experience is required.

The course covers the fundamental concepts of computer programming with a focus on systematic algorithmic problem solving. Taught language is C++. No programming experience is required.

The course covers the basic concepts of computer programming.

Introduction to programming with a focus on systematic and algorithmic problem solving. Programming language is C++.

The courses covers the foundations of design and analysis of algorithms and data structures, including graph theory and graph problems. It also introduces generic and parallel programming.

This course provides an introduction to modelling, i.e. the representation of real-world entities and systems in computer programs. Basic modelling techniques will be introduced and illustrated, and students will apply these techniques in small projects, by modelling parts of systems such as a lift or a railway network.

This course provides an introduction to parallel and concurrent programming, using C++. Basic challenges and concepts will be introduced and illustrated, and applied by students in small projects.

Introduction to the concepts of of object-oriented programming. Imparting fundamental skills needed for the development of high-quality programs.

Introduction to parallel programming: deterministic and non-deterministic programs, models for parallel computation, synchronization, communication, and fairness.

The course provides an elementary introduction to programming with C++. Prior programming experience is not required.

A hands-on introduction to the theory and construction of deductive program verifiers, covering both powerful techniques for formal program reasoning, and a perspective over the tool stack making up modern verification tools.

The course provides an overview of techniques to build correct software, with a strong focus on testing and program analysis.

This course introduces both theoretical and practical aspects of software engineering, all of which are applied in a substantial team project.

This course introduces both theoretical and applied aspects of software engineering. It covers:- Software Architecture- Informal and formal Modeling- Design Patterns- Software Engineering Principles- Code Refactoring- Program Testing

This course provides a comprehensive overview of the software development process, introducing participants to essential techniques for facilitating the delivery of high-quality software products. The knowledge and practical experience gained will help managers to improve communication with software development teams, ultimately leading to higher success rates.

The course is an introduction to research in software engineering, based on reading and presenting high quality research papers in the field. The instructor may choose a variety of topics or one topic that is explored through several papers.