Courses and continuing education

Why us?
Our courses
Our participants
Contact

University of Southern Denmark, SDU

Get recharged with new knowledge

Why us?
Our courses
Our participants
Contact

Find what you're looking for

Find person
Find your way to SDU

Students

itslearning
Access to your courses
mySDU
For students at SDU
SDUmail - Webmail service
Outlook Web Mail
SDU Student Self-Service
Course registration, exams and results
Library
See your status, reservations and renew loans
DigitalExam
Login to DigitalExam

Employees

itslearning
SDU's e-learn platform
SDUNet.dk
SDU's intranet
DigitalExam
Login to DigitalExam

Find

Find person
Search for contact information on employees
Directory
Finding your way at the University of Southern Denmark

Start page

Login
Reset default page
Set as default page

Dansk

SDU About SDU Departments and centres Department of Mathematics and Computer Science Courses and continuing education Our courses Cybersecurity Security by Design using Formal Methods

Price
Location
Share

SDU About SDU Departments and centres Department of Mathematics and Computer Science Courses and continuing education Our courses Cybersecurity Security by Design using Formal Methods

Security by Design using Formal Methods

Who:
Duration:
Where:

Driven by an ambition to promote those talents and research achievements that develop society

The university was inaugurated in 1966. Thus, SDU was founded in a time of unrest and upheaval that impacted art, culture, the labour market, norms and institutions – and the view on institutions of higher education. The political view was, that the universities to a greater extend had to contribute to the development of the welfare state by: “Promoting the training demanded by the times.” Since its foundation, SDU has been driven by an ambition to promote those talents and research achievements that develop society, adapt to contemporary demands and challenge the norms. The example hereof is SDU’s exceptional quota 2 admission called test-based admission. The robot cluster on Funen, the largest in the North, shows how sustainable achievements become when the business community and research collaborate to find solutions. The cross-disciplinary cooperation is a significant value at SDU. The challenges of the future within climate, welfare and health are complex and unpredictable. We need more than one field of study, one method or one approach to solve them. Accordingly, several of our strategic research projects are cross-disciplinary, and students will encounter subjects that have contributions from several faculties.