УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»

Онлайн курсы по математике и программированию (code.stepic.org)

Хронические пробки в мегаполисах стали выгодным бизнесом (vedomosti.ru)

Геннадий Короткевич подтвердил звание чемпиона Google Code Jam во второй раз (ifmo.ru)

Гена Короткевич опять выиграл Google Code Jam! Поздравляем! Павел Маврин - в десятке! (youtube.com)

Абсолютный чемпион (ifmo.ru)

Международный семинар по распределенным интеллектуальным системам автоматизации (ifmo.ru)

Поздравляем! Геннадий Короткевич стал троекратным победителем чемпионата Яндекс.Алгоритм (ifmo.ru)

Шалыто А.А. - член технического комитета "IEEE Industrial Informatics" (ieee-tcii.org)

Правила поступления: Университет ИТМО. Интервью с Владимиром Ульянцевым (ucheba.ru)

Доклады аспирантов Университета ИТМО признаны лучшими на cтуденческой секции конференции GECCO (ifmo.ru)

Обновлен раздел "Фотографии": 2015.07.26. VK Cup

Обновлен раздел "Фотографии": 2015.07. Конференция INDIN 2015, Кембридж, Великобритания

Обновлен раздел "Articles":

• Buzdalov M., Yakupov I., Stankevich A. Fast Implementation of the Steady-State NSGA-II Algorithm for Two Dimensions Based on Incremental Non-Dominated Sorting // Proceedings of Genetic and Evolutionary Computation Conference. - 2015. - P. 647-654.
• Buzdalov M., Parfenov V. Various Degrees of Steadiness in NSGA-II and Their Influence on the Quality of Results // Proceedings of Genetic and Evolutionary Computation Conference (Companion). - 2015. - P. 749-750.
• Buzdalova A., Matveeva A., Korneev G. Selection of Auxiliary Objectives with Multi-Objective Reinforcement Learning // Proceedings of Genetic and Evolutionary Computation Conference (Companion). - 2015. - P. 1177-1180.
• Mironovich V., Buzdalov M. Hard Test Generation for Maximum Flow Algorithms with the Fast Crossover-Based Evolutionary Algorithm // Proceedings of Genetic and Evolutionary Computation Conference (Companion). - 2015. - P. 1229-1232.
• Petrova I., Buzdalova A. Selection of Auxiliary Objectives in the Travelling Salesman Problem using Reinforcement Learning // Proceedings of Genetic and Evolutionary Computation Conference (Companion). - 2015. - P. 1455-1456.
• Chivilikhin D., Ivanov I., Shalyto A. Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming // Proceedings of Genetic and Evolutionary Computation Conference (Companion). - 2015. - P. 1185-1188.

Статья об олимпиадно-образовательной деятельности со ссылкой на работу М. Буздалова

В 2015 году пятеро из восьми выпускников, подготовивших бакалаврские работы и магистерские диссертации под руководством Максима Буздалова и Арины Буздаловой, стали соавторами статей, принятых на международные конференции, труды которых индексируются в системе Scopus. Трое из четырех магистрантов, защиты которых состоятся в следующем году, также имеют статьи международного уровня.

Выпускники 2015 года:

• 4539 - Минаев Борис Юрьевич - нет статей

• 6538 - Архипов Виктор Сергеевич - 2 статьи
• 6538 - Буланова Нина Сергеевна - 1 статья
• 6538 - Матвеева Анна Александровна - 1 статья
• 6539 - Нигматуллин Нияз Габдуллазянович - нет статей
• 6539 - Петрова Ирина Анатольевна - 6 статей
• 6538 - Рост Аркадий Юрьевич - нет статей
• 6539 - Якупов Илья Юрьевич - 2 статьи

• 5539 - Антипов Денис Сергеевич - 1 статья
• 5538 - Басин Антон Олегович - нет статей
• 5539 - Кравцов Никита Олегович - 1 статья
• 5538 - Миронович Владимир Анатольевич - 2 статьи

Студенты Университета ИТМО – триумфаторы VK Сup! (ifmo.ru)

На крупнейшей в мире конференции по эволюционным вычислениям на молодежной секции (аспиранты и студенты) наши - Даниил Чивилихин и Арина Буздалова - заняли второе и третье место, соответственно

Миронов А.М. Теория вероятностных автоматов. Часть 1

Паша Маврин - большой начальник (минобрнауки.рф)

Хочу, чтобы кто-нибудь занялся этим (livejournal.com)

Выпускница Университета ИТМО получила стипендию ACM-W Scholarship

Дело Мордвинцева живет и побеждает (instagram.com)

