Skip to main content

Our courses

Our courses enable you to pull the latest research into your work or into your business as quickly as possible. We are also happy to offer specialised and customised courses. If you would like to know more about the possibilities for company-specific courses in the field of mathematics and computer science, please call Luís. Choose your preferred category and see courses that match your interests:

Data Visualization

Visualization is an important tool for experts in different fields (e.g., social sciences, bioinformatics, digital humanities, sports) to get an overview of data distributions and insights into prevailing data patterns in an understandable, intuitive and visual form. This course introduces the principles behind visualization, as well as the most common visualization techniques.

Data processing and data analysis

Read more
DevSecOps

The course will present the DevSecOps methodology used to develop secure software at pace. We will explore the culture and the technical innovations and tools that allow going automatically from the code to software running in production without human intervention.

Cybersecurity

Read more
Introduction to Cloud Computing

Cloud Computing is a software paradigm where online computational resources can be flexibly acquired as needed. This course introduces the basic principles of Cloud Computing including major design and architectural decisions posed by this paradigm. The course focuses on general principles and best practices, and it is vendor-agnostic.

Cloud Computing

Read more
Introduction to Cybersecurity

We introduce DevSecOps, a combination of cultural philosophies, practices, and tools that is getting traction in the software development industry. DevSecOps allows for delivering safer applications and services at high velocity, as well as for evolving and improving products at a faster pace than organizations using traditional software development and infrastructure management processes.

Cybersecurity

Read more
Introduction to Machine Learning

This course provides basic skills to understand and implement simple machine learning algorithms. The course introduces the most fundamental concepts of machine learning, with a focus on supervised cases where observations are accompanied by a target result. The course provides both an overview of main theoretical properties of established algorithms and examples of their implementation with state-of-the-art technologies.

Data processing and data analysis

Read more
Introduction to Microservices

Microservices is one of the hottest buzzwords in software architecture right now. Microservices are small independent components that collaborate by exchanging messages, in order to form a coherent and distributed software application. They can be used to improve software design and tap into the advantages of distributed systems, ranging from cloud and edge computing to web applications. This course introduces the fundamental concepts of microservices and the key aspects of developing microservice-based software. A simple system is developed during the course in order to exemplify best practices.

Cloud Computing

Read more
Mathematical Optimisation

Many real-world decision-making processes involving finding an optimal action can be formulated mathematically as optimization problems, and thus solved to optimality with existing software (e.g., CPLEX, Gurobi, Google OR-Tools, etc.). The course provides an introduction to these mathematical models and how to use them in practical decision-making problems. The course also discusses how collected data can be used not only to describe and predict current and future processes, but also to change them so that managed to optimise resource use and achieve desired outcomes.

Data processing and data analysis

Read more
Security by Design using Formal Methods

Security by Design is a software development approach that integrates security tactics and patterns from the beginning of software design to build security into the system from the ground up. Formal methods for software specification and verification are a host of mathematical techniques and tools that can support the design and development of secure systems following the security by design approach. This course provides a high-level introduction to security by design using formal methods, including case studies and experience reports from industry. The fundamentals of this approach are illustrated using industry-level tools for formal software specification like TLA+ and its toolbox for model-checking and machine-checked proofs.

Cybersecurity

Read more