Mostly computer algorithms, bioinformatics, MML and programming.
- Algorithms and Data Structures
Using algorithms and machine learning (AI) to solve biological problems.
- Functional Programming
and the lambda calculus and PFL / λ–CCS.
Both propositional logic and predicate logic, and Prolog.
- Minimum Message Length (MML)
A Bayesian method of carrying out Artificial Intelligence (AI) / Inductive Inference (II) / Machine Learning (ML) / Statistical Inference.
- Programming Languages
Interesting, weird or historical computer programming languages.
Denotational Semantics, a way of defining the semantics (meaning) of computer programming languages and of computer programs written in them.