Professor in Computer Science / Artificial Intelligence / SAT / Constraints / Logic / Knowledge Representation / Video Games (AI).

Deleted X account. Slowly moving here.