Accepting applications from PhD students.
Pavel Naumov a scholar at the Agents, Interaction, and Complexity research group interested in responsibility and collective decision-making mechanisms. More information about Pavel can be found on his website.
Dr Naumov is always looking for graduate and undergraduate students interested in the area at the intersection of philosophy, AI, logic, and game theory.
Naumov graduated summa cum laude from Lomonosov Moscow State University under supervision of Sergei Artemov with Diploma in Mathematics and concentration in Mathematical Logic. He received a Ph.D. in Computer Science (with a minor in Mathematics) from Cornell University under supervision of Robert Constable and with specialisation in logic and automated theorem proving. Before joining the University of Southampton, Naumov have been teaching at several institutions in the United States.