Казанский (Приволжский) федеральный университет, КФУ
КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ
Зиятдинов Мансур Тагирович (архив)
Зиятдинов Мансур Тагирович
Дата рождения 
15.03.1989
Образование 
Знание языков 
Занимаемые должности 
Нет текущих должностей
Ученые степени 
Дополнительные сведения
Файлы 
Направления научной работы  
Показатели продуктивности 
Повышение квалификации
Результативность работы 
2023
2022
2020
2019
2018
2017
2016
2015
2014
2013
Мероприятия 
2023
2022
2019
2018
2017
2015
2014
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, осень

2021/22, весна

2022/23, осень

Преподаваемые дисциплины 
Дисциплина Учебный план Авторы Файл
Квантовая криптография  01.04.04 Прикладная математика, магистр (Классические и квантовые методы обработки информации) 2022 г. Аблаев Ф.М.
Зиятдинов М.Т.
Квантовая криптография  01.04.04 Прикладная математика, магистр (Классические и квантовые методы обработки информации) 2021 г. Аблаев Ф.М.
Зиятдинов М.Т.
Квантовая криптография  01.04.04 Прикладная математика, магистр (Классические и квантовые методы обработки информации) 2023 г. Аблаев Ф.М.
Зиятдинов М.Т.
Квантовая теория информации  01.04.04 Прикладная математика, магистр (Классические и квантовые методы обработки информации) 2021 г. Аблаев Ф.М.
Зиятдинов М.Т.
Квантовая теория информации  01.04.04 Прикладная математика, магистр (Классические и квантовые методы обработки информации) 2023 г. Аблаев Ф.М.
Зиятдинов М.Т.
Квантовая теория информации  01.04.04 Прикладная математика, магистр (Классические и квантовые методы обработки информации) 2022 г. Аблаев Ф.М.
Зиятдинов М.Т.
Функциональное программирование  09.03.03 Прикладная информатика, бакалавр (не предусмотрено) 2013 г. Зиятдинов М.Т.
Функциональное программирование  09.03.03 Прикладная информатика, бакалавр (Прикладная информатика в экономике) 2013 г. Зиятдинов М.Т.
Функциональное программирование  09.03.03 Прикладная информатика, бакалавр (не предусмотрено) 2015 г. Зиятдинов М.Т.
Функциональное программирование  230700.62 Прикладная информатика, бакалавр (не предусмотрено) 2013 г. Зиятдинов М.Т.
Функциональное программирование  09.03.04 Программная инженерия, бакалавр (Технологии разработки информационных систем) 2019 г. Голицына И.Н.
Зиятдинов М.Т.
Функциональное программирование  09.03.04 Программная инженерия, бакалавр (Технологии разработки информационных систем) 2016 г. Голицына И.Н.
Зиятдинов М.Т.
Функциональное программирование  09.03.03 Прикладная информатика, бакалавр (не предусмотрено) 2014 г. Зиятдинов М.Т.
Функциональное программирование  09.03.04 Программная инженерия, бакалавр (Технологии разработки информационных систем) 2020 г. Зиятдинов М.Т.
Функциональное программирование  230700.62 Прикладная информатика, бакалавр (не предусмотрено) 2011 г. Зиятдинов М.Т.
Функциональное программирование  230700.62 Прикладная информатика, бакалавр (не предусмотрено) 2012 г. Зиятдинов М.Т.
Функциональное программирование  09.03.04 Программная инженерия, бакалавр (Технологии разработки информационных систем) 2017 г. Голицына И.Н.
Зиятдинов М.Т.
Функциональное программирование  09.03.03 Прикладная информатика, бакалавр 2012 г. Зиятдинов М.Т.
Функциональное программирование  09.03.04 Программная инженерия, бакалавр (Технологии разработки информационных систем) 2018 г. Голицына И.Н.
Зиятдинов М.Т.
Рабочий адрес: Казань, ул. Кремлевская, д. 35, Учебное здание №14 (Корпус №2)
Номер кабинета: 902
Телефон: +79276707260
E-mail: 1Mansur.Ziyatdinov@kpfu.ru
Google scholar: https://scholar.google.com/citations?user=6py0vBAAAAAJ&hl=ru&oi=ao
Google+: https://plus.google.com/109760335143324106193
ORCiD: https://orcid.org/0000-0001-7415-2726
Google Scholar: https://scholar.google.com/citations?user=6py0vBAAAAAJ&hl=ru&oi=ao
ResearcherID: https://www.researcherid.com/rid/A-9829-2016
Scopus Author ID: https://www.scopus.com/authid/detail.uri?authorId=57188740504
Personal site: https://gltronred.info