After several hours of battling, I've managed to get my Pi to connect to my university's network. This has always needed Raspbian's default wifi tools to be swapped out for Network Manager, however with the 2020-02-06 image previous install recipes didn't work for me. After a certain amount of trial-and-error what ended up working for me was actually simpler than the hoops through which I've previously had to jump.
I've written up what I did as a gist, in case it's useful for anyone else: https://gist.github.com/jjsanderson/ab2 ... 81b14a537a.
(also includes an alternative approach ℅ Alasdair Allan, editing wpa_supplicant.conf directly).