Visiting Associate Professor of Computer Science
Pavel has Diploma in Mathematics from Moscow State University and Ph.D. in Computer Science from Cornell University, both with specialization in Logic. His present research is focused on logical systems for reasoning about multi-agent systems, information flow, formal epistemology, social networks, and game theory. Previously, he has published papers on proof complexity, type theory, automated deduction, and modal logics.
Courses taught at Vassar
- Computer Science I: Problem-Solving and Abstraction,
- Foundations of Computer Science,
- Language Theory and Computation,
- Foundations of Multiagent Systems.
Publications accepted while at Vassar
✝ denotes an undergraduate coauthor
- P. Naumov, J. Tao, Together We Know How to Achieve: An Epistemic Logic of Know-How, 16th conference on Theoretical Aspects of Rationality and Knowledge (TARK 17), Liverpool, United Kingdom, July 24-26, 2017
- 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
- S. Azimipour✝, P. Naumov, Lighthouse Principle for Diffusion in Social Networks, Journal of Applied Logic (to appear)
- P. Naumov, J. Tao, Everyone Knows That Someone Knows: Quantifiers over Epistemic Agents, The Review of Symbolic Logic (to appear)
- P. Naumov, J. Tao, Coalition Power in Epistemic Transition Systems, Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 17), São Paulo, Brazil, May 8-12, 2017
- P. Naumov, J. Tao, Price of Privacy, Journal of Applied Logic (to appear).
- P. Naumov, J. Tao, Information Flow under Budget Constraints, 15th European Conference On Logics In Artificial Intelligence (JELIA 16), Larnaca, Cyprus, November 2016, pp. 353-368, Lecture Notes in Artificial Intelligence, Springer
- P. Naumov, J. Tao, Marketing Impact on Diffusion in Social Networks, Journal of Applied Logic (to appear).