I left the FAI group in 2022. These pages are no longer maintained. You can find me now at Linköping University in the Machine Reasoning Lab.
