Alessandra Russo is a professor in Applied Computational Logic at the Department of Computing, Imperial College London.