Demonstrations:

• vim
• category theory
• uml

Reports:

• (B.Comp. Final Year Project) Towards Bug-Free Distributed Go Programs
  • literature review (Section 2.1 surveys key historical developments in verifying programs)
  • dissertation
  • dissertation slides
• Ivy (slides, speaker notes.pdf, speaker notes.txt)
• propositions as sessions notes
• concurrent VM slides
• CSP slides
• parallel programming report
• ecce paper
• ecce slides
• oxford essay
• Design and Implementation of BBAUV 3.5

Social:

• linktree
• github
• gitea
• stackexchange
• projecteuler
• linkedin