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.