Обновлен раздел "Фотографии": 2015.07.04. Выпуск кафедры КТ Университета ИТМО 2015

В.Вяткин и А. Шалыто проводят семинар "Распределенные интеллектуальные системы автоматизации" в рамках симпозиума IEEE, проводимого в Хельсинки

Обновлен раздел "Фотографии": 2015.06.16. Защита дипломов 2015

Шалыто А.А. Может быть, при построении определенного класса больших программных систем лед тронулся?

Обновлен раздел "Фотографии":

• 2015.06.25. Чемпионы 2015 года в Смольном
• 2015.06.26. Рудольф Калман - почетный доктор Университета ИТМО

Берем новые рубежи! Ирина Петрова выиграла стипендию ACM-W для поездки на конференцию GECCO 2015

Обновлен раздел "Фотографии": А. Шалыто, А. Станкевич и В. Парфенов в календаре

А.А. Шалыто. О реакциях на то, что о нас сказал Президент

Наш человек в Google Research - выпускник кафедры КТ 2010 года Саша Мордвинцев

Обновлен раздел "Фотографии": Приглашение А.С. Станкевича на церемонию вручения Государственных премий 2014 года

У нас приняли доклады на конференции:

• Buzhinsky I., Pang C., Vyatkin V. Formal Modeling of Testing Software for Cyber-Physical Automation Systems / The 2015 First International Workshop on Distributed Intelligent Automation Systems (DIAS). 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA-15), August 20-22, 2015, Helsinki.
• Chivilikhin D., Vyatkin V., Shalyto A. Inferring Automata Logic From Manual Control Scenarios: Implementation in Function Blocks / The 2015 First International Workshop on Distributed Intelligent Automation Systems (DIAS). 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA-15), August 20-22, 2015, Helsinki.
• Buzdalov M., Arkhipov V. An Asynchronous Implementation of the Limited Memory CMA-ES: First Results / 21st International Conference on Soft Computing (MENDEL), 2015.
• Buzdalova A., Bulanova N. Selection of Auxiliary Objectives in Artificial Immune Systems: Initial Explorations / 21st International Conference on Soft Computing (MENDEL), 2015.

Message from the DIAS 2015 Workshop Chairs

Обновлен раздел "Фотографии": 2015.05.29. Открытый кубок ОАО "Концерн "НПО "Аврора" по программированию

Об успехах в спортивном программировании в Университете ИТМО (facebook.com)

Обновлен раздел "Фотографии": 2015.05.20. Финал чемпионата мира по программированию ACM ICPC 2015

Обновлен раздел "Фотографии": Так куются будущие победы

Поздравление от журнала Chief Time

Студенты петербургского ИТМО победили на Чемпионате мира по командному программированию (rtr.spb.ru)

ICPC Live Finals (youtube.com)

Аспирантам кафедры "Компьютерные технологии", обучающимся по приоритетным направлениям модернизации и технологического развития экономики России, Арине Буздаловой и Даниилу Чивилихину назначены стипендии Президента РФ, Владимиру Ульянцеву - Правительства РФ на 2015/16 учебный год. Поздравляем!

СПбМО: история, воспоминания (mathsoc.spb.ru)

Обновлен раздел "Фотографии": НПО «Аврора» празднует 70-летие победы

О работах по биоинформатике в лаборатории «Компьютерные технологии» Университета ИТМО

В.Н. Васильев о сохранении в университетах лучших (businesspuls.ru)

67 израильских изобретений, которые изменили мир (itbusinessweek.com)

Обновлен раздел "Фотографии": 2015.04.09. VI сессия научной школы "Технологии программирования и искусственный интеллект". Университет ИТМО

Обновлен раздел "Фотографии":

• 2015.04.16. Встреча с А.О. Слисенко
• 2015.04.17. Юбилей В.Л. Макарова

Подача статей на DIAS Workshop (конференция ISPA 2015)

У нас приняли доклады на конференции:

• V. Ulyantsev, M. Melnik. Constructing Parsimonious Hybridization Networks from Multiple Phylogenetic Trees Using a SAT-solver. AlCoB 2015, Mexico City, Mexico, August 4-6, 2015.
• D. Chivilikhin, A. Shalyto, S. Patil, V. Vyatkin. Reconstruction of Function Block Logic using Metaheuristic Algorithm. INDIN 2015, Cambridge, UK, July 22-24, 2015.
• I. Buzhinsky, V. Ulyantsev, J. Veijalainen, V. Vyatkin. Evolutionary Approach to Coverage Testing of IEC 61499 Function Block Applications. INDIN 2015, Cambridge, UK, July 22-24, 2015.

