DK: Specialiseringskursus i semantik og verifikation
Short name: spSV
- Secretary: Vinzent Dahl
- Secretary: Williwaw Leth
- Secretary: Simohamed Mølgaard
- Teacher: Nalan Bach
- Teacher: Kirke Dahl
- Teacher: Vilmar Dahl
- Teacher: Miccas Enevoldsen
- Teacher: Nigmet Iversen
- Teacher: Riaan Kjærgård
- Teacher: Ju Kofoed
- Teacher: Annafia Lassen
- Teacher: Saffath Leth
- Teacher: Eckhard Søndergård
Semester: E24