Перейти к содержимому страницы.

Царев Федор Николаевич

Трехкратный победитель конкурса грантов для студентов и аспирантов вузов и академических институтов, расположенных на территории Санкт-Петербурга. Победитель конкурса на соискание премий Правительства Санкт-Петербурга в области научно-педагогической деятельности (2010 год). Победитель внутривузовских конкурсов: «Аспирант года-2010» и «Молодые ученые НИУ ИТМО» (2011 год). Лауреат гран-при Первой национальной премии «Прорыв» в рамках Года молодежи (2009 год). Участник стажировок по программной инженерии и верификации программ в Высшей политехнической школе Цюриха (Швейцария) (20092010 годов) и в университете Твенте (Нидерланды) (2011 год). Автор 8 научных статей в реферируемых журналах, участник 4 международных и 4 всероссийских конференций. Участник 7 научно-исследовательских проектов. Обладатель трех свидетельств о регистрации программы для ЭВМ (20102011 годов).

Образование:

В 2009 году окончил Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики по направлению «Прикладная математика и информатика».

Область научных интересов:

биоинформатика, сборка генома, эволюционные алгоритмы, машинное обучение, автоматное программирование, программная инженерия

Опыт проектной деятельности;

Руководитель работ по проекту «Разработка методов машинного обучения на основе генетических алгоритмов для построения управляющих конечных автоматов» (в рамках ФЦП «Научные и научно-педагогические кадры инновационной России на 20092013 годы»).

Ответственный исполнитель работ по следующим проектам в рамках ФЦП «Научные и научно-педагогические кадры инновационной России на 20092013 годы»:

  • Разработка методов совместного применения генетического и автоматного программирования для построения систем управления беспилотными летательными аппаратами;
  • Применение методов искусственного интеллекта в разработке управляющих программных систем;
  • Методы повышения качества при разработке автоматных программ с использованием функциональных и объектно-ориентированных языков программирования;
  • Разработка метода машинного обучения на основе алгоритмов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов; 
  • Разработка метода сборки геномных последовательностей на основе восстановления фрагментов по парным чтениям.

Ответственный исполнитель работ по проекту «Разработка методов сборки геномных последовательностей для вычислительных систем экзафлопсного уровня производительности» (в рамках ФЦП «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 20072013 годы»).

Избранные публикации:

  • Александров А. В., Казаков С. В. Сергушичев А. А., Царев Ф. Н., Шалыто А. А. Генерация конечных автоматов для управления моделью беспилотного самолета // Научно-технический вестник СПбГУ ИТМО. 2011. № 2, с. 3 – 11. 
  • Казаков С.В., Царев Ф.Н., Шалыто А.А. Метод построения конечных автоматов верхнего уровня для управления моделью беспилотного самолета на основе обучающих примеров // Научно-технический вестник СПбГУ ИТМО. 2011. Вып. 6, с. 64 - 68. 
  • Tsarev F., Egorov K. Finite State Machine Induction using Genetic Programming Based on Testing and Model Checking / Proceedings of the 2011 GECCO Conference Companion on Genetic and Evolutionary Computation. NY. : ACM. 2011, pp. 759 – 762. 
  • Ulyantsev V., Tsarev F. Extended Finite-State Machine Induction using SAT-Solver / Proceedings of the Tenth International Conference on Machine Learning and Applications, ICMLA 2011, Honolulu, HI, USA, 18-21 December 2011. IEEE Computer Society, 2011. Vol. 2. P. 346–349. 
  • Ульянцев В.И., Царев Ф.Н. Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы // Научно-технический вестник информационных технологий, механики и оптики. 2012. №1(77), с. 96-100. 
  • Егоров К. В., Царев Ф. Н., Шалыто А. А. Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе обучающих примеров и спецификации // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики, № 5 (69), 2010, с. 81-86. 
  • Царев Ф. Н. Метод построения управляющих конечных автоматов на основе тестовых примеров с помощью генетического программирования // Информационно-управляющие системы. 2010. № 5, с. 31–36. 

Публикации

