I am a 4-th Year Undergraduate in Computer Science and Mathematics. I am interested in particular in the following topics: Algorithms, Artificial Intelligence and its applications to Combinatorial Optimisation, SAT Solving and Automated Theorem Proving (Reasoning). I mostly prefer the GOFAI approach (Good Old Fashion A.I).
I am proficient in building applications, with experience in building theoretical and application-based research software.
I teach secondary school E.Maths, A.Maths and JC/IP Mathematics (and Further Mathematics).