- Group Theory
- Number Theory
- Coding Theory
- Information Theory
- Algebra & Linear Algebra
- Pi Calculus
- Similarities & Equivalence Relations (Bisimulation)
- Fair Resource Allocation Algorithms
- Formal Verification
- ISABELLE/HOL applications
- Software delivery verification