Pavel Naumov (Russian: Павел Геннадьевич Наумов)
Pavel Naumov (Russian: Павел Геннадьевич Наумов) | |
---|---|
Born | January 26, 1970 Moscow, USSR |
🎓 Alma mater | Ph.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]
- Pavel Naumov's personal webpage: http://pavelnaumov.com
- Pavel Naumov at Vassar College: https://www.vassar.edu/faculty/pnaumov/
- Pavel Naumov at the Mathematics Genealogy Project: http://www.genealogy.ams.org/id.php?id=73590
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.