Artificial intelligence.
In particular, the mathematical foundations of knowledge representation, automated reasoning, reasoning about actions and change, and answer set programming, and their applications in various domains, including bioinformatics, logistics, robotics, and economics.