[the-alt-one]

KTH has a course called Language based security ( 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.