Pavel Naumov
Visiting Associate Professor of Computer Science
Ph.D., Cornell UniversityNaumov'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/
Computer Science News
....
More News & Events