I am looking for doctoral, master’s, and undergraduate students interested in topics related to philosophy, artificial intelligence, logic, game theory, and theoretical computer science.

As of 2024, the University of Southampton has several funding mechanisms to support PhD studies of local (residents of Austria, Belgium, Bulgaria, Croatia, the Republic of Cyprus, the Czech Republic, Denmark, Estonia, Finland, France, Germany, Greece, Hungary, Ireland, Italy, Latvia, Lithuania, Luxembourg, Malta, Netherlands, Poland, Portugal, Romania, Slovakia, Slovenia, Spain and Sweden, Albania, Armenia, Bosnia, Faroe Islands, Georgia, Iceland, Israel, Kosovo, Moldova, Montenegro, Northern Macedonia, New Zealand, Norway, Serbia, Tunisia, Turkey, Ukraine, and United Kingdom) and international students. The University also participates in the China Scholarship Council doctoral funding scheme.

I regularly supervise Southampton MSc student’s dissertations with a focus on theoretical aspects of artificial intelligence and computer science. Some of these dissertations led to publishable results.

I am also interested in working (in-person or remotely) with mathematically strong undergraduate students interested in my research area.

sanaz.png

Sanaz Azimipour

S. Azimipour, P. Naumov, If You’re Happy, Then You Know It: The Logic of Happiness … and Sadness, Logic and Logical Philosophy (to appear)

S. Azimipour, P. Naumov, Axiomatic Theory of Betweenness, Archive for Mathematical Logic, July 2020

S. Azimipour, P. Naumov, Lighthouse Principle for Diffusion in Social Networks, Journal of Applied Logics - IFCoLog Journal of Logics and their Applications, v 5. No. 1, 2018

lia.png

Lia Bozzone

L. Bozzone, P. Naumov, Budget-Constrained Coalition Strategies with Discounting, Journal of Logic and Computation, (to appear)

L. Bozzone, P. Naumov, Budget-Constrained Coalition Strategies with Discounting, 30th International Joint Conference on Artificial Intelligence (IJCAI 21), August 21-26, 2021

current position: graduate student at University of Pennsylvania

Rui Cao

R. Cao, P. Naumov, Knowing the Price of Success, Artificial Intelligence, Volume 284, July 2020, 103287

R. Cao, P. Naumov, Budget-Constrained Dynamics in Multiagent Systems, 26th International Joint Conference on Artificial Intelligence (IJCAI-17), Melbourne, Australia, August 19-25, 2017

current position: PhD student at University of British Columbia

Xiulin Cui

X. Cui, P. Naumov, Responsibility in Infinite Games, Notre Dame Journal of Formal Logic, 2024 (to appear)

kaya.png

Kaya Deuser

K. Deuser, J. Jiang, P. Naumov, W. Zhang, A Dynamic Logic of Data-Informed Knowledge, Journal of Philosophical Logic, volume 53, pages 521–557, (2024)

K. Deuser, P. Naumov, Strategic Knowledge Acquisition, ACM Transactions on Computational Logic, Volume 22, Issue 3, pp 1-18, July 2021

K. Deuser, P. Naumov, On Composition of Bounded-Recall Plans, Artificial Intelligence, Volume 289, December 2020, 103399

K. Deuser, P. Naumov, Navigability with Bounded Recall (extended abstract), 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 18),

K. Deuser, P. Naumov, Navigability with Intermediate Constraints, Journal of Logic and Computation, Volume 28, Issue 7, 23 October 2018, Pages 1647–1670

K. Deuser, P. Naumov, Armstrong's Axioms and Navigation Strategies, 32nd AAAI Conference on Artificial Intelligence (AAAI-18), New Orleans, Lousiana, USA,  February 2-7, 2018

Michael Donders

M. Donders, S. Miner More, P. Naumov, Information Flow on Directed Acyclic Graphs, in Lev D. Beklemishev, Ruy de Queiroz (Eds.): Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 2011. Proceedings. LNCS 6642 Springer 2011, pp. 95-109

sofia.png

Sophia Epstein

S. Epstein, P. Naumov, and J. Tao, An Egocentric Logic of De Dicto and De Re Knowing Who, Journal of Logic and Computation (to appear)

