Formal Languages,
Automated Proofs,
Logic Programming and Uniform Proofs,
Sequent Calculi,
Proof Theory,
Categorical Logic and Categorical Semantics of Computations,
Connectionism and Neuro-Symbolic Integration,
Learning Techniques in Neural Networks.