Theoretical Computing: Rewrite Systems; Church-Turing Thesis; Theorem Proving; Analog Algorithms; Computational Logic
Artificial Intelligence: Automated Reasoning; Program Synthesis; Natural Language Processing
Programming Languages: Logic-based; Equational
Software Engineering: Program Verification; Calendar Algorithms
Computational Humanities: Analysis of Historical Manuscripts; Computational Archeology