S. Epstein, P. Naumov, Epistemic Logic of Know-Who, 35th AAAI Conference on Artificial Intelligence (AAAI 21), February 2-9, 2021

current position: PhD student at the University of Texas at Austin

Kristine Harjes

K. Harjes, P. Naumov, Functional Dependence in Strategic Games, Notre Dame Journal of Formal Logic, Volume 57, Number 3 (2016), 341-353 

K. Harjes, P. Naumov, Cellular Games, Nash Equilibria, and Fibonacci Numbers, Proceedings of 4th International Workshop on Logic, Rationality, and Interaction, Hangzhou, China, October 9-12, 2013, pp. 149-161

K. Harjes, P. Naumov, Functional Dependence in Strategic Games, Proceedings of the First Workshop on Strategic Reasoning (SR `13), Rome, Italy, March 2013

current position: investment officer at Rockridge Venture Law

IMG_0282.png

Zachary Heckle

Z. Heckle, P. Naumov, Common Knowledge Semantics of Armstrong’s Axioms,  Proceedings of 21st Workshop on Logic, Language, Information and Computation (WoLLIC 14), September 2014, Valparaiso, Chile, pp 181-194, Springer 2014. 

current position: adjunct lecturer at McDaniel College

Sarah Holbrook

Sarah Holbrook

S. Holbrook, P. Naumov, Fault Tolerance in Belief Formation Networks, 13th European Conference on Logics in Artificial Intelligence, September 26-28, 2012, Toulouse, France pp. 267-280

current position: consultant at Booz Allen Hamilton

Jeffrey Kane

Jeffrey Kane

J. Kane, P. Naumov, The Ryoan-ji Axiom for Common Knowledge on Hypergraphs, Synthese, Volume 191, Issue 14, pp 3407-3426, 2014. 

J. Kane, P. Naumov, Symmetries and Epistemic Reasoning, Proceedings of 14th International Workshop on Computational Logic in Multi-Agent Systems, Coruña, Spain, September 16-18, 2013 pp. 190-205

J. Kane, P. Naumov, Symmetry in Information Flow, Annals of Pure and Applied Logic, 165(1), pp. 253-265, 2014

J. Kane, P. Naumov, Epistemic Logic for Communication Chains, Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK `13), Chennai, India, January 2013

current position: Mathematics teacher at Carroll Lutheran School

Robert Kelvey

Robert Kelvey

