Pavel Naumov is a logician at Agents, Interaction, and Complexity research group. He is interested in formal definitions and logical systems for reasoning about moral and legal responsibility, blameworthiness, de re/de dicto distinction, beliefs, knowledge, trust, strategies, and preferences in multiagent systems. More information about Pavel can be found on his website.
Current PhD Students
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.