Biography:Pavel Naumov
From HandWiki
Pavel Naumov | |
|---|---|
Павел Наумов | |
| Born | January 26, 1970 Moscow, USSR |
| 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
- ↑ 1.0 1.1 "Pavel Naumov - The Mathematics Genealogy Project". www.genealogy.ams.org. http://www.genealogy.ams.org/id.php?id=73590.
- ↑ 2.0 2.1 Naumov, Pavel (September 20, 1998). Formalizing Reference Types in NuPRL, PhD Thesis. https://ecommons.cornell.edu/handle/1813/7363.
- ↑ "XLVIII Moskovskaja gorodskaja matematicheskaja olimpiada: spisok nagrazhdennyh". http://olympiads.mccme.ru/mmo/archive/80-90/mmo85pob.htm#8kl.
- ↑ "XLIX Moskovskaja gorodskaja matematicheskaja olimpiada: spisok nagrazhdennyh". http://olympiads.mccme.ru/mmo/archive/80-90/mmo86pob.htm#9kl.
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
 |