Zadorozhnaya O., Kirsanov D., Buzhinsky I., Tsarev F., Abramova N., Bratov A., Munoz F.J., Ribo J., Bori J., Riva M.C., Legin A.

Water pollution monitoring by an artificial sensory system performing in terms of Vibrio fischeri bacteria//Sensors and Actuators, B: Chemical, 2015, Vol. 207, No. Part B, pp. 1069-1075 Подробнее

Buzhinskii I.P., Kazakov S.V., Ulyantsev V.I., Tsarev F.N., Shalyto A.A.

Modification of the method of generation of control finite-state machines with continuous actions based on training examples//Journal of Computer and Systems Sciences International, 2015, Vol. 54, No. 6, pp. 853-865 Подробнее

Бужинский И.П., Казаков С.В., Ульянцев В.И., Царев Ф.Н., Шалыто А.А.

Модификация метода генерации управляющих конечных автоматов с непрерывными воздействиями по обучающим примерам // Известия Российской академии наук. Теория и системы управления -2015. - № 6. - С. 17-30 Подробнее

Buzhinsky I., Chivilikhin D., Ulyantsev V., Tsarev F.

Improving the Quality of Supervised Finite-State Machine Construction Using Real-Valued Variables//GECCO 2014 - Companion Publication of the 2014 Genetic and Evolutionary Computation Conference, 2014, pp. 1037-1040 Подробнее

Долганов В.О., Царев Ф.Н.

IV МЕЖДУНАРОДНАЯ НАУЧНО-ПРАКТИЧЕСКАЯ КОНФЕРЕНЦИЯ Постгеномные методы анализа в биологии, лабораторной и клинической медицине//. АЛГОРИТМ СБОРКИ ТРАНСКРИПТОМА НА ОСНОВЕ АНАЛИЗА КОМПОНЕНТ СВЯЗНОСТИ ГРАФА ДЕ БРЁЙНА- 2014//СБОРНИК ТРУДОВ IV МЕЖДУНАРОДНОЙ НАУЧНО-ПРАКТИЧЕСКОЙ КОНФЕРЕНЦИИ Постгеномные методы анализа в биологии, лабораторной и клинической медицине - 2014. - С. 123

Сергушичев А.А., Александров А.В., Казаков С.В., Царев Ф.Н., Шалыто А.А.

Совместное применение графа де Брейна, графа перекрытий и микросборки для de novo сборки генома // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика -2013. - Т. 13. - № 2-2. - С. 51–57 Подробнее

Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А.

Применение эволюционного программирования на основе обучающих примеров для генерации конечных автоматов, управляющих объектами со сложным поведением // Известия Российской академии наук. Теория и системы управления -2013. - № 3. - С. 85-100 Подробнее

Buzdalov M.V., Tcarev F.N.

An evolutionary approach to hard test case generation for shortest common superstring problem//Proceedings - 1st BRICS Countries Congress on Computational Intelligence, BRICS-CCI 2013, 2013, pp. 81-85 Подробнее

Bradnam K.R., Fass J.N., Alexandrov A., Baranay P., Bechner M., Birol I., Boisvert S., Chapman J.A., Chapuis G., Chikhi R., Chitsaz H., Chou W., Corbeil J., Del Fabbro C., Docking T.R., Durbin R., Earl D., Emrich S., Fedotov P., Fonseca N.A., Ganapathy G., Gibbs R.A., Gnerre S., Godzaridis E., Goldstein S., Haimel M., Hall G., Haussler D., Hiatt J.B., Ho I.Y., Howard J., Hunt M., Jackman S.D., Jaffe D.B., Jarvis E.D., Jiang H., Kersey P.J., Kazakov S., Kitzman J.O., Knight J.R., Koren S., Lam T., Lavenier D., Laviolette F., Li Z., Li Y., Liu B., Liu Y., Luo R., Maccallum I., Macmanes M.D., Maillet N., Melnikov S., Naquin D., Ning Z., Otto T.D., Paten B., Paulo O., Phillippy A.M., Pina-Martins F., Place M., Przybylski D., Qin X., Qu C., Ribeiro F.J., Richards S., Rokhsar D.S., Ruby J.G., Scalabrin S., Schatz M.C., Schwartz D.C., Sergushichev A., Sharpe T., Shaw T.I., Shendure J., Shi Y., Simpson J.T., Song H., Tsarev F., Vezzi F., Vicedomini R., Vieira B.M., Wang J., Worley K.C., Yin S., Yiu S., Yuan J., Zhang G., Zhang H., Zhou S., Korf I.F.

