You can edit almost every page by Creating an account. Otherwise, see the FAQ.

Pavel Naumov (Russian: Павел Геннадьевич Наумов)

From EverybodyWiki Bios & Wiki



Pavel Naumov (Russian: Павел Геннадьевич Наумов)
Born (1970-01-26) January 26, 1970 (age 54)
Moscow, USSR
🎓 Alma materPh.D 1998 Cornell University,
Diploma 1992 Moscow State University
💼 Occupation

Pavel Naumov (Russian: Павел Геннадьевич Наумов) (born January 26, 1970) is a Russian-American logician and computer scientist. He is currently a Visiting Associate Professor[1] at Vassar College. His research is focused on logical systems for reasoning about multi-agent systems, information flow, formal epistemology, social networks, and game theory. He also published papers on proof complexity, type theory, automated deduction, and modal logics.

Pavel Naumov was born in Moscow, Soviet Union in 1970 to Gennadiy Naumov and Taisia Naumova. He graduated from Moscow State University with Honors in Mathematics in 1992 and earned Ph.D. in Computer Science from Cornell University in 1998. His mentor at Moscow University was Sergei N. Artemov[2] and his Ph.D. advisor at Cornell was Robert Lee Constable.

References[edit]

External links[edit]


This article "Pavel Naumov (logician)" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Pavel Naumov (logician). Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.