Here you can find a list of my teaching courses - if you would like private tuition for any of these courses/concepts contact me here.
Programming Languages
With over a decade experience coding in various programming languages, I can provide both beginner and advanced courses in the following languages/packages: Isabelle, C#, Java, HTML/CSS, JavaScript, Ruby, Haskell, Assembly Coding, Visual Basic, BIL, Python, SAGE(Python Extension), SQL
Pure Maths and Logic
As an avid mathematician, I can provide tutoring from GCSE up to undergraduate level Mathematics, with the later levels focusing on pure maths and Algebra.
Isabelle/HOL
With 5 years experience with Isabelle (specialising in verification) I can provide beginner courses on basic formalisation projects
Piano with sheet music
With nearly two decades of experience, I am a classically trained pianist, where I largely enjoy playing Chopin, along with contempary and jazz pieces. I can provide beginner lessons for those interested in starting piano, either with or without incorporating sheet music.