Formal methods5 credits
Today's software systems are commonly buggy, untrustworthy and insecure. Formal methods is an area of research that uses methods with solid mathematical foundations to model, construct and check if a software/hardware system is safe and/or secure. This course discusses common methods for checking safety and security of software systems. In this course, students will use programming languages with internal verifiers and tools to develop secure and safe software programs. They can also check the correctness of simple systems, such as protocols, using advanced techniques to ensure that the design is correct and reliable.
Växjö – the student city with a living campus
Just south of Växjö’s city centre you will find Linnaeus University’s campus. In Växjö, many students choose to live on campus.
Here you will have five minutes’ walking distance to friends, restaurants, lecture rooms, gym, grocery store, the University Library, nature trails, and student pubs. If you live in another part of Växjö, you can quickly get to the university by bus or bicycle.
With its 90 000 inhabitants, Växjö is one of the fastest growing cities in Sweden. Here you will find the famous Småland entrepreneurship spirit and a lot of companies, for instance within the IT industry – perfect for when you are looking for an internship position or a job. Växjö is also a picturesque city where you are always close to forests and water.
Build your own degree
Did you know that you can combine single-subject courses to build your own degree? In this way, you can design your own degree based on your interests and the career you are aiming for. This does not apply to all courses so make sure to check with a study counsellor at the faculty. Learn more about how you can build your own degree and become unique on the labour market.