Professor of Artificial Intelligence Expert in Mathematical and Theoretical Computer Science Foundations of Artificial Intelligence