I grew up in a family of Ukrainian and Russian scientists. One of my great uncles was paleontologist Alexey Bystrow (wiki), after whom Bystrowiana, Bystrov Rock, Cape Bystrova, and Bystrow’s Paradox are named. My other great uncle was chemist Sergei Bystrov. My grandfather, Ivan Boiko, was a biotechnology engineer. My dad, Gennadi Naumov (wiki), was a biologist. Genus Naumovozyma is named after him. My mother, Taisia Naumova and my brother, Daniil Naumoff, are also biologists. My mother-in-law, Zoya Semerikova, was a linguist. My wife, Elena Safirova, is an economist.
I graduated summa cum laude from Lomonosov Moscow State University under supervision of Sergei Artemov with Diploma in Mathematics and a concentration in mathematical logic. I received a Ph.D. in Computer Science (with a minor in Mathematics) from Cornell University specializing in logic and automated theorem proving. My advisor at Cornell was Robert Constable.
My present research is focused on logical systems for reasoning about responsibility, beliefs, trust, knowledge, strategies, preferences, and de re/de dicto distinction. Previously, I published works on proof complexity, type theory, and automated deduction.