We are the Computational Systems Group at the University of Salzburg, Austria. We work on the problem of how to engineer systems software rigorously and how to apply that knowledge to teach computer science in ways that may eventually make computer science more accessible to more people.
We teach basic principles of computer science on bachelor and masters level covering all relevant levels of computer systems and their connection, from the lowest levels of machine architecture via programming languages, compilers, and virtual machines which includes algorithms, data structures, complexity, and computability, to the highest levels of cloud computing.
In our classes, we use Selfie, an educational system of a self-compiling C compiler, a self-executing RISC-V emulator, and a self-hosting RISC-V hypervisor that comes with source code, slides, and an autograder.
Our goal is to enable you understand and answer fundamental and intrinsically self-referential questions such as:
Understanding how the meaning of a formalism such as a programming language or machine code is constructed and how that knowledge can be used to automate virtually anything is fundamental to understanding what computers can do and at what cost, and also what they cannot do, no matter what.
Your core interest may not be in computer science but other exciting fields such artifical intelligence or cyber security, or even in traditional engineering, life sciences, economics, or social sciences. No matter the field, understanding the basic principles of computer science will help you advance in your field since everyone uses computers in one form or another every day!
Professionals: you do not plan to become a software engineer or computer scientist but you still would like to understand the machine that you are working with every day, at least in your professional life, to an extent that enables you to use computers efficiently and effectively and, most importantly, with joy!
Software engineers: you would like to develop software professionally and are interested in more than just learning how to code. In particular, you are looking for a background in computer science that is going to serve as foundation for understanding not just the state of the art in software engineering now but also any future development technology whatever it may be.
Computer scientists: you plan to become a computer scientist, or are already one, and would like to either gain a solid understanding or revisit your understanding of the absolute basics of computer science. Even if your focus area is not covered by this book, the material presented here may still have a profound effect on how you see and approach your own field.
All classes are held online and open to anyone: