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

Студенты И. Закирзянов, А. Лобода, Н. Ханжина и аспиранты А. Буздалова и Е. Путин - претенденты 2016 г. на получение премии Правительства Санкт-Петербурга победителям конкурса грантов для студентов вузов, расположенных на территории Санкт-Петербурга, аспирантов вузов, отраслевых и академических институтов, расположенных на территории Санкт-Петербурга. В список претендентов вошли 43 студента и 70 аспирантов Университета ИТМО, 77 студентов и 41 аспирант Санкт-Петербургского политехнического университета Петра Великого, пять студентов и девять аспирантов Санкт-Петербургского государственного электротехнического университета «ЛЭТИ» им. В.И. Ульянова (Ленина)» и 19 студентов и 14 аспирантов СПбГУ! (knvsh.gov.spb.ru)

Tampere International Center for Signal Processing опубликовал в Интернете серию книг "Reprints from the Early Days of Information Sciences". Это книги о Е. Нечипоруке, А. Накашиме, П. Порецком, А. Саломаа, Х. Заманеке, П. Эренфесте, К. Комамио, а также о ранних работах по функция Уолша и дискретному косинусному преобразованию. В 2016 г. в этой серии вышла книга "Early Work in Switching Theory and Logic Design in USSR", где я имел честь быть соредактором. Ссылки на эти книги размещены здесь (ticsp.cs.tut.fi)

Обновлен раздел "Фотографии": 2016.09.09. В Университете ИТМО прошел "Марафон Megabyte 4.0"

Обновлен раздел "Фотографии": 2016.09.13. Журнал "Собака.ru" проводит съемку чемпионов мира из Университета ИТМО и нас заодно!

Обновлен раздел "Фотографии": 2016.09.13. Чемпионы мира из университета ИТМО и их наставники

В Университете ИТМО 9 и 10 сентября 2016 г. проходит марафон "Мегафон МВ 4.0". Выступил.

Radomir S. Stankovic, Jaakko T. Astola, Anatoly A. Shalyto & Alexander V. Strukov (eds.). Reprints from the Early Days of Information Sciences: Early Work in Switching Theory and Logic Design in USSR. Tampere International Center for Signal Processing, Tampere, 2016.

Workshop on Pioneers and Landmarks in The Development of Information and Communication Technologies. EUROCAST 2017, Las Plamas, Canary Islands, Spain

Workshop on Algebraic and Combinatorial Methods in Signal and Pattern Analysis. EUROCAST 2017, Las Plamas, Canary Islands, Spain

Информационное письмо о Reed-Muller 2017 Workshop (mvl.jpn.org)

В хорошей компании. А. Шалыто в программном комитете Reed-Muller 2017 Workshop (mvl.jpn.org)

IEEE международный симпозиум по многозначной логике (mvl.jpn.org)

Reed-Muller 2017 Workshop (mvl.jpn.org)

Министр связи и массовых коммуникаций РФ Н. Никифоров: "Подготовить высококлассного программиста так же сложно, как олимпийского чемпиона" (russianelectronics.ru)

«Глубинные изменения произошли в школьном образовании, а не в университетах» (d-russia.ru)

Знай наших! (the-village.ru)

Статья о Алексее Сергушичеве в журнале NewTone

Статья о Лидии Перовской в журнале NewTone

Студентка Университета ИТМО вошла в десятку победительниц Google Code Jam to I/O for Women (ifmo.ru)

А.А. Шалыто. Свет в конце туннеля

Шалыто А.А. Далекое и близкое

Памяти Р. Калмана (ifmo.ru)

Российские школьники стали вторыми в общем зачете на международной олимпиаде по информатике IOI (ifmo.ru)

Д. Чивилихин: "Почему стоит работать на кафедре" (ifmo.ru)

Г. Ткаченко: "Чем хорош хороший стартап?" (ifmo.ru)

И. Арбузов: "Гении остаются в университете" (ifmo.ru)

Зажгли с Рукшиным на "Эхо Москвы в Санкт-Петербурге"! (echo.msk.ru)

Почему и как граждане должны оплачивать образование (d-russia.ru)

Поздравляю всех выпускников кафедры КТ, поступивших в 2016 году в аспирантуру: Антипов Д., Архипов В., Басин А., Васильев А., Ведерников Н., Миронович В., Муравьев С., Попов А., Шагал А.

Мы и Стэнфорд на олимпиадах по программированию

Сохранить в университетах лучших! (rusmecenat.ru)

Забавное зрелище (sketchfab.com)

О наших и не только в "Известиях" и газете "Поиск"

Обновлен раздел "Фотографии": 2016.07.09. Выпуск кафедры КТ 2016