R. Kelvey, S. Miner More, Pavel Naumov, and B. Sapp, Independence and Functional Dependence Relations on Secrets, 12th International Conference on the Principles of Knowledge Representation and Reasoning, (KR '10), Toronto, Canada, May 2010, pp. 528-533 

current position: visiting faculty at the College of  Wooster

colby.png

Colby Morisson

C. Morrison, P. Naumov, Group Conformity in Social Networks, Journal of Logic, Language and Information, 29(1), 3-19 (2020)

current position: production engineer at Facebook

Brittany Nicholls

Brittany Nicholls

P. Naumov and B. Nicholls, On Interchangeability of Nash Equilibria in Multi-Player Strategic Games, Synthese, v. 190, Issue 1 Supplement, pp 57-78, 2013

P. Naumov, B. Nicholls,  Rationally Functional Dependence, Journal of Philosophical Logic, Volume 43, Issue 2 (2014), Page 603-616  

P. Naumov, B. Nicholls, R.E. Axiomatization of Conditional Independence, Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK `13), Chennai, India, January 2013

P. Naumov, B. Nicholls, Rationally Functional Dependence, 10th Conference on Logic and the Foundations of Game and Decision Theory, June 18-20, 2012, University of Sevilla, Spain

P. Naumov, B. Nicholls, Game Semantics for the Geiger-Paz-Pearl Axioms of Independence, Proceedings of the Third International Workshop on Logic, Rationality and Interaction (LORI III), Guangzhou (Canton), China, October 2011, LNAI 6953, pp. 220-232, Springer 2011

S. Miner More, P. Naumov, B. Nicholls, A. Yang, A Ternary Knowledge Relation on Secrets, in Krzysztof R. Apt (Ed.): Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), Groningen, The Netherlands, July 2011. ACM 2011, pp. 46-54

current position: data scientist at Enlighten, An Alion Company

Oliver Orejola

P. Naumov, O. Orejola, Shhh! The Logic of Clandestine Operations, 32nd International Joint Conference on Artificial Intelligence (IJCAI 23), August 2023

current position: PhD student at Tulane University

Anna Ovchinnikova

P. Naumov, A. Ovchinnikova, An Epistemic Logic of Preferences, Synthese, 201, 77 (2023)

Margaret Protzman

P. Naumov, M. Protzman,  Equilibria Interchangeability in Cellular Games, Journal of Logic and Computation, 26 (5): 1637-1661, 2014 

P. Naumov, M. Protzman, Conditional Interchangeability of Nash Equilibria, Journal of Logic and Computation, 26 (5): 1421-1438, 2014 

P. Naumov, M. Protzman,  Equilibria Interchangeability in Cellular Games, Proceedings of Eleventh Conference on Logic and the Foundations of Game and Decision Theory (LOFT), Bergen, Norway, July 2014

Benjamin Sapp

Benjamin Sapp

S. Miner More, P. Naumov, B. Sapp, Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence, in 20th Conference on Computer Science Logic (CSL 2011), Bergen, Norway, pp. 443-457, September 2011

R. Kelvey, S. Miner More, Pavel Naumov, and B. Sapp, Independence and Functional Dependence Relations on Secrets, 12th International Conference on the Principles of Knowledge Representation and Reasoning, (KR '10), Toronto, Canada, May 2010, pp. 528-533

kevin.png

Kevin Ros

P. Naumov, K. Ros, Strategic Coalitions in Stochastic Games, Journal of Logic and Computation, (to appear)

P. Naumov, K. Ros, Comprehension and Knowledge, 35th AAAI Conference on Artificial Intelligence (AAAI 21), February 2-9, 2021

P. Naumov, K. Ros, Strategic Coalitions in Systems with Catastrophic Failures (extended abstract), 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 18)

current position: PhD student at the University of Illinois, Urbana-Champaign, DBLP

 

Qi Shi

Q. Shi, P. Naumov, Uncommon Belief in Rationality, 39th AAAI Conference on Artificial Intelligence, (AAAI 25), February 25-March 4, 2025, Philadelphia, USA

Q. Shi, Agentive Permissions in Multiagent Systems, 33rd International Joint Conference on Artificial Intelligence (IJCAI-24), August 3-9, 2024, Jeju, South Korea

Q. Shi, Responsibility in Extensive Form Games, 38th AAAI Conference on Artificial Intelligence, (AAAI-24), February 20-27, 2024, Vancouver, Canada

current position: PhD student at the University of Southampton

Chenyang Wu

P. Naumov, Ch. Wu, Egocentric Doxastic Logic, Logic and Logical Philosophy, 2024 (to appear)

current position: graduate student at University of Edinburgh

Andrew Yang

Andrew Yang

S. Miner More, P. Naumov, B. Nicholls, A. Yang, A Ternary Knowledge Relation on Secrets, in Krzysztof R. Apt (Ed.): Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), Groningen, The Netherlands, July 2011. ACM 2011, pp. 46-54

rui-jie.png

Rui-Jie Yew

P. Naumov, R.-J. Yew,  Ethical Dilemmas in Strategic Games, 35th AAAI Conference on Artificial Intelligence (AAAI 21), February 2-9, 2021

current position: PhD student at Brown University, DBLP

yuan.png

Yuan Yuan

P. Naumov, Y. Yuan, Intelligence in Strategic Games, Journal of Artificial Intelligence Research, (to appear)

P. Naumov, Y. Yuan, Intelligence in Strategic Games (Extended Abstract), 31st International Joint Conference on Artificial Intelligence (IJCAI 22), July 2022

Wenxuan Zhang

K. Deuser, J. Jiang, P. Naumov, W. Zhang, A Dynamic Logic of Data-Informed Knowledge, Journal of Philosophical Logic, volume 53, pages 521–557, (2024)

P. Naumov, W. Zhang, Prevailing in the Dark: Information Walls in Strategic Games, 36th AAAI Conference on Artificial Intelligence (AAAI 22), February 22 - March 1st, 2022