Pavel Naumov
Pavel Naumov | |
---|---|
Павел Наумов | |
Born | Moscow, USSR | January 26, 1970
Known for | know-how logics, logics of blameworthiness |
Academic background | |
Alma mater | Ph.D 1998 Cornell University, Diploma 1992 Moscow State University |
Academic advisors | Robert Lee Constable, Sergei N. Artemov |
Academic work | |
Discipline | Logic Computer Science Mathematics Philosophy |
Institutions | University of Southampton |
Website | pavelnaumov.com |
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]
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]
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[]
- ^ a b "Pavel Naumov - The Mathematics Genealogy Project". www.genealogy.ams.org. Archived from the original on 1 November 2018. Retrieved 20 June 2020.
- ^ a b Naumov, Pavel (September 20, 1998). "Formalizing Reference Types in NuPRL, PhD Thesis" – via ecommons.cornell.edu. Cite journal requires
|journal=
(help) - ^ "XLVIII Moskovskaja gorodskaja matematicheskaja olimpiada: spisok nagrazhdennyh". olympiads.mccme.ru.
- ^ "XLIX Moskovskaja gorodskaja matematicheskaja olimpiada: spisok nagrazhdennyh". olympiads.mccme.ru.
External links[]
- Pavel Naumov's personal webpage: Pavel Naumov
- Pavel Naumov's DBLP profile: dblp: Pavel Naumov
- Pavel Naumov's Google Scholar profile: Pavel Naumov - Google Scholar Citations
Categories:
- American logicians
- American people of Russian descent
- Cornell University alumni
- Living people
- Logicians
- Moscow State University alumni
- Russian logicians
- Russian mathematicians
- 1970 births