I am visiting Amartya Sanyal’s group at the Datalogisk Institute at UCPH for the next 3 months, as part of my ELLIS exchange.