FO
Finite model theory
Software engineering
Email
Doctor of Philosophy
ALGOL 68
Computing
Programming language theory
Procedural programming languages