Trust is essential in today’s digital world. With a focus on building secure, reliable, and ethically responsible computing systems, this subject area covers topics such as cybersecurity, formal verification, privacy, and system reliability.

Spanning foundational topics like automata and game theory, specification logics, and the decidability and compexity of their decision problems through applied questions like efficient algorithms and data structures for verification, argumentation, and reasoning to tool develop, we cover all aspects of validating correctness, reasoning about systems, and establishing trust.