I arrived in Leuven, Belgium (with my wife and two cats) on the first day of 2019.
I’ll been working in the VeriLearn project, that is, Verifying Learning in Artificial Intelligence.
I’m in Luc De Raedt’s group, which is part of the DTAI group in the Computer Science department.