Kazan (Volga region) Federal University, KFU
KAZAN
FEDERAL UNIVERSITY
Ziyatdinov Mansur Tagirovich (архив)
Ziyatdinov Mansur Tagirovich
Date of birth 
15.03.1989
Positions 
Нет текущих должностей
Files 
Research work 
  • 01.01.09 - Discrete Mathematics and Mathematical Cybernetics
Performance 
  • Quantity of published work in Scopus:  8
  • Quantity of reference on published work in Scopus:  22
  • Personal index of Hirsh:  3
Performance 
2023
2022
2020
2019
2018
2017
2016
2014
2013
Events 
2023
  • QScience Days 2023 29.05.2023 - 31.05.2023
  • 16th International Conference on Automata and Formal Languages Kazan KFU 05.09.2023 - 07.09.2023
2022
  • 22th Asian Quantum Information Science Conference (AQIS'22) Hefei University of Science and Technology of China 17.12.2022 - 18.12.2022
  • 22th Asian Quantum Information Science Conference (AQIS'22) Hefei University of Science and Technology of China 17.12.2022 - 18.12.2022
2019
  • Workshop on Quantum Computing and Quantum Information Tokyo The University of Electro-Communications 03.06.2019 - 03.06.2019
2018
  • 21th Annual Conference on Quantum Information Processing(QIP) 2018 Delft Technical University of Delft 13.01.2018 - 19.01.2018
  • 44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2018) Krems an der Donau Donau-Universität Krems 29.01.2018 - 02.02.2018
  • 76th International scientific conference of University of Latvia Riga University of Latvia 16.02.2018 - 16.02.2018
  • Algorithms and complexity Paris Paris Diderot University 27.03.2018 - 27.03.2018
  • 10th International Conference "Discrete Models in Control Systems Theory" Moscow Lomonosov Moscow State University 23.05.2018 - 25.05.2018
  • The 14th Biennial IQSA Conference "Quantum Structures 2018" Kazan KFU 16.07.2018 - 20.07.2018
2017
  • 3rd International Conference for Young Quantum Information Scientists Erlangen Max Planck Institute for the science of light 03.10.2017 - 06.10.2017
  • Quantum Fingerprinting and Quantum Walks Riga Latvian University 09.10.2017 - 22.10.2017
2015
  • Summer School on Lower Bounds Prague Charles University 28.06.2015 - 02.07.2015
  • Computer Science in Russia 2015 Listvyanka ISU 13.07.2015 - 18.07.2015
2014
  • Computer Science in Russia 2014 05.06.2014 - 12.06.2014
2010
  • Computer Science in Russia 2010 Kazan KSU 14.06.2010 - 22.06.2010

Just the place for a Snark!

Темы курсовых/дипломных работ

LARS and Complex Event Processing

Сложность: высокая. Язык: Haskell. Выбрано: нет.

LARS - A Logic-based Framework for Analytic Reasoning over Streams

See Luigi Bellomarini, Georg Gottlob, Andreas Pieris, and Emanuel Sallinger. Swift Logic for Big Data and Knowledge Graphs - Overview of Requirements, Language, and System // SOFSEM 2018 Proceedings (можно получить доступ у меня по запросу)

Задача обработки сложных запросов над потоками стала актуальной с появлением большого количества данных, например, от IoT и в будущем будет лишь становиться актуальнее с развитием информатизации общества.

В работе необходимо будет реализовать на Haskell (прототип) системы - языка программирования для рассуждений о потоках - представленной на SOFSEM 2018, и добавить в неё возможность обработки сложных запросов.

Cascase Heap Implementation in Haskell

Сложность: высокая. Язык: Haskell. Выбрано: нет.

Cascade Heap реализует структуру кучи с обычными для куч параметрами временной сложности и одним дополнительным: время получения $k$ минимальных элементов из кучи из $n$ элементов равно $O(k)$.

В работе необходимо будет реализовать на Haskell структуру Cascade Heap, провести необходимые benchmarks и сравнить имеющиеся реализации с Cascade Heap.


QISKit for ejudge and olympiads

Сложность: средняя. Язык: не слишком важен. Выбрано: нет.

Написать наиболее простое корректно работающее и поддерживаемое решение для возможности реализации олимпиад по квантовой информатике на базе QISKit от IBM и, вероятно, ejudge.

Propp

Сложность: выше средней. Язык: Haskell (?). Выбрано: нет.

Аналогично статье Miroslava Hrešková and Kristína Machová. Models used in Automated Haiku Poetry Generation // SOFSEM 2018 Proceedings (можно получить доступ у меня по запросу), детали будут добавлены позже.

Pirozhki generation

Сложность: выше средней. Язык: Haskell (?). Выбрано: нет.

Аналогично статье Miroslava Hrešková and Kristína Machová. Models used in Automated Haiku Poetry Generation // SOFSEM 2018 Proceedings (можно получить доступ у меня по запросу), рассмотреть модели и написать ПО генерации стишков-пирожков

Science of Science: case study of Russia

Сложность: выше средней. Язык: Python, R, Haskell (?). Выбрано: нет.

Аналогично статье Antonia Gogoglou, Theodora Tsikrika, Yannis Manolopoulos. Network Analysis of the Science of Science: A Case Study in SOFSEM Conference // SOFSEM 2018 Proceedings (можно получить доступ у меня по запросу) изучить статьи, опубликованные в КФУ, в России и т.д., кластеризовать их по влиянию аффилиации, страны, положения в сети соавторства и прочих признаков на "импакт" - влияние статьи, количество её цитирований и т.п. Выделить возможные кластеры по временному распределению цитирований.

Science of Science: case study of pseudoscience

Сложность: выше средней. Язык: Python, R, Haskell (?). Выбрано: нет.

Аналогично статье Antonia Gogoglou, Theodora Tsikrika, Yannis Manolopoulos. Network Analysis of the Science of Science: A Case Study in SOFSEM Conference // SOFSEM 2018 Proceedings (можно получить доступ у меня по запросу) изучить "статьи", публикуемые в области каких-либо псевдо- или лженаук, кластеризовать их по влиянию аффилиации, страны, положения в сети соавторства, временному распределению цитирований и прочих признаков. Сравнить с имеющимися данными по научным статьям.

Дистанционное образование

Прекратить думать, что "интернет-уроки" это то же самое, что и в классе, только через интернет. Нет — это другое. Например, вполне можно отказаться от "он-лайн лекции", когда учитель в интернете рассказывает что-то точно так же, как и в классе. Эту методику вполне заменяет одна ссылка на видеозапись.

И да — текущий кризис покажет, что дистанционное обучение вполне возможно, и что оно будет ничуть не хуже, чем "классическое". И да — пора пересматривать вообще все образовательные процессы и подходы. А когда еще-то? Именно в такие кризисы и проявляется никчемность огромных инертных систем, оставшихся неизменными с XIX века.

@ZaTelecom, https://t.me/zatelecom/14198

 

Ссылки для присоединения к курсам по предметам:

2019/20, весна

2020/21, осень

2020/21, весна

2021/22, осень

  • ФП 11-8хх
  • ИиП 11-102
  • ИиП 11-111

2021/22, весна

  • ИБ 11-901
  • ИБ 11-902
  • ИиП, АиСД 11-102
  • ИиП, АиСД 11-111

2022/23, осень

Taught disciplines 
Discipline Curriculum Authors File
Алгоритмы и структуры данных в программировании  09.03.04 Software Engineering, Bachelor's Degree (Разработка цифровых продуктов (с применением электронного обучения и дистанционных образовательных технологий)) 2024 y. Зиятдинов М.Т.
Квантовая криптография  01.04.04 Applied Mathematics, Master's Degree (Classical and quantum information processing methods) 2023 y. Аблаев Ф.М.
Зиятдинов М.Т.
Квантовая криптография  01.04.04 Applied Mathematics, Master's Degree (Classical and quantum information processing methods) 2022 y. Аблаев Ф.М.
Зиятдинов М.Т.
Квантовая криптография  01.04.04 Applied Mathematics, Master's Degree (Classical and quantum information processing methods) 2021 y. Аблаев Ф.М.
Зиятдинов М.Т.
Квантовая теория информации  01.04.04 Applied Mathematics, Master's Degree (Classical and quantum information processing methods) 2023 y. Аблаев Ф.М.
Зиятдинов М.Т.
Квантовая теория информации  01.04.04 Applied Mathematics, Master's Degree (Classical and quantum information processing methods) 2022 y. Аблаев Ф.М.
Зиятдинов М.Т.
Квантовая теория информации  01.04.04 Applied Mathematics, Master's Degree (Classical and quantum information processing methods) 2021 y. Аблаев Ф.М.
Зиятдинов М.Т.
Функциональное программирование  09.03.03 Applied Computer Sciences, Bachelor's Degree (не предусмотрено) 2015 y. Зиятдинов М.Т.
Функциональное программирование  09.03.04 Software Engineering, Bachelor's Degree (Industrial software development) 2019 y. Голицына И.Н.
Зиятдинов М.Т.
Функциональное программирование  09.03.04 Software Engineering, Bachelor's Degree (Industrial software development) 2016 y. Голицына И.Н.
Зиятдинов М.Т.
Функциональное программирование  09.03.04 Software Engineering, Bachelor's Degree (Industrial software development) 2018 y. Голицына И.Н.
Зиятдинов М.Т.
Функциональное программирование  09.03.04 Software Engineering, Bachelor's Degree (Industrial software development) 2020 y. Зиятдинов М.Т.
Функциональное программирование  09.03.04 Software Engineering, Bachelor's Degree (Разработка цифровых продуктов (с применением электронного обучения и дистанционных образовательных технологий)) 2024 y. Зиятдинов М.Т.
Функциональное программирование  09.03.03 Applied Computer Sciences, Bachelor's Degree (Прикладная информатика в экономике) 2013 y. Зиятдинов М.Т.
Функциональное программирование  09.03.03 Applied Computer Sciences, Bachelor's Degree (не предусмотрено) 2013 y. Зиятдинов М.Т.
Функциональное программирование  09.03.04 Software Engineering, Bachelor's Degree (Industrial software development) 2017 y. Голицына И.Н.
Зиятдинов М.Т.
Функциональное программирование  09.03.03 Applied Computer Sciences, Bachelor's Degree 2012 y. Зиятдинов М.Т.
Функциональное программирование  09.03.03 Applied Computer Sciences, Bachelor's Degree (не предусмотрено) 2014 y. Зиятдинов М.Т.
Функциональное программирование  230700.62 Applied computer scince , Bachelor's Degree (Nonapplicable) 2013 y. Зиятдинов М.Т.
Функциональное программирование  230700.62 Applied computer scince , Bachelor's Degree (Nonapplicable) 2012 y. Зиятдинов М.Т.
Функциональное программирование  230700.62 Applied computer scince , Bachelor's Degree (Nonapplicable) 2011 y. Зиятдинов М.Т.