Cristian Sestito, visiting PhD student 2021-2022, University of Calabria, Italy, compression of CNNs for FPGAs.
Fraser Garrow, Heriot-Watt University, evolutionary algorithmic optimisation of neural networks, 2020-present, with Michael Lones.
Kirsty Duncan, Heriot-Watt University, verification of neural networks, 2017-present, with Katya Komendantskaya.
Blair Archibald, University of Glasgow, C++ algorithmic skeletons for scalable parallel tree search, 2015-2018, with Phil Trinder and Patrick Maier. thesis