Никита Русин осуществил автоматическую посадку малогабаритного квадракоптера на контактную плошадку. Почти Илон Маск! Знай наших! (youtube.com)

Обновлен раздел "Фотографии": 2016.05.26. Награждение первокурсников различных университетов СПб в EMC

Владимир Ульянцев и Даниил Чивилихин - кандидаты наук! Поздравляем!

Prisma: почему это не минутное увлечение, а технологический феномен

Президент России встретился с чемпионами мира 2016 года по программированию (d-russia.ru)
В день начала приемной кампании в вузы Владимир Путин встретился с победителями ACM ICPC из Университета ИТМО и СПбГУ (ifmo.ru)
Встреча с участниками студенческого чемпионата мира по программированию (kremlin.ru)

Ученые создали программу для анализа совокупностей ДНК болезнетворных микроорганизмов (gazeta.ru)
Ученые из РФ научились быстро сравнивать ДНК разных "наборов" микробов (ria.ru)
Ученые нашли новый способ анализа совокупности генов (tass.ru)

Место роста. Web of Science манит российские научные журналы (poisknews.ru)

Или бизнес помогает IT-коллективам в вузах, или нам всем труба (d-russia.ru)

На оборонных предприятиях стали проводиться соревнования по программированию. Кроме Кубка АО "НПО "Аврора" по программированию (http://neerc.ifmo.ru/contests/aurora/information/index.html), который в этом году проходит с помощью Университета ИТМО уже в пятый раз, АО "НПО "Марс" с помощью Ульяновского государственного технического университета начал проводить Олимпиаду по программированию (http://www.npomargjs.com/ru/news/ofic_inf/284-2015-12-21/).

Тренер ИТМО по спортивному программированию получил престижную международную награду (fontanka.ru)

Печальная карьера – это когда они идут работать в Facebook или в Google

Пятнадцать лет побед: Андрей Станкевич – обладатель награды ACM ICPC Senior Coach Award (ifmo.ru)

Шалыто А.А. принял участие с докладом «Или бизнес помогает классным ИТ-коллективам в вузах, или нам всем труба» в круглом столе «Требования к подготовке ИТ-специалиста глазами бизнеса» XIV Всероссийской конференции «Преподавание информационных технологий в Российской Федерации». 20.05.2016, СПб, СПбГУ

Петербург стал самым привлекательным для трудоустройства IT-специалистов. «Деловой Петербург», 11 мая 2016

О сохранении талантливой молодежи в российском университете / АНАТОЛИЙ ШАЛЫТО (youtube.com)

У нас в ИТМО 22.04.2016 была встреча с Олегом Тиньковым. Пришло с 1000 человек. Он очень классно все рассказывал. Но так получилось, что один из студентов (!) помог мне получить микрофон на последний вопрос. Наше обсуждение началось с 47.39 - здесь он неправильно назвал имя своей сотрудницы - моей бывшей студентки Юлии Царевой, и я его поправил. С 48.32 и до конца идет наша беседа https://www.periscope.tv/w/1nAKEwwrEjgJL. После этого он признал мой вопрос лучшим и подписал мне свою книгу, а я подарил ему "Заметки о мотивации" и буклет о нашей кафедре. После этого я стал еще раз убеждать его, что не могут все только забирать у нас ребят, ничего не давая взамен, а кто-то должен и помогать. После этого он пообещал уставить соответствующую стипендию для наших ребят!

Беседа на тему "А кто-то будет нам помогать или все хотят только забирать?": Анатолий Шалыто и Олег Тиньков. Он пообещал дать нашим стипендию!

The World Record for the Shortest Math Article: 2 Words (openculture.com)

Вот какие статьи надо писать (openculture.com)

Использование автоматов в трейдинге (cs.cornell.edu)

Студентка Университета ИТМО вошла в десятку победительниц Google Code Jam to I/O for Women (ifmo.ru)

Соруководитель международной лаборатории "Компьютерные технологии" Университета ИТМО, докт. техн. наук, профессор-исследователь кафедры "Компьютерные технологии" Валерий Вяткин (он также профессор Технического Университета Лулео (Швеция) и Университета Аалто (Финляндия)) прославляет наш университет в Японии.

С 47 по 50 минуту крик души А. Шалыто в формате видео 360 (youtube.com)

Social. Science. Technology. Программа мероприятия

Жизнь продолжается! Совет по повышению конкурентоспособности ведущих университетов определил субсидии вузам – участникам проекта на 2016 год (минобрнауки.рф)

GECCO-2016 Workshop on Algorithms and Data Structures for Evolutionary Computation (genome.ifmo.ru)

Ученые придумали новый способ сравнения и анализа метагеномов (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)