7 ms·
KTH has a course called Language based security ( https://www.kth.se/student/kurser/kurs/DD2525?l=en https://www.kth.se/student/kurser/kurs/DD2525?l=en ) which
by the-alt-one 5y ago
KTH has a course called Language based security ( https://www.kth.se/student/kurser/kurs/DD2525?l=en https://www.kth.se/student/kurser/kurs/DD2525?l=en ) which indeed does come from people involved in formal methods.
Formal methods is a huge area though, but in essence it's about establishing proofs of correctness.