You are now in the main content area
Computationally tractable reasoning about actions and events
Principled methods for domain independent large scale problem solving
Reasoning about actual causes and root cause
Lifted planning, planning in hybrid systems
- August 2008--May 2010, Local Organizing Chair of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR&R-2010) held in Toronto from May 9 to May 13, 2010 (more than 200 attendees); Coordinator with a number of co-located international conferences (AAMAS, ICAPS, NMR, FOIS).
- May 2010--May 2012, Member of the Advisory Board of KR, Inc, an international scientific body organizing bi-annual conferences on Knowledge Representation and Reasoning.
- Program Committee member: AAAI, IJCAI, ECAI, AI journal, Journal of Artificial Intelligence Research
|1984||Diploma with Honors (BSc/MSc equivalent)||PhysTech, Moscow Institute of Physics and Technology, State University|
|2003||PhD||University of Toronto|