доктор физико-математических наук, профессор
Основная специализация
Математика, дискретная математика, математическая логика, теория алгоритмов, вычислимые алгебраические структуры, теория чисел, алгебра, теория графов, теория групп, компьютерные науки (Computer Science), абстрактные типы данных, графы и алгоритмы, модели вычислений, анализ и сложность алгоритмов, последовательные и параллельные алгоритмы.
Опыт работы
1979-1983 Ассистент Джамбульского технологического института легкой и пищевой промышленности;
1983-1986 Аспирант при КарГУ, прикомандирован в Институт математики им. С.Л. Соболева, СО АН СССР, Новосибирск
1987-1990 Научный сотрудник Новосибирского государственного университета
1990-1996 Доцент Джамбульского техно-логического института легкой и пищевой промышленности;
1996-2001 Заведующий кафедрой «Вычислительной техники и программирования» Таразского государственного университета им. М.Х. Дулати
2002-2004 Старший научный сотрудник ТарГУ им. М.Х. Дулати, прикомандирован в Новосибирский государственный университет
2004-2007 Докторант при КазНУ им.аль-Фараби, прикомандирован в докторантуру Новосибирского государственного университета
2008 – 2011 Заведующий кафедрой «Компьютерных систем» Таразского государственного университета им. М.Х. Дулати.
2011- по настоящее время Заведующий кафедрой «Информационные системы» Евразийского Национального Университета им. Л.Н. Гумилева.
Общий стаж педагогической работы составляет более 40 лет, стаж работы в ЕНУ имени Л.Н. Гумилева – 8 лет и им ведется подготовка кадров по специальностям 5В070300, 6М070300, 6D070300 - «Информационные системы». За период 2011-2018 гг. кафедрой были подготовлены более 800 бакалавров, 80 магистров и 6 докторов PHD.
10/10/2016-26/10/2016 Программа “ERAS- MUS+”. Программа профессора, Университет Пуатье, Франция.
Под руководством Тусупова Д.А. подготовлены три доктора PhD по информационным системам: Сатекбаева А.Ж., Муханова А.А., Самбетбаева М.А.
Участвовал в программе Эразмус+ в 2016 году, читал лекции в университете Пуатье. В настоящее работает по программе Эразмус+ «Цифровая трансформация высшего образования РК» на 2019-2021 г.г.
Образование
1974 – 1979 гг. - Карагандинский государственный университет;
1983-1986 - Математический факультет, специальность «Математика»;
2004 – 2007 гг. - Аспирантура при КарГУ, прикомандирован в Институт Математики им. С.Л. Соболева, СО АН СССР, Новосибирск;
2007 г. - Кандидат физико-математических наук (1990), место защиты: Новосибирский государственный университет, шифр специальности - 01.01.06 «Математическая логика, алгебра и теория чисел», тема диссертации "Алгоритмическая сложность однородных и насыщенных моделей". Докторантура при КазНУ им. аль-Фараби, прикомандирован в докторантуру Новосибирского государственного университета. Доктор физико-математических наук (2007), место защиты - Казахский национальный университет, шифр специальности-01.01.06 «Математическая логика, алгебра и теория чисел». Тема диссертации: "Проблемы определимости и алгоритмической сложности отношений над алгебраическими структурами"
Гранты
1. Номинант президентской стипендии «Болашак» в области научных стажировок 2011 г. Университет Нотр-Дамм, США, Индиана.
2. Исполнитель. Научная школа 4413.2006.1 «Теория вычислимости и алгоритмические проблемы» Российская Федерация, Исполнитель. Программа Фундаментальные исследования МОН РК 2009-2012 гг.
3. Руководитель подпрограммы: 1.18 «Теория универсов и минимальных моделей» Программа Интеллектуальный потенциал страны Ответственный исполнитель гранта «Модели и вычислимость» 2012-2014 г.г.
4. Руководитель проекта: «Методы формальных спецификаций и их приложения в разработке программ», 2012-2014 г.г. Программа интеллектуальный потенциал страны.
5. Руководитель проекта: «Разработка информационно-поискового тезауруса (с учетом морфологии казахского языка) в полнотекстовых базах данных по ИТ-технологиям» по программе «Грантовое финансирование научных исследований 2015-2017гг.» МОН РК.
6. Руководитель проекта: «Вычислимость, интерпретируемость и алгебраические структуры». «Грантовое финансирование научных проектов 2018-2021гг.» МОН РК.
7. Исполнитель. Модели и методы создания информационных систем поддержки научно-образовательной деятельности, интегрированных в открытое семантическое пространство (с учетом морфологии казахского языка). «Грантовое финансирование научных проектов 2018-2021гг.» МОН РК.
Работа редакционных коллегиях:
Член редакционной коллегии журналов:
• «Евразийский математический журнал»,
• «Вестник Новосибирского университета-серия информационные технологии»,
Рецензент реферативного журнала «zbMATH»
Математика: дискретная математика; математическая логика; теория алгоритмов; вычислимые алгебраические структуры; теория чисел; алгебра; теория графов; теория групп.
Компьютерные науки: абстрактные типы данных; графы и алгоритмы; модели вычислений; анализ и сложность алгоритмов; Последовательные и параллельные алгоритмы.
Книги
Математикалық логика, Издательство ТарГУ им. М.Х. Дулати, 2000 г. Совм. с Жетписовым К.
Дискреттік математикаға кіріспе, Издательство ТарГУ им. М.Х. Дулати, 2000 г.
Дискреттік математиканың негіздері, Издательство ТарГУ им. М.Х. Дулати,2009 г.
С.С. Гончаров, Б.Н. Дроботун, А.А. Никитин, Жоғарғы оқу орындарында алгебралық жүйелерді оқып-үйренудің әдістемелік аспектілері, Монография. Басылым ҰҒТФЩ ҚФб 2011, 287 б. Аударушылар: Тусупов Д.А., Жетписов К.
С/C++ тіліндегі бағдарламалау технологиясы, Учебное пособие. Тараз 2011.-131 л. Совм. с Доумчариева Ж.Е., Муханова А.А., Сатекбаева А.Ж.
Методы определимости алгебраических структур и их применения в трансляции типов данных.// Монография.- Типография ЕНУ им. Л.Н.,2014 г. Гумилева, 140 стр.
Оценивание риска в информационных системах на основе объективных и экспертных оценок // Монография. Типография ЕНУ им. Л.Н.,2015 г. Гумилева, 154 стр., совм. Абденов А.Ж., Абденова Г.А., Заркумова-Райхель Р.Н.
Жиындар теориясы, математикалық логика, сандар теориясы, алгоритм теориясы бойынша есептер жинағы. // Учебное пособие. ТехноЭрудит-2018.-188 Б., совм. Жетпісов К., Түсіпов Д.А., Мархабатов Н.Д.
Основные публикации за последнее время
• Isomorphisms, Definable Relations Scott Family on the Integral Domains and the Commutative Semigroups // Journal “Siberian Advances in Mathematics”, 2007. vol. 1, pp 49-61.
• An autostable 2 nilpotent group with no Scott family of finitary formulas // Publishing: Springer New York. - Siberian Mathematical Journal. - V.48(6).-2007 - P. 1106-1114.
• Isomorphisms and Definable Relations on Rings and Lattices.// Mathematical Logic in Asia, Proceeding of the 9th Asian Logic Conference. - Pp 254-262, World Scientific, 2006.
• Изоморфизмы, определимые отношения и семейства Скотта двустепенных нильпотентных групп // Алгебра и логика – 2007. - Т. 46(4)- P. 514-524.
• Ориентированный граф конечной - размерности // Вестник НГУ, Серия: Математика, механика и информатика –ТV.7(1) – 2007.-С.104-115.
• Isomorphisms And Algorithmic Properties Structures With Two Equivalences// The Bulletin of Symbolic Logic, -Vol.18(3), September, 2012.-P.468. http://www.math.ucla.edu/~asl/bsl/1803-toc.htm
• There are groups having presentations of every degrees except computable degree // Model Theory and Algebra, Abstracts of France – Kazakhstan Conference, Astana, 2005, p.p. 70–72.
• An autostable 2 nilpotent group with no Scott family of finitary formulas // Proceeding of Russian workshop at memory of K.Godel – Irkutsk.- 2006. – P. 100-103.
• A model of fuzzy synthetic evaluation method realized by a neural network // International journal of Mathematical Models and Methods in Applied Sciences - 2014 - Vol. 8. -pp.103-106., совм. La L., Mukhanova A. A.
• On existential interpretability of structures // Siberian Electronic Mathematical Reports.-2014.-Vol.11. - P. 557-566., совм. Morozov A., Satekbaeva A.
• P-extensions of lattices and its Applications // International Journal of Mathematical Models and Methods in Applied Sciences. - 2014 – Vol. 8. – P. 199-202., совм. Satekbaeva A., Basheyeva A., Nurakunov A.
• О сохранении категоричности и сложности отношений// Алгебра и логика, 54, № 2 (2015), 212-235 . совм. Дж.Джонсон, Дж.Ф.Найт, В.Окасио, С.ВанДенДрише
• Preserving Categoricity and Complexity of Relations // Algebra and Logic, Vol. 54, No. 2, May, 2015.-P.140-154., совм. . Johnson, J. F. Knight, V. Ocasio, S. VanDenDriesscheu
• Categoricity of the algebraic structures // The Bulletin of Symbolic Logic. 2014. – Vol.20., No2. – P.245.
• On the existential interpretability of structures // Bulletin of Symbolic Logic, .- vol.21 - №1- march, 2015.- P.84., совм. A.S.Morozov, A.Zh.Satekbaeva.
• Модель определения нормальной формы слова для казахского языка // Вестник Новосибирского государственного университета. Серия: Информационные технологии. – 2015. – Т.13. – № 1. – С.107-116., совм. Федотов А.М., СамбетбаеваМ.А, ЕримбетоваА.С., Бакиева А.М., ИдрисоваА.И.
• Категоричность и сложность отношений над алгебраическими структурами // Алгебра и логика, Том 54, №5.- C.628-637.
• Categoricity and Complexity of Relations Over Algebraic Structures // Algebra and Logic.- Vol. 54, No. 5, November, 2015.- pp.408-414.
• Classification model and morphological analysis in multilingual scientific and educational information systems // Journal of Theoretical and Applied Information Technology. Vol. 86, Issue 1, 10 April 2016. - pp. 96-111, совм. Sambetbayeva, M.A.,Fedotov, A.M. Fedotova, O.A.SagnayevaS.K.
Bapanov, A.A., Tazhibaeva, S.Z.
• Using the thesaurus to develop it inquiry systems//Journal of Theoretical and Applied Information Technology.-Volume 86, Issue 1, 10 April 2016, Pp. 44-61., совм. Sambetbayeva M.A., Fedotov A.M., Sagnayeva S.K., Bapanov A.A., Nurgulzhanova A.N., Yerimbetova A.S.
• Изоморфизмы и алгоритмические свойства структур с двумя эквивалентностями// Алгебра и логика. - Том 55, №1.-С. 75-86.
• Isomorphisms and algorithmic properties of structures with two equivalences// Algebra and Logic, Vol. 55, No. 1, March, 2016.-pp.50-55.
• The Software System for the Study the Morphology of the Kazakh Language // ICPE 2017. - International Conference on Psychology and Education. The European Proceedings of Social &Behavioural Sciences.- ISSN: 2357-1330.совм. Vladimir B. Barakhnin, Anatoliy M. Fedotov, AigerimМ. Bakiyeva, Murat N. Bakiyev, SauleZh. Tazhibayeva, Tatiana V. Batura, Olga Yu. Kozhemyakina, Madina A. Sambetbaiyeva, Lyazzat Kh. Lukpanova.
• Creation of tools and Algorithms for Assessing the Relevance of Documents// Proceeding of the 3-rd Russian-Pacific Conference of Computer Technology and Applications. ISSN 978-1-5386-7531-1/18- p.1-4.совм. A.S. Yerimbetova, S.K. Sagnaeva, F.A. Murzin.
• Software tools for cell walls segmentation in microphotography// Computer Science.- Pakistan, ISSN: 1992-8645 - 2018.-Vol.96.-pp.4783-4793/ совм. Abdikerimova G.B., Murzin F.A., Bychkov A.L., Khayrulin S., Xinyu WEI., Ryabchikova E.I.
• Application of Cellular Automata for Modeling and Review of Methods of Movement of a Group of People// Journal of Theoretical and Applied Information Technology. August 2019. - Vol. 97 No.15, совм. M.A. Kantureyeva, F.A.Murzin, A.I. Uspanova, A.A. Abisheva.
Конференции и доклады за последнее время
• There are groups having presentations of every degrees except computable degree // Model Theory and Algebra, Abstracts of France – Kazakhstan Conference, Astana, 2005, p.p. 70–72.
• An autostable 2 nilpotent group with no Scott family of finitary formulas // Proceeding of Russian workshop at memory of K. Godel – Irkutsk.- 2006. – P. 100-103. Computable structure over finite graph. International Congress of Mathematics.-19August 2010 -29 August 2010, Hyderabad, India.
• Isomorphism’s and algorithmic complexity relations over structures with bipartite binary predicate. IV International Congress of Turkic World Mathematician Society. Proceeding of the IV TWMS, Baku, 1-3 July.
• Isomorphisms And Algorithmic Properties Structures With Two Equivalences. Abstract of Logic Colloquium 2011, 10-19, July, Barcelona Spain.-107.
• Categoricity and Complexity Relations over Structures With Two Equivalences // Abstract of Logic Colloquium 2012, July, Manchester, Great Britain.
• Isomorphisms and Definable Relations on Rings and Lattices.// Mathematical Logic in Asia, Proceeding of the 9th Asian Logic Conference. - Pp 254-262, World Scientific, 2006.
• Problems of Definability and Algorithmic Complexity Relations Over Algebraic Structures // Plenary report on the Mal’cev Lectures – 2008, International Conferences in Novosibirsk, Institute of mathematics named after S.L. Sobolev of SBRAS.
• Isomorphisms and Algorithmic Complexity Relations over Structure with Two Binary Predicates// Mal’cev Lectures – 2009, International Conferences in Novosibirsk, Institute of mathematics named after S.L. Sobolev of SBRAS.
• Computable structure over finite graph. International Congress of Mathematics.-19August 2010 -29 August 2010, Hyderabad, India
• Isomorphisms and Algorithmic Complexity Relations over Structure with Two Binary Predicates// Mal’cev Lectures – 2009, International Conferences in Novosibirsk, Institute of mathematics named after S.L. Sobolev of SBRAS.
• Formalization of Ontology and its Algorithmic Properties // LC-2015 – Helsinki. ISSN 1079-8986. совм. M. Sambetbaeva, K. Jetpisov, A. Mukhanova.
• Transformation and Categoricity Spectrum// Handbook of the 6th World Congress and School of Universal Logic, June 16-26, Vichy, France, www. Uni-log.org/vichy2018.- P.253-255.
• On ∆–definability on families of predicates.// 16th Asian Logic Conference abstracts. - Nur-Sultan.-2019. June – P.26. совм. A.S. Morozov.
• On minimal elements in the ∆-reducibility on families of predicates// Logic Colloquium 2019, Prague. Book of abstracts.-P.191. совм. A.S. Morozov
http://www.ispras.ru/ru/mathbib/pub/pub688.php
http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=al&paperid=311&option_lang=rus
http://dp5.ru/
