Pavel Naumov

Pavel Naumov (Russian: Павел Наумов) is a Russian-American logician who specializes in reasoning about knowledge and strategies in multiagent systems. Naumov graduated from Moscow State University with a Diploma in Mathematics, where his advisor was Sergei N. Artemov.[1] He received Ph.D. in Computer Science from Cornell University under Robert Lee Constable.[1]

Pavel Naumov
Павел Наумов
Born (1970-01-26) January 26, 1970
Known forknow-how logics, logics of blameworthiness
Academic background
Alma materPh.D 1998 Cornell University,
Diploma 1992 Moscow State University
Academic advisorsRobert Lee Constable,
Sergei N. Artemov
Academic work
DisciplineLogic
Computer Science
Mathematics
Philosophy
InstitutionsTulane University, Claremont McKenna College, Vassar College
Websitepavelnaumov.com

Biography

Pavel Naumov was born in Moscow, USSR in 1970 to Taisia Naumova and Gennadi Naumov.[2] He was a winner of Moscow Mathematics Olympiad in 1985[3] and 1986,[4] and Soviet Union Mathematics Olympiad in 1985. Naumov graduate from Mathematics Department of Moscow State University with specialization in Logic.[2]

Naumov was a plaintiff in a lawsuit against his former employer McDaniel College.[5]

Selected publications

  • P. Naumov, J. Tao, An Epistemic Logic of Blameworthiness, Artificial Intelligence, Volume 283, June 2020, 103269
  • P. Naumov, J. Tao, Together We Know How to Achieve: An Epistemic Logic of Know-How, Artificial Intelligence, Volume 262, September 2018, pp. 279-300
  • J. Kane, P. Naumov, The Ryoan-ji Axiom for Common Knowledge on Hypergraphs, Synthese, Volume 191, Issue 14, pp. 3407-3426, 2014.

References

  1. "Pavel Naumov - The Mathematics Genealogy Project". www.genealogy.ams.org. Archived from the original on 1 November 2018. Retrieved 20 June 2020.
  2. Naumov, Pavel (September 20, 1998). "Formalizing Reference Types in NuPRL, PhD Thesis" via ecommons.cornell.edu. Cite journal requires |journal= (help)
  3. "XLVIII Moskovskaja gorodskaja matematicheskaja olimpiada: spisok nagrazhdennyh". olympiads.mccme.ru.
  4. "XLIX Moskovskaja gorodskaja matematicheskaja olimpiada: spisok nagrazhdennyh". olympiads.mccme.ru.
  5. https://www.courtlistener.com/docket/4512632/naumov-v-mcdaniel-college-inc/
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.