About
Pavel Naumov is a logician at Agents, Interaction, and Complexity research group. He has a Diploma in Mathematics from Moscow State University and PhD in Computer Science from Cornell University. Before Southampton, he taught at several institutions in the United States. Naumov is interested in formal definitions and logical systems for reasoning about moral and legal responsibility, blameworthiness, ethical dilemmas, beliefs, emotions, knowledge, strategies, and preferences in multiagent systems.
Publications
Supervision
Current PhD Students
Biography
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.