Software engineering
Computer programming
Theoretical computer science
Edsger W. Dijkstra
Predicate transformer semantics
IP
NP
Recursion