About
Pavel Naumov a logician at Agents, Interaction, and Complexity research group interested in formal definitions and logical systems for reasoning about moral and legal responsibility, blameworthiness, de re/de dicto distinction, beliefs, knowledge, trust, strategies, and preferences in multiagent systems. More information about Pavel can be found on his website.
Dr Naumov is always looking for graduate and undergraduate students interested in logic and, more broadly, in the area at the border of AI, philosophy, and game theory.