• Математическая логика
• Теория алгоритмов
• Неклассические логики Искусственный интеллект
• Компьютерная лингвистика
• Теоретическое программирование

Дополнительные сведения

• "Человек года" (Американского биографического института, 2002)
• Член экспертного совета РФФИ.
• Член-корреспондент Международной академии информатизации.
• Главный редактор международного электронного журнала "Web Journal of Formal, Computational and Cognitive Linguistics"