DEMYSTIFYING BUSINESS MODELS  FOR NEW ENTREPRENEURS

This course deals with model-based testing, a class of technologies shown to be effective and efficient in assessing the quality and correctness of large software systems. Throughout the course the participants will learn how to design and use model-based testing tools, how to create realistic models and how to use these models to automate the testing process in their organisation.

The purpose is to give the students an overview of issues and methods for development and assurance of safety-critical software, including details of selected technologies, methods and tools. The course includes four modules: Introduction to functional safety; knowledge that give increased understanding of the relationship between Embedded systems / safety-critical system / accidents / complexity / development models (development lifecycle models) / certification / “the safety case”. Analysis and modelling methods; review of analysis and modelling techniques for the development of safety-critical systems. Verification and validation of safety critical software, methods and activities to perform verification and validation. Architectures for safety critical systems. Safety as a design constraint.  

In this course, you will be made aware of the state-of-the-art in cybersecurity research and state of practice in industry. Cybersecurity vulnerabilities are a threat to progress in the business sector and society. This is an accelerating threat due to the current rapid digitalisation, which in manufacturing is termed Industry 4.0. Companies are aware of this threat and realise the need to invest in countermeasures, but development is hampered by lack of competence.  

The aim of the course is to introduce the participants into methods and tools for verifying systems that need to react to external stimuli. The methods use system models with precise formal semantics and will span model-checking as well as deductive verification. A set of simple examples as well as real-world applications will be used throughout the course to illustrate the methods and their tool support. The objective of the course is to understand the underpinning theories of formal verification, and learn how to apply tool support in order to verify system models.

The aim of this course is that students will learn about the analysis, design, and programming of deep learning algorithms. The course is part of the programme MAISTR (hh.se/maistr) where participants can take the entire programme or individual courses. The course is for professionals and is held online in English. Application is open as long as there is a possibility of admission. The courses qualify for credits and are free of charge for participants who are citizens of any EU or EEA country, or Switzerland, or are permanent residents in Sweden. More information can be found at antagning.se. About the course Applied Deep Learning with PyTorch, 5 credits Who is this course for?This course provides the theoretical and practical aspects of deep neural networks. It is intended for students with a background in computer science and engineering. What will you learn from this course?Students will learn about the analysis, design, and programming of deep learning algorithms. The course has two modules: theory and practice. The theoretical content covers basic principles of multi-layer perceptions, spatio-temporal feature extraction with convolutional neural networks (CNNs), and recurrent neural networks (RNNs), classification and regression of big data, and generating novel data samples using generative models. The practical sessions cover the basics of programming with PyTorch. For instance, image classification and semantic segmentation using CNNs, future image frame prediction with RNNs, and image generation with generative adversarial networks. What is the format for this course?Instruction type: Teaching is in English and fully online. It consists of lectures, computer exercises, and project work. In the computer exercises, the student solves small problems using deep learning models. After programming various exercises, the participants will develop an advanced deep learning project. Participants will be encouraged to bring their own data. High-end GPU machines can be provided for the exercises and project.

The course is part of the programme MAISTR (hh.se/maistr) where participants can take the entire programme or individual courses. The course is for professionals and is held online in English. Application is open as long as there is a possibility of admission. The courses qualify for credits and are free of charge for participants who are citizens of any EU or EEA country, or Switzerland, or are permanent residents in Sweden. More information can be found at antagning.se. About the course Critical design and practical ethics for AI, 3 credits Who is this course for? Artificial Intelligence (AI) is being increasingly implemented and used in society today. It has already proven to have an impact on the individual, organization and society, and this impact will most likely only increase. Therefore, it is important to understand the ethical issues that may arise from use of AI, as well as to adopt a critical stance to the technology’s impact. The course introduces critical and ethical issues surrounding data and society, to train the student to problematize and reason about artificial intelligence (AI). You are most likely a designer, innovator, or product manager that works with digital services and products. What will you learn from this course? The course deals with different perspectives on AI and its real and potential effect on organizations and society. The course is based on five different perspectives on AI: accountability, surveillance capitalism, power and bias, sustainability, and trust. The course material consists of recent and relevant literature on the impact of, and critical perspectives on AI. Active discussions founded in different ethical perspectives are also an important part of the course. What is the format of this course? This course is primarily self-paced, with a few synchronous meetings. Most activities are based on the student’s having consumed specified material beforehand, such as video lectures, podcasts, articles, and books. Active discussions, both in online forums and during synchronous meetings, are an important part of the course.