Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
скрыть
отправить сообщение
Бикбулатов Тимур Русланович
пользователь
Прежние места работы
(Нажмите для отображения)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра алгоритмических языков
, магистрант, 1 сентября 2018 - 1 июня 2020
1 статья
,
1 тезисы доклада
,
2 НИР
IstinaResearcherID (IRID): 100900035
Деятельность
Статьи в сборниках
2020
Дедуктивная верификация программного обеспечения
Бикбулатов Т.Р.
в сборнике
Инновационные взгляды в будущее ‘2020: Сборник материалов конференции
, место издания
КУПРИЕНКО СВ Одесса
Тезисы докладов
2019
Дедуктивная верификация программ на языке Python
Бикбулатов Т.Р.
в сборнике
Материалы Международного молодежного научного форума «Ломоносов-2019»
, издательство
ООО "МАКС Пресс"
(Москва)
, тезисы
редакторы
Алешковский Иван Андреевич
,
Андриянов Андрей Владимирович
,
Антипов Евгений Александрович
НИРы
31 июля 2018 - 4 сентября 2020
Методы выявления потребностей секторов экономики в цифровых платформах и сквозных технологиях на основе анализа больших массивов текстов
Научно-образовательный центр компетенций в области цифровой экономики
Руководитель:
Ершова Т.В.
Ответственный исполнитель:
Райков А.Н.
Участники НИР:
Бакаров А.А.
,
Бикбулатов Т.Р.
,
Елизаров А.М.
,
Жебель В.В.
,
Меркулов А.А.
,
Отмахова Ю.С.
,
Парадовская Л.И.
,
Тихомиров И.А.
,
Хохлов Ю.Е.
1 января 2016 - 31 декабря 2020
Математическое и программное обеспечение перспективных систем обработки символьной информации
Кафедра алгоритмических языков
Руководитель:
Мальковский М.Г.
Ответственный исполнитель:
Корухова Ю.С.
Участники НИР:
Абрамов В.Г.
,
Абрамов С.А.
,
Арефьев Н.В.
,
Баева Н.В.
,
Березин С.Б.
,
Бикбулатов Т.Р.
,
Большакова Е.И.
,
Бордаченкова Е.А.
,
Волкова И.А.
,
Вылиток А.А.
,
Головин И.Г.
,
Горячая И.В.
,
Грацианова Т.Ю.
,
Груздева Н.В.
,
Ефремова Н.Э.
,
Иванов К.М.
,
Казырид М.И.
,
Кузина Л.Н.
,
Кулева А.С.
,
Матвеева Т.К.
,
Мостяев А.И.
,
Панфёров А.А.
,
Парамонов С.В.
,
Полякова И.Н.
,
Соловьев С.Ю.
,
Столяров А.В.
,
Сутырин П.Г.
,
Ульянов М.В.
,
Фастовец Н.Н.