• Карьера
• Научные интересы
• Образование
• Избранные публикации
• Дополнительная информация

Родился в 1960 году. В 1983 году закончил математический факультет Иркутского государственного университета. После окончания аспирантуры в 1987 году работал на кафедре алгебры, логики и кибернетики в должности ассистента и старшего преподавателя, а затем (после защиты кандидатской диссертации в Киевском университете в 1989 году), доцентом на той же кафедре.

В 1993 году стал заведующим кафедрой информационных систем. В апреле 1995 года защитил диссертацию на соискание ученой степени доктора физико-математических наук (ВЦ СО РАН, Новосибирск) по теме "Логическое программирование в ограничениях: семантический подход". В 1996 году стал профессором по кафедре информационных систем.

В октябре 1994 года был избран действительным членом Нью-Йоркской академии наук. Также являюсь членом ACM (Association for Computing Machinery) и IEEE.

Основные научные интересы лежат в области приложений математической логики к программированию: логическое программирование в ограничениях, немонотонные логики и теория информации, теория компиляции логических программ. Мной разработан функционально-логический язык в ограничениях ФЛЭНГ.

Являюсь руководителем научно-исследовательской группы по логическому программированию, соруководителем семинара "Логика и информатика". Являюсь автором и соавтором 50 научных работ, многократно участвовал в международных и всеросийских конференциях. Мной сделаны приглашенные доклады на конференциях "Programming Languages Implementation and Logic Programming" (Таллин, Эстония, 1993) и "Non-Standard Logics and Logical Aspects of Computer Science" (Канадзава, Япония, 1994г). Кроме того, выступал с пленарными докладами на 7 международных конференциях в России, Германии, Бельгии и Венгрии. В 1992 году приглашался для чтения лекций в Немецкий центр по искусственному интеллекту (Кайзерслаутерн, Германия). В 1996 году в течение нескольких месяцев вел совместные научные исследования в Католическом университете г. Лувен (Бельгия) по приглашению ведущего специалиста в области логического программирования проф. М. Бройнохе. Являюсь членом ACM (Accociation for Computing Machinery) и IEEE. Под моим руководством была защищена одна кандидатская диссертация (В.А. Петухин, 1993 г.), а также подготовлены к защите три аспиранта (И.С. Абдрахимов, А.И. Вайман и Е.Н. Бычкова). Моя исследовательская группа является соисполнителем гранта ИНТАС 93-1702, а также других исследовательских грантов.

Среди основных своих результатов отмечу следующие:

1. На базе семантического программирования построена единообразная теория широкого класса языков логического программирования в ограничениях.
2. Построена эффективная процедурная семантика сигма-программ.
3. Разработан функционально-логический язык Флэнг, работающий в ограничениях на конечных областях.
4. Разработан ряд эффективных стратегий поиска вывода: обобщенная локальная совместность, глубокий возврат и другие.
5. Разработана техника компиляции логических программ, основанная на явной нумерации точек выбора.
6. Развита теория немонотонных вычислений в логическом программировании, исследованы возможности эффективной работы с отрицанием.

Читаю лекции по логическим методам в информатике, функционально-логическому программированию, основаниям программирования, являюсь руководителем дипломных и курсовых работ студентов математического факультета. Принимал активное участие в разработке программы и открытии новой специальности на математическом факультете ИГУ: "Математические и информационные основы в экономической деятельности". Мной была также разработана концепция информатизации Иркутского университета, которая сегодня активно реализуется.

1. А.В. Манцивода. Сигма-программирование и проблемы дискретной оптимизации. Иркутск, 1994, 245с.
2. А.В. Манцивода. Программирование в ограничениях на Флэнге. Системная информатика, Вып.4, Наука, Новосибирск, 1995, с.118-159.
3. А.В. Манцивода. М-исчисление -- секвенциальный метод автоматического доказательства. Кибернетика, 1993, No. 1, с.163-170.
4. А.В. Манцивода. Флэнг -- язык искусственного интеллекта. Кибернетика, 1993, No. 5, с.350-367.
5. А.В. Манцивода. О представимых преобразованиях.- Вычислительные системы, Вып.122, Новосибирск, 1988.
6. А.В. Манцивода. Логический язык типов данных.- Вычислительные системы, Вып.120, Новосибирск, 1988, c.86-101.
7. A. Mantsivoda. Flang: A Functional-Logic Language. Lecture Notes in Comp.Sci., 567, Processing Declarative Knowledge (eds. H.Boley and M.M. Richter), Springer, 1992, p.257-270.
8. A. Mantsivoda, V.Petukhin.Compiling Flang. - Proceedings of 2nd Russian Conference on Logic Programming, St.Petersburg, 1991, Lecture Notes in Computer Science, No.592, 286-293, Springer, 1992.
9. A. Mantsivoda, V. Petukhin. Compiling Flang II. Lecture Notes in Comp.Sci., No. 641, 1992, Compiler Construction (eds. U.Kastens, P.Pfahler), p.297-311.
10. A. Mantsivoda, V. Petukhin, A. Weimann. Memory Management of Constraints in Flang. Proc. of 10th Int. Conf on Logic Programming, (ed. by D.S.Warren), MIT Press, 1993, p.633-646.
11. A. Mantsivoda. Flang and its Implementation. PLILP'93, Lecture Notes in Comp. Sci., 714, Springer, 1993, p.151-166.
12. A. Mantsivoda. The Sigma-machine, its Soundness and Completeness. Technical Report CW 235, June 1996, Katholieke Universiteit Leuven, 46p.
13. I. Abdrakhimov, A. Mantsivoda. Positive Negation and the Completion Paradigm. Technical Report CW 234, June 1996, Katholieke Universiteit Leuven, 31p.
14. I. Abdrakhimov and A. Mantsivoda. Intelligent Backtracking in Flang. International Workshop on Constraint Processing at CSAM'93, St. Petersburg (ed. M. Meyer), DFKI Document D-93-14, p.215-221 DFKI Kaiserslautern, Germany.
15. A. Mantsivoda. Flang: the Main Ideas and Features. COLOG'88, Tallinn, 1988, Part II, 151-158.