logic and foundation theory, software security and verification, and software security