Assemblathon 2: evaluating de novo methods of genome assembly in three vertebrate species//GigaScience, 2013, Vol. 2, No. 1, pp. 10 Подробнее

Kapun E., Tsarev F.N.

De Bruijn Superwalk with Multiplicities Problem is NP-hard//BMC bioinformatics, 2013, Vol. 14, No. 5, pp. S7 Подробнее

Aleksandrov A.V., Tsarev F.N., Kazakov S.V., Sergushichev A.A., Shalyto A.A.

The use of evolutionary programming based on training examples for the generation of finite state machines for controlling objects with complex behavior//Journal of Computer and Systems Sciences International, 2013, Vol. 52, No. 3, pp. 410-425 Подробнее

Kapun E., Tsarev F.N.

On NP-hardness of the paired de Bruijn sound cycle problem//Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, Vol. 8126, No. LNBI, pp. 59-69 Подробнее

Buzhinsky I.P., Ulyantsev V.I., Tsarev F.N., Shalyto A.A.

Search-based construction of finite-state machines with real-valued actions: New representation model//GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference, 2013, pp. 199-200 Подробнее

Сергушичев А.А., Царев Ф.Н.

Сборка генома и технология MapReduce // Суперкомпьютеры -2013. - № 4 (12). - С. 40-43

Александров А.В., Казаков С.В., Мельников С.В., Сергушичев А.А., Царев Ф.Н.

Метод сборки контигов геномных последовательностей на основе совместного применения графов Де Брюина и графов перекрытий // Научно-технический вестник информационных технологий, механики и оптики -2012. - № 6(82). - С. 93-98

Ulyantsev V.I., Tsarev F.N.

Extended Finite-State Machine Induction using SAT-Solver//IFAC Proceedings Volumes (IFAC-PapersOnline), 2012, Vol. 14, No. 1, pp. 236-241 Подробнее

Бердичевский В.А., Быковский С.В., Казин Ф.А., Кузнецов А.О., Куликов А.В., Муромцев Д.И., Румянцев А.С., Серебрякова В.С., Тойвонен Н.Р., Царев М.Н., Царев Ф.Н., Шалыто А.А.

Проектный менеджмент в ВУЗе. Учебные кейсы - 2012

Ульянцев В.И., Царев Ф.Н.

Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы // Научно-технический вестник информационных технологий, механики и оптики -2012. - № 1(77). - С. 96-100

Chivilikhin D.S., Ulyantsev V.I., Tsarev F.N.

Test-Based Extended Finite-State Machines Induction with Evolutionary Algorithms and Ant Colony Optimization//GECCO 2012 Proceedings of the 14th annual conference companion on Genetic and evolutionary computation, 2012, pp. 603-606 Подробнее

Царев Ф.Н.

Олимпиадные задачи по информатике и программированию. Задача "Две дуги" // Компьютерные инструменты в школе -2011. - № 2

Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А.

Генерация конечных автоматов для управления моделью беспилотного самолета // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2011. - № 2(72). - С. 3-11

Tsarev F.N., Egorov K.V.

Finite State Machine Induction using Genetic Algorithm Based on Testing and Model Checking//Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication, 2011, pp. 759-762 Подробнее

Uliantcev V.I., Tsarev F.N.

Extended Finite-State Machine Induction using SAT-Solver//Proceedings - 10th International Conference on Machine Learning and Applications, ICMLA 2011, 2011, Vol. 2, pp. 346–349 Подробнее

Александров А.В., Казаков С.В., Мельников С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А.

Метод исправления ошибок в наборе чтений нуклеотидной последовательности // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2011. - № 5(75). - С. 81-84