VI сессия научной школы "Технологии программирования и искусственный интеллект" на IV Всероссийском конгрессе молодых ученых. Университет ИТМО. 2015.

Алексей Сергушичев рассказывает о своей работе (ifmo.ru)

Университетам поставили "отлично" (rg.ru)

Abhishek K. Jha, Stanley Ching-Cheng Huang, Alexey Sergushichev, Vicky Lampropoulou, Yulia Ivanova, Ekaterina Loginicheva, Karina Chmielewski, Kelly M. Stewart, Juliet Ashall, Bart Everts, Edward J. Pearce, Edward M. Driggers, Maxim N. Artyomov. Network Integration of Parallel Metabolic and Transcriptional Data Reveals Metabolic Modules that Regulate Macrophage Polarization. Immunity, Volume 42, Issue 3, pp. 419–430, 2015. Cell Press.

Поздравляем Лешу Сергушичева с большим успехом! (facebook.com)

Мы тренируем команды Пекинского университета (ifmo.ru)

Геннадий Короткевич начал побеждать по второму разу. Поздравляем! (ifmo.ru)

Наши выиграли чемпионат Татарстана по спортивному программированию (icl.ru)

Статья в Forbes о знакомых

Компания Devino Telecom, помогающая нам, вошло в число лучших работодателей России (kommersant.ru). Поздравляем!

Обновлен раздел "Фотографии":

• На конференции "Language and Automata Theory and Applications", Ницца, 2015
• Студенты Пекинского университета тренируются в Университете ИТМО

Применение автоматного программирования в неожиданной области (doc2all.ru)

Очень рад, что познакомился с Вами на конференции 9th International Conference on Language and Automata Theory and Applications. Глядя на работы Вашей команды, хочется верить, что Computer Science в России все же существует.
С уважением, Пантелеев Павел (Мехмат МГУ).

Студент третьего курса Геннадий Короткевич – двукратный победитель Facebook Hacker Cup (ifmo.ru)

Ученые объяснили превосходство искусственного интеллекта в аркадных играх (lenta.ru)

Switch-технология (энциклопедия "Традиция")

Анатолий Шалыто о "Заметках" (журнал "Понедельник")

Обновлен раздел Фотографии: Сотрудники лаборатории «Компьютерные технологии» (фотосессия сотрудников Университета ИТМО 23-24.12.2014)

В ожидании Терминатора (Санкт-Петербургские ведомости)

Правильные книги! (ponedelnikmag.com)

