I'm looking for advice on pursuing research in AI that diverges from the mainstream machine learning. The research itself would mostly be around the theoretical level of AI rather than the application level. Topics that I am interested in:

* Exploring *constructive* outcomes of denying the Church-Turing thesis (AI version). Emphasis on constructive, because I am not too interested in the philosophical ponderings, but rather mapping out an alternative direction of building AI.

* Game theoretic formulation of AI.

* Non-classical logics.

I have BSc in Robotics with AI and MSc in Machine Learning. For the past couple of years I have been doing some of the background reading and have a rough sketch of the thesis itself too. However, it is a bit boring doing this alone without a supervisor, and the lack of an academic setting is not very motivating sometimes. The problem however, is how to find that, especially these days? Frankly, the spirit of my research seem to belong to the era of the 70s. Most of the guys from those days are either dead or retired...

Could anyone recommend universities, research groups, or individuals aligned with these topics? Anything that would help me to minimize the scope of the search would be useful.

Thanks!