Hi, I’m currently doing my mathematics in mathematics at the University of the Witwatersrand (Johannesburg, South Africa). My research focuses on HTM as an interpretable machine learning algorithm and proposes a formal mathematical specification for reasoning about these systems.