Specialisation Software Science - general introduction
Software is everywhere. Our daily life is governed by software: it supports our medical devices, our social life, the financial markets, our food production, and our transportation. Software will continue to transform all aspects of our lives and culture in the decades ahead. Producing software is not merely a technological enterprise but a deeply scientific one as well. Modern cars drive on 20 million lines of code. How do we develop all this software and control its complexity? How do we ensure correctness of software on which our lives depends? Writing good software is a highly creative process, which requires the ability to approach problems in entirely novel ways through computational thinking. The Internet, UNIX, Google, Facebook, Twitter, Bluetooth, and TomTom are examples of computer programs, created initially by only a few people, which have transformed our world. Software science is an intellectually challenging subject that underpins the core technologies of the 21st century.
The Master specialisation Software Science brings you to the forefront of academic research on software, and prepares you to play a leading role in building the society of tomorrow. This specialisation builds on the strong international reputation of the Institute for Computing and Information Sciences (iCIS) in three closely related areas: software technology, computer-aided analysis, and theory of computation. You will follow courses in each of these areas. Depending on your interests, you can then specialize in one area, or study the fascinating links between the areas.
Coordinator of the master specialisation Software Science is prof. Frits Vaandrager.