Казаков С.В., Царев Ф.Н., Шалыто А.А.

Метод построения конечных автоматов верхнего уровня для управления моделью беспилотного самолета на основе обучающих примеров // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2011. - № 6(76). - С. 64-68

Царев Ф.Н.

Finite State Machine Induction using Genetic Algorithm Based on Testing and Model Checking//Proceedings of the 2011 GECCO conference companion on Genetic and Evolutionary Computation, 2011, pp. 759-762

Ульянцев В.И., Царев Ф.Н., Шалыто А.А.

Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы//Сборник докладов XIV Международной конференции по мягким вычислениям и измерениям (SCM'2011) - 2011. - Т. 2. - С. 69-75

Ульянцев В.И., Царев Ф.Н.

Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы//Список-2011: материалы межвузовской научной конференции по проблемам информатики - 2011. - С. 356-358

Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н.

Genetic Algorithm for Induction of Finite Automata with Continuous and Discrete Actions//Proceedings of the 2011 GECCO conference companion on Genetic and Evolutionary Computation, 2011, pp. 775-778

Aleksandrov A.V., Sergushichev A.A., Kazakov S.V., Tsarev F.N.

Genetic algorithm for induction of finite automata with continuous and discrete output actions//Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication, 2011, pp. 775-778 Подробнее

Ульянцев В.И., Царев Ф.Н., Цыпленков А.Е., Цыпленков А.Е.

Олимпиадные задачи по информатике и программированию. Задача "Производство бензина // Компьютерные инструменты в школе -2011. - № 1. - С. 33-35

Царев Ф.Н., Шалыто А.А.

Метод построения управляющих конечных автоматов на основе тестовых примеров с помощью генетического программирования // Информационно-управляющие системы -2010. - № 5. - С. 31-36

Шалыто А.А., Царев Ф.Н.

Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе обучающих примеров и спецификации // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2010. - № 5 (69). - С. 81-86

Царев Ф.Н.

Метод оценивания трафика VPN-сети на основе моделей скрытой Марковской цепи в задачах технической разведки // Безопасность информационных технологий -2010. - № 3

Тарасюк М.В., Царев Ф.Н., Царев Ф.Н.

Метод оценивания трафика VPN-сети на основе моделей скрытой Марковской цепи в задачах технической разведки // Безопасность информационных технологий -2010. - № 3. - С. 149-152

Ульянцев В.И., Царев Ф.Н.

Олимпиадные задачи по информатике и программированию. Разбор задачи Строки Фибоначчи // Компьютерные инструменты в школе -2010. - № 1. - С. 36-37

Колганов Р.А., Поромов С.С., Ульянцев В.И., Царев Ф.Н., Поромов С.С., Колганов Р.А.

Олимпиадные задачи по информатике и программированию. Разбор задачи Обобщенные числа-близнецы // Компьютерные инструменты в школе -2010. - № 4. - С. 43-45

Егоров К.В., Царев Ф.Н., Шалыто А.А.

Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе обучающих примеров и спецификации // Научно-технический вестник СПбГУ ИТМО -2010. - № 5 (69). - С. 81 - 86

Царев Ф.Н.

Небывалая победа Российской школы программирования // Информационно–управляющие системы. -2009. - № 4. - С. 75–76

Царев Ф.Н., Ульянцев В.И.

Олимпиадные задачи по информатике и программированию. Разбор задачи «Транспортные узлы» // Компьютерные инструменты в школе -2009. - № 6. - С. 36-37

Царев Ф.Н., Ульянцев В.И.

Олимпиадные задачи по информатике и программированию. Разбор задачи «Раскраска кубиков» // Компьютерные инструменты в школе -2009. - № 5. - С. 19-21

Царев Ф.Н.

Совместное применение генетического программирования, конечных автоматов и искусственных нейронных сетей для построения системы управления беспилотным летательным аппаратом // Научно-технический вестник СПбГУ ИТМО -2008. - № 53. - С. 42-60

Публикации в репозитории Университета ИТМО

