Visiting Associate Professor of Computer Science

Ph.D., Cornell University

Naumov's present research is focused on logical systems for reasoning about information flow, knowledge, privacy, diffusion in social networks, and rational behavior in multi-agent systems. He co-authored over 20 peer-reviewed publications with undergraduate students in this research area. Previously, he has published papers in proof complexity, type theory, automated deduction, and modal logics.

Homepage: http://pavelnaumov.com/