Leiden University, Leiden Institute of Advanced Computer Science (LIACS)