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
Moscow, USSR
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].

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.
gollark: Better than what? For what?
gollark: I don't see why you would want to stuff your entire request body in headers when there's a perfectly good request body system.
gollark: Primarily that some things won't be happy with it because nobody does it. Other than that:- servers may allocate limited-sized buffers for incoming request headers so you can't put too much in them (this is somewhat problematic for cookies)- headers have character set limits while bodies can be arbitrary bytes- request bodies are generated by forms and all sane clients so stuff is mostly designed to deal with those- request bodies can probably be handled more performantly because of stuff like the length field on them
gollark: In HTTP, you mean?
gollark: For some arbitrary reason I forgot.

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.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.