Тусупов Джамалбек Алиаскарович

доктор физико-математических наук, профессор

e-mail: *****@***ru

Phone: +7(7172) 70 95 00 (34-203)

+7(701)789 27 10

ОПЫТ РАБОТЫ:

1979-1983 Ассистент Джамбульского технологического института легкой и пищевой промышленности;

1983-1986 Аспирант при КарГУ, прикомандирован в  Институт  математики им. , СО АН СССР, Новосибирск

1987-1990 Научный сотрудник Новосибирского государственного университета

1990-1996  Доцент  Джамбульского технологического института легкой и пищевой промышленности;

1996-2001 Заведующий кафедрой «Вычислительной техники и программирования» Таразского государственного университета им.

2002-2004 Старший научный сотрудник ТарГУ им. , прикомандирован в Новосибирский государственный университет

2004-2007 Докторант при КазНУ им. аль Фараби, прикомандирован в  докторантуру Новосибирского государственного университета

2008 – 2011 Заведующий кафедрой «Компьютерных систем» Таразского государственного университета им. .

2011- по настоящее время Заведующий кафедрой «Информационные системы» Евразийского Национального Университета им. .

10/10/2016-26/10/2016 Программа “ERASMUS+”. Программа профессора, Университет Пуатье, Франция

ОБРАЗОВАНИЕ:

1974-1979 Карагандинский государственный университет Математический факультет, специальность «Математика»

1983-1986 Аспирантура при КарГУ, прикомандирован в  Институт Математики им. , СО АН СССР, Новосибирск

1990 Кандидат физико-математических наук (1990), место защиты: Новосибирский государственный университет, шифр специальности-01.01.06 «Математическая логика, алгебра и теория чисел», Тема диссертации: Алгоритмическая сложность однородных и насыщенных моделей

2004-2007 Докторантура при КазНУ имени аль Фараби, прикомандирован в докторантуру Новосибирского государственного университета

2007 Доктор физико-математических наук, место защиты: КазНУ имени аль-Фараби,  шифр специальности-01.01.06 «Математическая логика, алгебра и теория чисел», Тема диссертации: Проблемы определимости и алгоритмическая сложность отношений над алгебраическими структурами

2011 Научная стажировка. Университет Нотр-Дамм, Индиана, США. Стипендиат Президентской программы «Болашак» за 2011 год.

2011 Присвоено звание «Профессор». МОН РК

КНИГИ:

    , , Жоғарғы оқу орындарында алгебралық жүйелерді оқып-үйренудің әдістемелік аспектілері, Монография. Басылым ҰҒТФЩ ҚФб 2011,  287 б. Аударушылар: , С. Гончаров, , .  Логикалық санақтардың алгебралық және алгоритмдік қасиеттері (1 бөлім) // Монография. Монография. Басылым Еуразия ұлттық университетінің баспасы, 2014, 228 б. Аударушылар: , , Математикалық логика // Монография. Басылым ҰҒТФЩ ҚФб 2015,  396 б. Аударушылар: , /C++ тіліндегі бағдарламалау технологиясы, Учебное пособие. Тараз 2011.-131 л. Совм. с , , Математикалық логика, Издательство ТарГУ им. ,2000 г. Совм. с искреттік математикаға кіріспе,  Издательство ТарГУ им. , 2000 Дискреттік математиканың негіздері,  Издательство ТарГУ им. , 2009 Методы определимости алгебраических структур и их применения в трансляции типов данных. Монография. – Астана, Издательство ЕНУ, 2013 Оценивание риска в информационных системах на основе объективных и экспертных оценок Типография ЕНУ им. Л. Н.,2015 г. Гумилева, 154 стр. Совм. с авторами , , Заркумова-

ОСНОВНЫЕ ПУБЛИКАЦИИ:

    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. Preserving Categoricity and Complexity of Relations// Algebra and Logic, Vol. 54, No. 2, May, 2015.- pp. 140-154. with J. Johnson, J. F. Knight, V. Ocasio, and S. VanDenDriessche Categoricity and Complexity of Relations Over Algebraic Structures// Algebra and Logic.- Vol. 54, No. 5, November, 2015.- pp.408-414 Isomorphisms and Algorithmic Properties of Structures with Two Equivalences // Algebra and Logic.- 2016.- Vol. 55(1). - Pp.50-57. http://link. /article/10.1007/s10469-016-9375-8

КОНФЕРЕНЦИИ

    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. 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 putable 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-3July. 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 Categoricity of the Algebraic Structures // Abstract of Logic Colloquium 2013, July, Evora, Portugal On the existential interpretability of structures //

Abstra  Abstract of Logic Colloquium 2014, July, Vienna,  Austria

    Formalization of Ontology and its Algorithmic Properties// Abstract of Logic Colloquium 2015, August, Helsinki, Finland

СФЕРА ИНТЕРЕСОВ: Формальные методы спецификаций и их приложения в разработке ИС, Теория алгоритмов; Абстрактные типы данных; Вычислимые алгебраические структуры; Математическая логика.

ГРАНТЫ:

Научная школа 4413.2006.1 «Теория вычислимости и алгоритмические проблемы» Российская Федерация, Исполнитель.

Программа Фундаментальные исследования МОН РК 2009-2012 г. г. Руководитель подпрограммы 1.18 «Теория универсов и минимальных моделей»

Программа Интеллектуальный потенциал страны Ответственный исполнитель гранта «Модели и вычислимость»  2012-2014 г. г.

Программа Интеллектуальный потенциал,  руководитель гранта «Методы формальных спецификаций и их приложения в разработке программ», 2012-2014 г. г.

Руководитель проекта МОН РК «Разработка информационно-поискового тезауруса (с учетом морфологии казахского языка) в полнотекстовых базах данных по ИТ-технологиям» 2015-2017 г. г..

Обладатель звания «Лучший преподаватель ВУЗа 2013 года».

ЯЗЫКИ

Казахский (Родной);

Русский (Свободное);

Английский (Свободное).