Electrical Engineering & Computer Science
- Formal methods in Artificial Intelligence (Automated Reasoning, Knowledge Representation);
- Symbolic Logic in Computer Science;
- History of Computing; History of Logic;
- Computational Logic and Knowledge Representation: methodology of automated reasoning and theorem proving systems, computer science and applied logics;
- Logic Programming.