Александров А. В., Казаков С. В., Мельников С. В., Сергушичев А. А., Царев Ф. Н.
МЕТОД СБОРКИ КОНТИГОВ ГЕНОМНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ НА ОСНОВЕ СОВМЕСТНОГО ПРИМЕНЕНИЯ ГРАФОВ ДЕ БРЮИНА И ГРАФОВ ПЕРЕКРЫТИЙ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(82) за 2012 г.

Ульянцев В. И., Царев Ф. Н.
ПРИМЕНЕНИЕ МЕТОДОВ РЕШЕНИЯ ЗАДАЧИ О ВЫПОЛНИМОСТИ БУЛЕВОЙ ФОРМУЛЫ ДЛЯ ПОСТРОЕНИЯ УПРАВЛЯЮЩИХ КОНЕЧНЫХ АВТОМАТОВ ПО СЦЕНАРИЯМ РАБОТЫ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 1(77) за 2012 г.

Казаков С. В., Царев Ф. Н., Шалыто А. А.
МЕТОД ПОСТРОЕНИЯ КОНЕЧНЫХ АВТОМАТОВ ВЕРХНЕГО УРОВНЯ ДЛЯ УПРАВЛЕНИЯ МОДЕЛЬЮ БЕСПИЛОТНОГО САМОЛЕТА НА ОСНОВЕ ОБУЧАЮЩИХ ПРИМЕРОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(76) за 2011 г.

Александров А. В., Казаков С. В., Мельников С. В., Сергушичев А. А., Царев Ф. Н., Шалыто А. А.
МЕТОД ИСПРАВЛЕНИЯ ОШИБОК В НАБОРЕ ЧТЕНИЙ НУКЛЕОТИДНОЙ ПОСЛЕДОВАТЕЛЬНОСТИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 5(75) за 2011 г.

Егоров К. В., Царев Ф. Н., Шалыто А. А.
ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКОГО ПРОГРАММИРОВАНИЯ ДЛЯ ПОСТРОЕНИЯ АВТОМАТОВ УПРАВЛЕНИЯ СИСТЕМАМИ СО СЛОЖНЫМ ПОВЕДЕНИЕМ НА ОСНОВЕ ОБУЧАЮЩИХ ПРИМЕРОВ И СПЕЦИФИКАЦИИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 5(69) за 2010 г.

Шалыто А. А., Царев М. Н., Царев Ф. Н.
ГРАФИЧЕСКИЙ ЯЗЫК ОПИСАНИЯ ИГРОВЫХ ЭПИЗОДОВ В ФУТБОЛЕ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(52) за 2008 г.

Царев Ф. Н.
СОВМЕСТНОЕ ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКОГО ПРОГРАММИРОВАНИЯ, КОНЕЧНЫХ АВТОМАТОВ И ИСКУССТВЕННЫХ НЕЙРОННЫХ СЕТЕЙ ДЛЯ ПОСТРОЕНИЯ СИСТЕМЫ УПРАВЛЕНИЯ БЕСПИЛОТНЫМ ЛЕТАТЕЛЬНЫМ АППАРАТОМ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Соколов Д. О., Царев Ф. Н., Давыдов А.
ПРИМЕНИЕ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ ДЛЯ ПОСТРОЕНИЯ АВТОМАТОВ МУРА И СИСТЕМ ВЗАИМОДЕЙСТВУЮЩИХ АВТОМАТОВ МИЛИ НА ПРИМЕРЕ ЗАДАЧИ ОБ «УМНОМ МУРАВЬЕ»
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Соколов Д. О., Царев Ф. Н., Давыдов А.
ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКОГО ПРОГРАММИРОВАНИЯ И МЕТОДОВ СОКРАЩЕННЫХ ТАБЛИЦ ПЕРЕХОДОВ И ДЕРЕВЬЕВ РЕШЕНИЙ ДЛЯ ПОСТРОЕНИЯ АВТОМАТОВ УПРАВЛЕНИЯ МОДЕЛЬЮ БЕСПИЛОТНОГО ЛЕТАТЕЛЬНОГО АППАРАТА
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.