AI, automated reasoning, combinatorial algorithms, constraint programming, databases, discrete mathematics, operations research, programming languages, satisfiability and computational logic.
https://link.springer.com/journal/10601