It’s been a very long time since I last updated my website: according to my notes, I last touched it in February 2020 (gee, I wonder why…) and have been very remiss since.

Of course I have also, once again, changed the tools I use to build my website. I’ve used Jekyll for most of the last decade; but, recently, I’ve been enjoying using IkiWiki — indeed, I switched to that after rolling my own engine — and I’ve been especially pleased with the results.

I’ve also shovelled around content, including a bunch of the draft content that used to be in the wiki — some of which has stabilised sufficiently that I’ve moved it from perpetual-draft status. Nearly everything that’s moved should have redirections in place; but if not, do let me know.

In any case, I’ve also been working on all kinds of interesting things which I haven’t properly written up over the last few years in both my teaching role in CSE and in my research role with the Trustworthy Systems group, and I’m planning to make more of an effort in that regard. Stay tuned!