Areas of interest:

  • testing, testability, faults, failure modes, etc
  • functional, imperative, paradigms in general
  • maths and algorithms