Theoretical computer science. Applications of logic in computer science (e.g. artificial intelligence, software engineering, nonmonotonic reasoning, theories of argumentation).