This page covers PhD students and postdocs that I have supervised.
Over the years, I have also had the honour to initiate and lead the development of the Section of Artificial Intelligence, Cybersecurity, and Programming Languages and the Centre for Formal Methods and Future Computing (see the links for more information).