О нас пишут (http://mroovka-framework.blogspot.ru): "My inspirations. I love to program computers. Especially in the way described by this scientist: http://en.wikipedia.org/wiki/Anatoly_Shalyto. Sammy is my another source of inspiration: http://pl.wikipedia.org/wiki/Samuel_Eilenberg. So is David Harel. For his Statemate work: http://en.wikipedia.org/wiki/David_Harel. I do believe that works of these people have fundamental significance for the future trends in programming. Automata scented with algebra, Petri nets are the right ways to program today's systems".

"Upper and Lower Bounds on Unrestricted Black-Box Complexity of Jump_{n,1}. Maxim Buzdalov, Mikhail Kever, Benjamin Doerr.
This is to let you know that your paper submitted to EvoCOP has been nominated for a best paper award. On behalf of the programme chairs, we send our congratulations and best wishes. Awards will be presented at the EvoStar closing ceremony on Friday 10 April just before lunch. We look forward to seeing you in Copenhagen. Could I ask you please to forward this mail to your co-authors. Good luck!
Jennifer Willies, Edinburgh Napier University, Institute for Informatics & Digital Information 10 Colinton Road, Edinburgh EH10 5DT, UK"

Правильная газета (gazeta.ifmo.ru)

Балтийский научно-инженерный конкурс проводится с участием Университета ИТМО (Санкт-Петербургские ведомости)

Обновлен раздел Фотографии: 2015.02.04. Участие А.А. Шалыто в работе жюри "Балтийского научно-технического конкурса"

Обновлен раздел Фотографии: 2015.01.27. Фрагмент заседания Ученого Совета университета ИТМО

Награждение «Почетным знаком Святой Татьяны» в Смольном соборе (ifmo.ru)

Обновлен раздел Фотографии: 2015.01.25. А.А. Шалыто в Смольном соборе награжден Почетным знаком святой Татианы в категории "Наставник молодежи"

Автоматное программирование продолжает внедряться. Справка о внедрении результатов кандидатской диссертационной работы Большакова Олега Андреевича

Работа студии Артемия Лебедева в Санкт-Петербурге стоила один рубль, а в Москве 232 миллиона (topspb.tv)

Мы все еще нужны ETH:
"Dear Maxim,
I hope this Email finds you well. I am writing to you on behalf of the ACM committee, because just as last year the ETH team managed to qualify for the World Finals, and we wanted to ask you whether it would be possible to again have a training week for the team here at ETH. We would be able to cover the travel and accommodation costs of you and the team, and also pay you directly for your efforts with regard to the training week.
Please let me know what you think.
Best regards, Jan"

В режиме “инкогнито”. Российской компьютерной науке пора выбираться из тени (poisknews.ru)

Обновлен раздел Фотографии: 2014.12.27. Защита М.А. Лукина

Видеокурс машинного обучения на русском (youtube.com)

An unbeatable computer program has finally solved two-player limit Texas hold'em poker (theverge.com)

Новый компьютер освоил блеф в покере (rg.ru)

Нияз Нигматуллин и Владимир Ульянцев вывели в финал чемпионата мира команду UCLA (в рейтинге лучших университетов мира на 12 месте)!

"Dear Niyaz and Vladimir,
I enjoyed our discussions when you visited UCLA and I am happy that you trained our students.
Today we got word that:
> Your team from UCLA will advance to the 2015 ACM-ICPC World Finals in Marrakech, Morocco.
This is a wonderful outcome of your visit; we are grateful.
I hope all is well with you.
Best regards,
Jens Palsberg, dean CS department"

Классное начало Нового Года! Максим Буздалов входит в европейскую элиту по эволюционным вычислениям и ведет за за собой других (даже тех, кто этого и не хочет). Поздравляю и спасибо! (Справка: Benjamin Doerr - Professor for Computer Science Laboratoire d'Informatique Ecole Polytechnique, Senior Researcher for Max-Planck-Institut fur Informatik)

1. Buzdalov M., Kever M., Doerr B. Upper and Lower Bounds on Unrestricted Black-Box Complexity of Jump_{n,l} // Proceedings of the 15th European Conference on Evolutionary Computation in Combinatorial Optimisation
2. Antipov D., Buzdalov M., Doerr B. Runtime Analysis of (1+1) Evolutionary Algorithm Controlled with Q-learning using Greedy Exploration Strategy on OneMax+ZeroMax Problem // Proceedings of the 15th European Conference on Evolutionary Computation in Combinatorial Optimisation

Сроки (в месяцах) от подачи статьи до ее принятия и выхода в журналах американского математического общества. И это если статья проходит нормально. Примеры по близкой к нам тематике:
1. Algoritmica 7 + 14 = 21
2. Automatica J. IFAK 13 + 6 = 19
3. Discrete Math 12 + 3 = 15
4. Theory Comput Syst. 7 +12 = 19

10 жителей Иннополиса выбрали мэром экс-гендиректора Yota (cnews.ru)

Воспитанники школы спортивного программирования ИТМО бьют мировые рекорды (it-weekly.ru)

IEEE DIAS 2015 - Workshop on Distributed Intelligent Automation Systems

О TAP TAP Мити Гориловского! (russianelectronics.ru)

Обновлен раздел Фотографии: 2014.12.22. Защита Максима Буздалова

Технология разработки алгоритмов и программ "Графит-Флокс"

Автоматный язык применяется в космосе более 25 лет (old.computerra.ru)

Язык "ДРАКОН" (ru.wikipedia.org)

Большаков О.А., Рыбаков А.В. Автоматное моделирование технологических процессов на ПЛК Siemens // Вестник МГТУ «СТАНКИН». 2013. № 4, с. 71–75.

Шелехов В.И. Язык и технология автоматного программирования // Программная инженерия. 2014. № 4, с. 3-15.

Автоматное программирование используется в промышленности.
Большаков О.А., Рыбаков А.В. Разработка систем диспетчеризации и управления технологическим процессом на основе прототипа и промежуточного тестирования компонентов разрабатываемой системы // Промышленные АСУ и контроллеры. 2014. № 6, с. 3-7.

Через 17 лет после выхода книги появились люди, которые не могут жить без автоматного программирования в промышленности.
Большаков О.А., Рыбаков А.В. Автоматное моделирование систем автоматизации с реализацией на ПЛК // Автоматизация в промышленности. Октябрь 2013, с. 61-64.

Янкин Ю.Ю., Шалыто А.А. Разработка резервированного блока управления электроприводом на основе автоматного подхода // Научно-технический вестник информационных технологий, механики и оптики. 2014. № 6 (94). C. 146-152.

Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций // Научно-технический вестник информационных технологий, механики и оптики. 2014. № 6 (94). С. 98-105.

Обновлен раздел Фотографии: 2014.12.09. Пресс-конференция в Университете ИТМО

Обновлен раздел Фотографии: Конференция молодых специалистов ОАО "Концерн "НПО "Аврора". 2014

Automated Testing and Validation with Reactis (reactive-systems.com)

Применение единых стандартов на бортовое оборудование перспективных изделий авиационной техники (npo-nauka.ru)

Стандарт DO 254 на YouTube

Статья "Модельно-ориентированное проектирование по стандарту DO-254 с помощью инструментов компаний MathWorks и Mentor Graphics" (matlab.ru)

Лукин М.А., Буздалов М.В., Шалыто А.А. Верификация 800 автоматных программ, построенных при помощи генетического программирования / Международная научно-практическая конференция "Инструменты и методы анализа программ", TMPA 2014. C. 67-75. 2014.

Lukin M., Buzdalov M., Shalyto A. Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study // HVC 2014, LNCS 8855, pp. 165–170, 2014. Springer Switzerland.

Наш доклад "Vladimir Ulyantsev, Ilya Zakirzyanov and Anatoly Shalyto. BFS-based Symmetry Breaking Predicates for DFA Identification" приняли в Ниццу на конференцию LATA 2015!

Обновлен раздел Фотографии: Кубки за победы на чемпионатах мира по программированию (2004, 2008, 2009, 2012, 2013)

Фильм об искусственном интеллекте и о нас (topspb.tv)

А.А. Шалыто об ИТ-талантах в журнале "Эксперт. Северо-Запад"

Братья Кудиновы впереди на лихом коне! (kommersant.ru)

"Такие проекты, как Технопарк, важны и для рынка в целом, и в первую очередь – для самих студентов. У молодых специалистов должна быть возможность общаться с экспертами отрасли, пробовать свои силы в реальных проектах, иметь перед глазами вдохновляющие примеры. Мы стремимся создавать площадки для этого: проводим Форумы Технологий, организуем крупнейшую в России олимпиаду для программистов Russian Code Cup." – Дмитрий Гришин, генеральный директор Mail.Ru Group

Сайт олимпиады по программированию для русскоязычных программистов, проводимых Mail.ru и Университетом ИТМО, занял первое место в номинации "Связь, телекоммуникации, информационные технологии" на Всероссийском конкурсе "Золотой сайт 2014" (2014.goldensite.ru)

А еще в этом году Гена выиграл JetBrains Котлин Challenge! (habrahabr.ru)

Студент ИТМО впервые в истории взял «Большой шлем» в спортивном программировании (d-russia.ru)

Поздравляем Геннадия Короткевича с пятой победой в 2014 г. на самых престижных индивидуальных соревнованиях мира по спортивному программированию Topcoder Open

Университет ИТМО 17-й (!) в рейтинге российских вузов (univer-rating.ru)

Триумф "на коленке" (Российская Газета)

Книга об А.П. Ершове. Путь программиста (iis.nsk.su, pdf)

А.А. Шалыто промотивировал к созданию разновидности автоматного программирования. Статья опубликована в журнале "Программная инженерия". 2014, с. 3-15 (persons.iis.nsk.su)

Теперь "Заметки" можно слушать (vk.com)

«Руссофт» определил лучшие ИТ-университеты России (biz.cnews.ru)

Обновлен раздел Фотографии: 2014.10.31. Посещение "Лаборатории непрерывного математического образования" (http://lmno.ru) при 564 школе

Обновлен раздел "Статьи":

• Ульянцев В.И., Казаков С.В., Дубинкина В.Б., Тяхт А.В., Алексеев Д.Г. Metafast - программное средство для высокопроизводительного сравнительного анализа метагеномов / Сборник трудов IV международной научно-практической конференции "Постгеномные методы анализа в биологии, лабораторной и клинической медицине". Казань, Россия, 29 Октября – 1 Ноября, 2014. С. 103.
• Сергушичев А.А., Пирс Э., Артёмов М.Н. GAM: конвейер для совместного анализа данных транскрипционного и метаболического профайлинга / Сборник трудов IV международной научно-практической конференции "Постгеномные методы анализа в биологии, лабораторной и клинической медицине". Казань, Россия, 29 Октября – 1 Ноября, 2014. С. 104.
• Долганов В.О., Царев Ф.Н. Алгоритм сборки транскриптома на основе анализа компонент связности графа де Брёйна / Сборник трудов IV международной научно-практической конференции "Постгеномные методы анализа в биологии, лабораторной и клинической медицине". Казань, Россия, 29 Октября – 1 Ноября, 2014. С. 123.

Гость «Лаборатории непрерывного математического образования» - профессор А.А. Шалыто (отзыв)

Приняли доклад на еще одну конференцию по верификации TMPA-2014

Буклет лаборатории "Компьютерные технологии": на русском, на английском

В.Н. Васильев о развитии Университета ИТМО (kommersant.ru)

Наш доклад на очень крутой конференции HVC 2014 (research.ibm.com)

Еще раз об автоматном программировании. Лившиц А.С. Два случая устойчивости логики программы

Обновлен раздел Фотографии: 2014.10.18. Наши на заседании международного совета по проекту "5 российских вузов в 100 лучших университетов мира"

Одинец В.П. Зарисовки по истории компьютерных наук: учебное пособие. – Сыктывкар: Коми пединститут, 2013, 421 с.

Призеры премии «Эксперт в инновационно-промышленной сфере» (expert.ru)

Вручение премии «Эксперт года» (ifmo.ru)

Обновлен раздел Фотографии: 2014.10.02. Премия "Эксперт года" 2014

Журнал "Эксперт Северо-Запад" объявляет начало приема заявок на соискание премии "Эксперт в инновационно-промышленной сфере"

Обновлен раздел Фотографии: 2014.09.26. Учредительный съезд ассоциации выпускников Университета ИТМО

Темы магистерских диссертаций, бакалаврских и курсовых работ для студентов "Компьютерные технологии"

Обновлен раздел Фотографии: 2014.09.16. Руководство Ростуризма приняло участие в 20-й Международной туристской выставке "Отдых-2014"

Виталик Аксенов получил диплом первой степени на международной олимпиаде по математике среди студентов (http://www.imc-math.org.uk/imc2014/imc2014-scores.html, 27 место в мире!). Поздравляем!

Принята в печать статья: Zadorozhnaya O., Kirsanov D., Buzhinsky I., Tsarev F., Abramova N., Bratov A., Munoz F., Ribo J., Bori J., Riva M., Legin A. Water pollution monitoring by an artificial sensory system performing in terms of Vibrio fischeri bacteria // Sensors and Actuators B: Chemical (5-Year Impact Factor: 4.101), 2014, 7 p., Elsevier.

Обновлен раздел Фотографии: 2014.09.09. Геннадий Короткевич

Колонки из новых номеров журнала "Chief Time":

• А.А. Шалыто. Об упорстве // Журнал "Chief Time", июль 2014
• А.А. Шалыто. Слышать бой другого барабанщика // Журнал "Chief Time", август 2014
• А.А. Шалыто. О правде, силе и возможностях // Журнал "Chief Time", сентябрь 2014

Сотрудница нашей научной лаборатории Светлана Попова с работой на тему "Автоматическое извлечение информации и метаданных из неструктурированных источников информации" - победитель конкурсного отбора на предоставление в 2014 году субсидий молодым ученым, молодым кандидатам наук вузов, отраслевых и академических институтов, расположенных на территории Санкт-Петербурга

ALS IceBucket Challenge video (youtube.com)

Почему я пишу "Заметки"? Ответ здесь (d-russia.ru)

Pang C., Patil S., Yang C., Vyatkin V., Shalyto A. A Portability Study of IEC 61499: Semantiac and Tools / 12th IEEE International Conference on Industrial Informatics (INDIN 2014). July 27-30 2014. Port Alegre, Brazil

Дуров признан самым перспективным молодым бизнесменом Северной Европы (lenta.ru)

Поздравляем претендентов на получение премии Правительства Санкт-Петербурга победителям конкурса грантов для студентов вузов, расположенных на территории Санкт-Петербурга, аспирантов вузов, отраслевых и академических институтов:

• Александров Антон ("Разработка метода исправления ошибок вставки и удаления в наборе чтений нуклеотидной последовательности")
• Казаков Сергей ("Сборка контигов геномных последовательностей на основе принципа максимального правдоподобия")
• Сергушичев Алексей ("Разработка метода восстановления фрагментов генома с доказуемым качеством")
• Буздалова Арина ("Повышение эффективности эволюционных алгоритмов с помощью обучения с подкреплением")
• Буланова Нина ("Построение управляющих конечных автоматов с использованием алгоритмов многокритериальной оптимизации")
• Бужинский Игорь ("Метод построения управляющих автоматов с непрерывными воздействиями с автоматическим подбором переменных")
• Петрова Ирина ("Повышение эффективности эволюционных алгоритмов при помощи обучения с подкреплением в нестационарной среде")

Группировка из тысячи роботов научилась выстраиваться в сложные фигуры (lenta.ru)

Трансформируемый «Робот-оригами» самостоятельно собирается за 4 минуты: видео (russianelectronics.ru)

Рецензия на "Заметки о мотивации" в журнале "Прочтение"
Скриншот с сайта журнала

Сотрудники лаборатории "Алгоритмы сборки геномных последовательностей", созданной при кафедре "Компьютерные технологии" Университета ИТМО, принимают участие в проектах сборки геномов редких бактерий. Сотрудник лаборатории Сергей Казаков принял участие в проекте сборки генома редкой бактерии Serratia grimesii. Образцы клеток бактерии получены в Институте цитологии Российской академии наук в Санкт-Петербурге, а ее секвенирование выполнено в Казани в Институте фундаментальной медицины и биологии Казанского Федерального Университета. Геном бактерии включен в международную базу данных биотехнологической информации NCBI: http://www.ncbi.nlm.nih.gov/nuccore/JGVP00000000.

Обновлен раздел "Articles":

• Petrova I., Buzdalova A., Buzdalov M. Improved Helper-Objective Optimization Strategy for Job-Shop Scheduling Problem / Proceedings of the 12th International Conference on Machine Learning and Applications, ICMLA 2013. IEEE Computer Society, 2013. P. 374–377.
• Buzdalov M., Buzdalova A., Shalyto A. A First Step towards the Runtime Analysis of Evolutionary Algorithm Adjusted with Reinforcement Learning / Proceedings of the 12th International Conference on Machine Learning and Applications, ICMLA 2013. IEEE Computer Society, 2013. P. 203–208.
• Arkhipov V., Buzdalov M., Shalyto A. Worst-Case Execution Time Test Generation for Augmenting Path Maximum Flow Algorithms using Genetic Algorithms / Proceedings of the 12th International Conference on Machine Learning and Applications, ICMLA 2013. IEEE Computer Society, 2013. P. 108–111.
• Chivilikhin D., Ulyantsev V. Learning Finite-State Machines: Conserving Fitness Function Evaluations by Marking Used Transition / Proceedings of the 12th International Conference on Machine Learning and Applications, ICMLA 2013. IEEE Computer Society, 2013. P. 90–95.

Студент Университета ИТМО – дипломант GECCO (ifmo.ru)

Aksenov V., Kokhas K. Domino tilings and determinants // Journal of Mathematical Sciences, Vol. 200, No. 6, pp. 647-653, 2014.

Поздравляем Бужинского И.П. с выигрышем приза "Best Undergraduate Student Contribution to the Student Workshop" на конференции GECCO 2014

Графы де Брюйна и алгоритмы сборки — Сергей Нурк (youtube.com)

SPAdes: a New Genome Assembly Algorithm and its Applications to Single-Cell Sequencing (youtube.com)

Обновлен раздел "Articles":

• Chivilikhin D., Ulyantsev V. Inferring Automata-Based Programs from Specification With Mutation-Based Ant Colony Optimization / In Proceedings of the sixteenth Genetic and Evolutionary Computation Conference companion (GECCO'14), ACM, New York, NY, USA, pp. 67-68
• Buzhinsky I., Chivilikhin D., Ulyantsev V., Tsarev F. Improving the Quality of Supervised Finite-State Machine Construction Using Real-Valued Variables / In Proceedings of the sixteenth Genetic and Evolutionary Computation Conference companion (GECCO'14), ACM, New York, NY, USA, pp. 1037-1040
• Buzdalov M., Buzdalova A. OneMax Helps Optimizing XdivK: Theoretical Runtime Analysis for RLS and EA+RL / In Proceedings of the sixteenth Genetic and Evolutionary Computation Conference companion (GECCO'14), ACM, New York, NY, USA, pp. 201-202
• Buzdalova A., Kononov V., Buzdalov M. Selecting Evolutionary Operators using Reinforcement Learning: Initial Explorations / In Proceedings of the sixteenth Genetic and Evolutionary Computation Conference companion (GECCO'14), ACM, New York, NY, USA, pp. 1033-1036
• Buzdalov M., Petrova I., Buzdalova A. NSGA-II Implementation Details May Influence Quality of Solutions for the Job-Shop Scheduling Problem / In Proceedings of the sixteenth Genetic and Evolutionary Computation Conference companion (GECCO'14), ACM, New York, NY, USA, pp. 1445-1446

Программный продукт (Санкт-Петербургские ведомости)

Курс на Атлантику. Журнал "Newtone". 2014. № 16, май - июнь, с. 42.

Игры престолов. Журнал "Newtone". 2014. № 16, май - июнь, с. 34, 35.

"Свидетельство ненормальности — это повторение одного и того же поступка с ожиданием разных результатов", но конечные автоматы работают именно так!

Несколько слов о кафедре "Компьютерные технологии" и автоматном программировании (youtube.com)

Опарин В.В., Фильченков А.А., Сироткин А.В., Тулупьев А.Л. Матроидное представление семейства графов смежности над набором фрагментов знаний // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2010. № 4(68). C. 73-76.

Обновлен раздел Фотографии:

• 2014.06.11. Семинар с Умутом Акаром
• 2014.06.19. День чемпионов мира по программированию в НИУ ИТМО

Презентации на тему "Формальная верификация" (myshared.ru)

Обновлен раздел "Статьи":

• Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Муравьиный алгоритм для построения автоматных программ по спецификации / XII Всероссийское совещания по проблемам управления (ВСПУ-2014). С. 4531-4542.
• Ведерников Н.В., Демьянюк В.Ю., Кротков П.А., Ульянцев В.И., Шалыто А.А. Применение методов машинного обучения для автоматизированного построения управляющих автоматов в высокоуровневых средствах проектирования систем / XII Всероссийское совещания по проблемам управления (ВСПУ-2014). С. 3159-3166.

Обновлен раздел "Фотографии": 2014.06.06. А.А. Шалыто в его комнате

Обновлен раздел "Articles":

• Kogtenkov A., Meyer B., Velder S. Alias calculus, change calculus and frame inference // Science of Computer Programming. 2013. Elsevier. http://dx.doi.org/10.1016/j.scico.2013.11.006. 10 p.
• Furia C., Meyer B., Velder S. Loop Invariants: Analysis, Classification, and Examples // ACM Computing Surveys. 2014. Vol. 46. No. 3. http://dx.doi.org/10.1145/2506375. 51 p.

Обновлен раздел "Фотографии": 2014.05.23. Открытый кубок по программированию ОАО "Концерн "НПО Аврора" 2014

А.А. Шалыто. Где выход из вины? // Журнал "Chief Time", апрель 2014

А.А. Шалыто. О, команда // Журнал "Chief Time", май-июнь 2014

Обновлен раздел "Фотографии": 2014.05.15. Профессор Валерий Вяткин на кафедре "Компьютерные технологии"

Снова об автоматном программировании

Автоматы все шире внедряются в программирование (state-machine.com)

В этом принимает участие наш выпускник (top.rbc.ru)

10 основателей, ушедших из своих проектов

Первая часть радиоверсии книги А.А. Шалыто "Заметки о Мотивации" (радио "Мегабайт")

Обновлен раздел "Фотографии": А. Шалыто и В. Ульянцев

А.А. Шалыто - член программного комитета VI Всероссийской научно-практической конференции "Нечеткие системы и мягкие вычисления–2014" (НСМВ–2014)

Реакция на книгу Васильева В.Н., Парфенова В.Г. Истории кафедры "Компьютерные технологии"

Председателем Комитета по туризму Санкт-Петербурга назначена Инна Шалыто (Петербургский дневник)

В Санкт-Петербурге решили выяснить, как университеты меняют мегаполисы (severinform.ru)

Ф. Царев и А. Шалыто - эксперты в деловой сети (m2ies.com)

Питомник гениев

Пимкин А. Транслятор описания конечного автомата в исходный код на языке описания аппаратуры Verilog (ded32.net.ru)

7 марта 2014 г. Шалыто А. А. начал читать "Заметки о мотивации" на студенческом радио "Мегабайт" [НИУ ИТМО]

Бужинский И.П., Ульянцев В.И., Чивилихин Д.С., Шалыто А.А. Генерация управляющих автоматов по обучающим примерам на основе муравьиного алгоритма // Известия РАН. Теория и системы управления. 2014. № 2. С. 111-121.

Полмиллиарда долларов на экзистенциальный риск (pcweek.ru)

Сколь велик сегодня искусственный интеллект? (pcweek.ru)

15.02.2014 г. исполнилось 80 лет со дня рождения лауреата премии Тьюринга Никлауса Вирта - почетного доктора НИУ ИТМО

И.П. Бужинский, В.И. Ульянцев, Ф.Н. Царев. Построение управляющих конечных автоматов с вещественными переменными по обучающим примерам // Материалы 6-й Всероссийской мультиконференции по проблемам управления. Ростов-на-Дону: Изд-во ЮФУ, Т. 1, с. 9-13, 2013.