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.