Description Welcome to this course about privacy. We are thrilled to see that you are interested and will provide you with a comprehensive study of this intriguiging subject. We hope this course will enthuse you to look further into privacy and personal data regulation. Especially in the light of recent events it becomes more important…
Description System Validation is the field that studies the fundamentals of system communication and information processing. It is the next logical step in computer science and improving software development in general. It allows automated analysis based on behavioural models of a system to see if a system works correctly. We want to guarantee that the…
Description In this course you will learn how to apply satisfiability (SAT/SMT) tools to solve a wide range of problems. Several basic examples are given to get the flavor of the applications: fitting rectangles to be applied for printing posters, scheduling problems, solving puzzles, and program correctness. Also underlying theory is presented: resolution as a…
Description This course is intended for the Bachelor and Master’s students, who like practical programming and making IoTs applications! In this course we will talk about two components of a cyber physical system, namely hardware and operating systems. After completing this course, you will have the knowledge of both hardware components and operating systems. You…
Description This Innovation and Entrepreneurship course focuses on the interconnection between entrepreneurial thinking and innovation. Specifically, we look at models used in Silicon Valley to grow both start-up companies as well as innovation inside large organizations. Bringing together top Haas School of Business, UC Berkeley faculty, this course addresses critical areas for successful growth, including…
Description This course is about what you can do when everything around you seems to be moving due to digital change. It is about how to handle the disruptive process that tends to unfold in industry nowadays due to digitalisation. The way to handle this is what is here referred to as “Digital Transformation” and…
Description Have you ever experienced software systems failing? Websites crash, calendar not synchronising, or even a power blackout. Of course you have! But did you know that many of these errors are the result of communication errors either within a system or between systems? Depending on the system, the impact of software failures can be…
Description This course is intended for the Master’s student and computer engineer who likes practical programming and problem solving! After completing this course, you will have the knowledge to plan and set-up a real-time system both on paper and in practice. The course centers around the problem of achieving timing correctness in embedded systems, which…
Description The goal of this course is to understand the foundations of Big Data and the data that is being generated in the health domain and how the use of technology would help to integrate and exploit all those data to extract meaningful information that can be later used in different sectors of the health…
Description Operations on data become more expensive when the data item is located higher in the memory hierarchy. An operation on data in CPU registers is roughly a million times faster than an operation on a data item that is located in external memory that needs to be fetched first. These data fetches are also…