ИСТИНА

Бикбулатов Тимур Русланович пользователь

1 статья, 1 тезисы доклада, 2 НИР

IstinaResearcherID (IRID): 100900035

Деятельность

• Статьи в сборниках

  • • 2020 Дедуктивная верификация программного обеспечения
    • Бикбулатов Т.Р.
    • в сборнике Инновационные взгляды в будущее ‘2020: Сборник материалов конференции, место издания КУПРИЕНКО СВ Одесса

• Тезисы докладов

  • • 2019 Дедуктивная верификация программ на языке Python
    • Бикбулатов Т.Р.
    • в сборнике Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2019», серия ISBN 978-5-9-00150-123-7. Секция "Химия, издательство ООО "МАКС Пресс" (Москва), тезисы
    • редакторы Алешковский Иван Андреевич, Андриянов Андрей Владимирович, Антипов Евгений Александрович

• НИРы

  • • 31 июля 2018 - 4 сентября 2020 Методы выявления потребностей секторов экономики в цифровых платформах и сквозных технологиях на основе анализа больших массивов текстов
    • Научно-образовательный центр компетенций в области цифровой экономики
    • Руководитель: Ершова Т.В. Ответственный исполнитель: Райков А.Н. Участники НИР: Бакаров А.А., Бикбулатов Т.Р., Елизаров А.М., Жебель В.В., Меркулов А.А., Отмахова Ю.С., Парадовская Л.И., Тихомиров И.А., Хохлов Ю.Е.
  • • 1 января 2016 - 31 декабря 2020 Математическое и программное обеспечение перспективных систем обработки символьной информации
    • Кафедра алгоритмических языков
    • Руководитель: Мальковский М.Г. Ответственный исполнитель: Корухова Ю.С. Участники НИР: Абрамов В.Г., Абрамов С.А., Арефьев Н.В., Баева Н.В., Березин С.Б., Бикбулатов Т.Р., Большакова Е.И., Бордаченкова Е.А., Волкова И.А., Вылиток А.А., Головин И.Г., Горячая И.В., Грацианова Т.Ю., Груздева Н.В., Ефремова Н.Э., Иванов К.М., Казырид М.И., Кузина Л.Н., Кулева А.С., Матвеева Т.К., Мостяев А.И., Панфёров А.А., Парамонов С.В., Полякова И.Н., Соловьев С.Ю., Столяров А.В., Сутырин П.Г., Ульянов М.В., Фастовец Н.Н.