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

Ученые придумали новый способ сравнения и анализа метагеномов (ifmo.ru)

Jetbrains: The unicorn Silicon Valley doesn't like to talk about (movingfulcrum.com)

П. Кротков и А. Васильев в январе 2016 г. провели обучение студентов Бразилии по спортивному программированию. Вот отзывы об их работе

Kotlin 1.0 Released: Pragmatic Language for JVM and Android (blog.jetbrains.com)

Известные выпускники Университета ИТМО

Обновлен раздел "Фотографии": 2015.02.05. Конференция профессорско-преподавательского состава Университета ИТМО-2016

Василий Филиппов. Как я изобрёл набор юного химика и попал в журнал Science (secretmag.ru)

Карпов В.Э. Автоматное программирование и робототехника. 2014

Марк Петрович Гальперин и его книга "Прыжок кита" (lit.lib.ru)

Энциклопедия параллельных алгоритмов (algowiki-project.org)

Максим Буздалов - руководитель Workshop «Algorithms and Data Structures for Evolutionary Computation» на «Genetic and Evolutionary Computation Conference» (GECCO 2016). Denver, USA, July 20-24 2016 (gecco-2016.sigevo.org)

А.А. Шалыто. Автоматное программирование начинает новую жизнь

Чему учат на кафедре "Компьютерные технологии" Университета ИТМО (neerc.ifmo.ru)

Интервью с Максимом Буздаловым в журнале NewTone

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

• 2015.12.24. Защиты Владимира Ульянцева и Даниила Чивилихина
• Выдающиеся работы Елены Павловой (матери Виталика Аксенова)

Нейронные сети и трансформируют изображения (github.com)

Обновлен раздел "Фотографии": 2015.12. Чемпионы мира по программированию

Гальперин М.П. Прыжок кита

Mark Galperin. Whale jump. Письмо с разрешением на распространение

О Васе Филиппове пишет "Гардиан"

Конкуренция на мировом рынке - как это сложно! (kommersant.ru)

Журнал Science о деятельности Васи Филлипова (sciencemag.org)

Шалыто А.А. - соруководитель семинара на конференции INDIN-2016

Buzhinsky I., Kazakov S., Ulyantsev V., Tsarev F., Shalyto 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

Как ректор ИТМО Васильев ради студентов стал Дартом Вейдером (fontanka.ru)

Обновлен раздел "Фотографии": 2015.12. Так приходит слава

Васильев В.Н., Парфенов В.Г. Технологии успеха: опыт участия вузов в олимпиадах программистов ACM ICPC

Видеошар "Eyeball" в израильской армии (youtube.com)

Денис Свердлов предполагает провести гонки беспилотных автомобилей. Женя Южаков, которой потом работал у Дениса, проводил соответствующее моделирование 13 лет назад. Я предложил Денису собрать команду из известных ему наших выпускников и выиграть соревнования.

И. Кружилина. Взгляд на ИТМО – небольшой университет, создающий большие ИТ-таланты

MachineLearning.ru - Профессиональный информационно-аналитический ресурс, посвященный машинному обучению, распознаванию образов и интеллектуальному анализу данных

Inside ITMO — the Small University Producing Big IT Talent (article.digital-russia.com)

Google открыла для всех библиотеку машинного обучения TensorFlow (geektimes.ru)

Обновлен раздел "Фотографии": 2015.10. Сборы в Лионе. 2015

Обновлен раздел "Фотографии": 2015.10.30. 80 лет кафедре "Автоматика и процессы управления" ЛЭТИ

Шалыто А.А. Об улучшении ситуации в ИТ-образовании в России

"Я ни о чем не жалею" (Правила жизни А. Шалыто). Журнал "Мегабайт", №193, октябрь 2015

Буклет факультета информационных технологий и программирования

Why do so many great coders (red in TopCoder and Codeforces) like Gennady decide to attend Russian universities instead of highly reputed institutions like MIT, Harvard or Cambridge? (quora.com)

Петербургские ученые придумали, как заморить рак голодом (kp.ru)

YotaPhone перестал быть полностью российским и стал на 65% китайским (russianelectronics.ru)

Владимир Ульянцев и Даниил Чивилихин вышли на защиту (aspirantura.ifmo.ru)

ОПК завершила испытания комплекса управления роботами (russianelectronics.ru)

Василий Филиппов снова покоряет мир! (tjournal.ru)

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

Рак научились морить голодом (lenta.ru)

Vincent E., Sergushichev A., Griss T., Gingras M., Samborska B., Ntimbane T., Coelho P., Blagih J., Raissi T., Choiniere L., Bridon G., Loginicheva E., Flynn B., Thomas E., Tavare J., Avizonis D., Pause A., Elder D., Artyomov M., Jones R. Mitochondrial Phosphoenolpyruvate Carboxykinase Regulates Metabolic Adaptation and Enables Glucose - Independent Tumor Growth // Molecular cell. V. 60, Issue 2, pp.195–207, 15 October 2015. DOI:10.1016/j.molcel.2015.08.013. Year Impact Factor: 15.052. Impact Factor: 14.018. SJR: 10.968.

Виталий Клебан в действии! (russianelectronics.ru)

Диагноз омбудсмена: почему чиновники и инновации несовместимы (rbc.ru)

Больше математики: как государство может помочь в подготовке «айтишников» (rbc.ru)

«Японский Перельман» согласился объяснить главнейшую тайну математики (lenta.ru)

«Потерянный блокнот» Рамануджана опередил развитие математики на сто лет вперед (lenta.ru)

Великие компании и компания Никиты Шамгунова MemSQL (wired.com)

Интересная встреча с интересным человеком :-)

Грант Шабурова: 50000 рублей гроссмейстерам Codeforces (codeforces.com)

Реакция на появление сайта "Всемирная школа программирования чемпионов мира из Университета ИТМО":

• "Круто" (Олег Степанов, соруководитель компании JetBrains).
• "Классная идея. Бренд должен работать по полной, а у ИТМО бренд в этой области ого-го какой" (Василий Филлиппов, сооснователь компании SPB Software).
• "Ух, красота какая! Вы молодцы, как обычно" (Женя Куликова, Яндекс).
• "Круто, молодцы" (Иван Романов, чемпион мира по программирования 2006 г.).
• "Здорово" (Александр Туркот, экс-руководитель ИТ-направления в Сколково).
• "Отлично. Хорошо, что смогли реализовать идею, про которую я давно слышал. Супер! Мои поздравления. Казалось бы, произошло некоторое насыщение в России олимпиадным движением, но появляются все новые идеи и проекты. Это не может не радовать!" (Матвей Казаков, третье место на чемпионате мира по программированию 1999, директор по операциям финалов чемпионата мира по программированию по версии ACM).
• "Круто" (Дима Зевелев, вице-президент Mail.Ru Group).
• "Nice" (Никита Шамгунов, призер чемпионата мира по программированию 2001 г., сооснователь компании MemSQL).
• "Ого, все очень серьезно. Дизайн хороший" (Артем Васильев, чемпион мира по программированию 2015 г.).
• "Я в пятницу встречусь с Ниязом Нигматуллиным в UCLA" (Виктор Шабуров, основатель компании Looksery Inc).

Другие лица: зачем Snapchat купила российский стартап за $150 млн (forbes.ru)

Learn to win from champions - Effective training programs to win a high-end programming competitions (wcps.ifmo.ru)

«Нам нужен далеко не всякий программист» (ucheba.ru)

Антон Александров - лауреат стипендии Правительства РФ для аспирантов. Поздравляем!

Сертификаты с конференции GECCO 2015:

• Daniil Chivilikhin - 2nd Place Best Paper Award - GECCO 2015, Student Workshop
• Arina Buzdalova - 3rd Place Best Paper Award - GECCO 2015, Student Workshop

Обновлен раздел "Фотографии": 2015.09.19. Russian Code Cup 2015. Взгляд изнутри

Вот как играет в настольный теннис чемпион мира... по программированию! (youtube.com)

Обновлен раздел "Фотографии": 2015.09.19. А.А. Шалыто на Russian Code Cup

Зажигаю на Russian Code Cup! Блок "Образование и карьера" (it.mail.ru)

Обновлен раздел "Фотографии": 2015.09.09. Встреча с А.А. Шалыто в "Деловом Клубе журнала "Chief Time". Санкт-Петербург. Ресторан "Дом". Фотографии Юлии Феофановой

А. Шалыто приглашен на Russian Code Cup (spbit.ru)

Встреча Делового Клуба ChiefTime: "Как удалось создать в Университете ИТМО систему взращивания команд-чемпионов мира по программированию. Что необходимо для привлечения и удержания молодых талантов. На примере СПбГУ ИТМО"

Вести 24 и В. Путин о победах студентов ИТМО (youtube.com)

Президент РФ В.В. Путин первого сентября снова говорил об успехах студентов Университета ИТМО. На этот раз на встрече в образовательном центре "Сириус" в Сочи, организованном по его инициативе для раннего выявления, развития и дальнейшей профессиональной поддержки одаренных детей, проявивших выдающиеся способности в области искусств, спорта, естественнонаучных дисциплин, а также добившихся успеха в техническом творчестве.

Мотивирую первокурсников Университета ИТМО (ifmo.ru)

Program Synthesis from Refinement Types by Nadia Polikarpova (research.microsoft.com)

Gartner назвала самые многообещающие высокие технологии (russianelectronics.ru)

Обновлен раздел "Фотографии": 2015.08.21. Хельсинки 2015. Награда нашла "героя"

Одинец В.П. Об истории некоторых математических методов, используемых при принятии управленческих решений: учебное пособие – Сыктывкар: Изд-во СГУ им. Питирима Сорокина, 2015. – 108 с.

Award presented to Professor Anatoly Shalyto as workshop organizer of 1st IEEE International Workshop on Distributed Intelligent Automation Systems held in conjunction with IEEE ISPA-15, August 20-22, 2015, Helsinki, Finland

Год в разгаре, а Гена Короткевич уже четыре крупнейших соревнования по спортивному программированию выиграл: Facebook Нaker Cup, Яндекс.Алгоритм, VK Cup (совместно с Ниязом Нигматуллиным), Google Code Jam. Еще в этом году: в сентябре - Russian Code Cup, в ноябре - TopCoder Open.

Онлайн курсы по математике и программированию (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)