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

Обновлен раздел "Фотографии": 2014.02.15. Семинар по социальному проектированию для участников конкурса "Ты нужен людям"

Самые красивые математические формулы (lenta.ru)

Студенты и выпускники кафедры "Компьютерные технологии" НИУ ИТМО так выступили в финале Facebook Hacker Cup 2014: Г. Короткевич - 1 место, Н. Нигматуллин - 4 место, А. Станкевич - 6 место, Е. Капун - 8 место, М. Кевер - 19 место. Поздравляем!

В разделе "Статьи" выложены наши работы из сборника материалов конференции СПИСОК-2013

Мы выиграли грант РФФИ по конкурсу инициативных научных проектов (конкурсу «A»). Тема проекта - «Разработка муравьиных алгоритмов для построения управляющих конечных автоматов», руководитель - Шалыто А.А.

Автоматизация в промышленности и заметки о мотивации нашли друг друга (avtoprom.ru)

Обновлен раздел "Фотографии": 2013.11. Конференция ICMLA 2013, Майами

Книга В.Н. Васильева и В.Г. Парфенова "Истории кафедры "Компьютерные технологии НИУ ИТМО" в "Виртуальном компьютерном музее"

Обновлен раздел "Диссертации". Добавлена диссертация К.В. Егорова на тему «Генерация управляющих автоматов на основе генетического программирования и верификации».

Б. Мейер, К. Чоппи, Я.В. Ливен, Й. Стаунструп. Computer Science борется за справедливую оценку // Санкт-Петербургский университет. 2011, №9.

Рождение кафедры "Компьютерные технологии" НИУ ИТМО в потоке мировых событий в области ИТ

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

А.А. Шалыто. А так ли мы устаем, чтобы отдыхать? // Журнал "Chief Time", февраль 2014

Машинное обучение от "Яндекса" (habrahabr.ru)

Стэнфордский курс по машинному обучению (stanford.edu)

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

• Казаков С.В., Бужинский И.П. Разработка метода построения конечных автоматов для управления объектами со сложным поведением на основе обучающих примеров
• Чивилихин Д.С., Ульянцев В.И. Разработка методов автоматизированного построения надежного программного обеспечения по обучающим примерам и темпоральным свойствам на основе автоматного подхода
• Александров А.В., Капун Е.Д. Разработка метода сборки генома из чтений, содержащих ошибки вставки и удаления

Новогоднее поздравление от В. Макарова

Технические проекты и инициатива "Сохраним в университетах лучших!" (bigrobot.ru)

Реестр ведущих научных и научно-педагогических школ Санкт-Петербурга

С.Е. Рукшин рассказывает об образовании. Что такое школьное образование в России сегодня (spbroditeli.ru)

О встрече, посвященной выходу книги «Истории кафедры «Компьютерные технологии»:

• Магистр йота (Санкт-Петербургские ведомости)
• Прикасаясь к технологиям будущего (Университет XXI века)
• Герои питерского ноногарварда (1-line.spbu.ru)

Анатолий Шалыто - об отъезде за рубеж молодых квалифицированных специалистов (youtube.com)

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

• 2013.12.01. Полуфинал чемпионата мира по программированию NEERC 2013
• 2013.12.11. Д. Гориловский на встрече, посвященной выходу книги «Истории кафедры «Компьютерные технологии»

О браслетах TapTap:

• Наши выпускники (Дмитрий Гориловский, а в ролике и Сергей Пак) сделали возможным тактильное общение на больших расстояниях (lookatme.ru)
• Газета "The Washington Post" об инновации наших выпускников
• И Forbes заметил TapTap
• А теперь и "Daily Mail" о браслетах TapTap

Наши выпускники еще умеют собирать деньги под проекты (kickstarter.com)

Русский смартфон YotaPhone уже можно купить. Пока недешево. Медведев: «Apple напрягся?» (russianelectronics.ru)

Коростин Д.О. Лекция "Высокопроизводительное секвенирование и его применение" (lectoriy.mipt.ru)

Публичные лекции по биоинформатике в МФТИ. Миронов А.А. (dbmp.mipt.ru)

Обновлен раздел "Верификация":

• Миронов А.М. Теория функциональных программ. Часть 1
• Миронов А.М., Френкель С.Л. Метод редукции вероятностных систем переходов

Видеосервис “Одноклассников” дополнился онлайн-кинотеатром (pcweek.ru)

Успехи студентов и выпускников кафедры "Компьютерные технологии" СПбГУ ИТМО на соревнованиях различного уровня по программированию

Калиниченко А.И., Казаков С.В., Ульянцев В.И., Чивилихин Д.С. - победители 2013 года конкурса грантов для студентов вузов, расположенных на территории Санкт-Петербурга, аспирантов вузов, отраслевых и академических институтов, расположенных на территории Санкт-Петербурга (http://knvsh.gov.spb.ru/)

Глава госкорпорации "Ростех" С. Чемезов вручил Д. Медведеву первый в мире смартфон с двумя экранами YotaPhone. Один из двух авторов патентов на этот смартфон - Дмитрий Гориловский, выпускник нашей кафедры "Компьютерные технологии" НИУ ИТМО, входивший в состав команды выпускников кафедры, которые для коммуникатора Yota предыдущего поколения за несколько месяцев создали программное обеспечение

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

• Александров А.В., Казаков С.В., Сергушичев А.А. Программное средство, реализующее алгоритм упрощения графа перекрытий при сборке геномных последовательностей. № 2013660881. Дата регистрации - 21.11.2013
• Александров А.В., Казаков С.В., Сергушичев А.А. Программное средство, реализующее алгоритм исправления ошибок вставки и удаления в наборе чтений нуклеотидной последовательности // Свидетельство о регистрации программы для ЭВМ. № 2013660882. Дата регистрации - 21.11.2013

НИУ ИТМО - один из победителей конкурса на создание центров прорывных исследований в области информационных технологий. У НИУ ИТМО поддержаны следующие направления исследований: искусственный интеллект (подавали мы), сетевые технологии в распределенных компьютерных сетях, управление и семантические технологии, человеко-машинные интерфейсы

2013.11.26. Диплом И.П. Бужинского, В.И. Ульянцева, Ф.Н. Царева за победу в конкурсе научно-технических работ и проектов «Молодёжь и будущее авиации и космонавтики»

Программа для чемпионов (youtube.com)

Чемпионы ИТМО тренируют студентов из Китая (ifmo.ru)

Проект НИУ ИТМО принес победу Санкт-Петербургу (ifmo.ru)

Юрий Мильнер профинансирует электронное секвенирование ДНК (lenta.ru)

Приглашение к участию в I Петербургском Международном Молодежном Форуме

Обновлен раздел Фотографии: 2013.11.01. Вручение "Кубка Вызова" (лучший инновационный регион России) Санкт-Петербургу за проект НИУ ИТМО "Easy Genomics". От Санкт-Петербурга - Инна Шалыто, от НИУ ИТМО - Павел Федотов.

Журнал "NewTone". 2013. № 12. Статьи о нас:

• Железный человек
• Эволюция гениев

НИУ ИТМО идет дальше (poisknews.ru)

О победе в «Кубке вызова» 2013

Обновлен раздел "Дипломы": выложены несколько дипломных работ за 2013 год

Каждый, кто программирует, думает, что он умеет, или где стоило применять автоматное программирование (ko.com.ua)

Ульянцев В.И. Программный комплекс для построения и тестирования управляющих конечных автоматов // Свидетельство о регистрации программы для ЭВМ. № 2013619840. Дата регистрации - 17.10.2013.

Буклет для финала чемпионата мира по программированию 2013 года в Санкт-Петербурге

Федор Царев на Lenta.ru

Поздравляем Лауреатов Премии Правительства Санкт-Петербурга! (ifmo.ru)

Фильм "Колыбель гениев" (автор и режиссер - Ярослав Фомичёв, 2001)

Приказ о стипендиях имени В.А. Годунова на 2013/2014 учебный год

Результаты Кубка Вызова 2013: наш проект «Easy Genomics» принес победу Санкт-Петербургу

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

Статьи, принятые на ICMLA'13 (Miami, Florida, USA, 4-7 декабря):

• Petrova I., Buzdalova A., Buzdalov M. Improved Helper-Objective Optimization Strategy for Job-Shop Scheduling Problem
• Arkhipov V., Buzdalov M., Shalyto A. Worst-Case Execution Time Test Generation for Augmenting Path Maximum Flow Algorithms using Genetic Algorithms
• Buzdalov M., Buzdalova A., Shalyto A. A First Step towards the Runtime Analysis of Evolutionary Algorithm Adjusted with Reinforcement Learning
• Chivilikhin D., Ulyantsev V. Learning Finite-State Machines: Conserving Fitness Function Evaluations by Marking Used Transitions

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

Панченко Е.В., Ульянцев В.И. Применение методов решения задачи о выполнимости квантифицированной булевой функции для построения управляющих конечных автоматов по сценариям работы и темпоральным свойствам // Научно-технический вестник информационных технологий, механики и оптики, 2013, № 4 (86). C. 151-153.

В 2013 г. премию Правительства Санкт-Петербурга победителям конкурса грантов для студентов и аспирантов получили наши студенты и аспиранты:

• Калиниченко А.И. Комплекс для исследования автоматного управления роботами;
• Казаков С.В. Разработка алгоритма упрощения графа перекрытий при сборке геномных последовательностей;
• Ульянцев В.И. Построение управляющих конечных автоматов по сценариям работы на основе решения задачи удовлетворения ограничений;
• Чивилихин Д.С. Разработка метода генерации конечных автоматов на основе муравьиного алгоритма.

В финале чемпионата мира среди русскоязычных программистов Russian Code Cup из 50 участников шесть (!) выпускников и студентов кафедры "Компьютерные технологии" НИУ ИТМО: П. Маврин, В. Исенбаев, Е. Капун, М. Кевер, Н. Нигматуллин и Г. Короткевич. Все они чемпионы мира разных лет, причем Е. Капун, М. Кевер, Н. Нигматуллин - двукратные.

Лекция о роботах в рамках Russian Code Cup (газета "Московские новости")

Интервью с двукратным чемпионом мира по программированию Михаилом Кевером (газета "Университет ИТМО", сентябрь 2013)

Поздравляем Геннадия Короткевича с успехом на Russian Code Cup (spbit.ru)

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

• Chivilikhin D., Ulyantsev V. Learning Finite-State Machines with Classical and Mutation-Based Ant Colony Optimization: Experimental Evaluation // In Proceedings of 1st BRICS Countries Congress on Computation Intelligence, 2013.
• Buzdalov M., Tsarev F. An Evolutionary Approach to Hard Test Case Generation for Shortest Common Superstring Problem // In Proceedings of 1st BRICS Countries Congress on Computation Intelligence, 2013.

Buzdalova A., Buzdalov M., Parfenov V. Generation of Tests for Programming Challenge Tasks using Helper-Objectives // Lecture Notes in Computer Science. Heidelberg: Springer, 2013. Vol. 8084, pp. 300-305.

Стипендия для студентов и аспирантов кафедры КТ имени Виктора Александровича Годунова (положение)

Новый офис Mail.ru (bigpicture.ru)

Очередная победа наших! (Российская газета)

Журнал "Наука в фокусе" о нашей победе

С ними стоит сотрудничать

Министерство обороны и НИУ ИТМО (dp.ru)

Интервью А.А. Шалыто после финала чемпионата мира в Санкт-Петербурге (1-line.spbu.ru/)

Подготовка квалифицированных ИТ-специалистов очень дорого обходится компании "Яндекс"

Александров А.В., Казаков С.В., Царев Ф.Н., Сергушичев А.А., Федотов П.В. Программное средство, реализующее алгоритм поиска перекрытий между квазиконтигами // Свидетельство о регистрации программы для ЭВМ. № 2013616471. Дата регистрации - 09.07.2013

Презентация про почетных докторов НИУ ИТМО

St. Petersburg National Research University of IT, Mechanics & Optics and ACM International Collegiate Programming Contest

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

• Buzhinsky I., Ulyantsev V., Shalyto A. Test-Based Induction of Finite-State Machines with Continuous Output Actions / Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, Saint Petersburg, Russia, June 19-21, 2013. P. 1049-1054.
• Chivilikhin D., Ulyantsev V., Shalyto A. Solving Five Instances of the Artificial Ant Problem with Ant Colony Optimization / Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, Saint Petersburg, Russia, June 19-21, 2013. P. 1043-1048.

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

А тем временем мы побеждаем! (crn.ru)

Большая статья о Никите Шамгунове и его деле (wired.com)

Фильм "Компьютерные мальчики", который был снят девять лет назад

Организация чемпионата мира в Петербурге признана лучшей в истории проведения соревнований (Петербургский дневник)

Благодарность А. Шалыто за участие в работе Экспертного совета конкурса «Телеком Идея 2013»

Обновлен раздел Фотографии: 2013.07.03. Финал соревнований ACM ICPC 2013

Обновлен раздел Фотографии: 2012.10.26. Конкурс The Big Bang, НИУ ИТМО

Илья Сегалович, конструктор национальной машины (РИА Новости)

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

• Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А. Применение эволюционного программирования на основе обучающих примеров для генерации конечных автоматов, управляющих объектами со сложным поведением. // Известия российской академии наук. Теория и системы управления. 2013. № 3. С. 85—100.
• Aleksandrov A. V., Kazakov S. V., Sergushichev A. A., Tsarev F. N., 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. Vol. 52, No. 3, 2013. P. 410—425.

Четверо спокойных мужчин (rusrep.ru)

Газета "Поиск": Нарасхват!

В.Н. Васильев о будущем НИУ ИТМО (strf.ru)

На конференцию BRICS-CCI приняты наши доклады:

• Maxim Buzdalov and Fedor Tsarev. An Evolutionary Approach to Hard Test Case Generation for Shortest Common Superstring Problem
• Daniil Chivilikhin and Vladimir Ulyantsev. Learning Finite-State Machines with Classical and Mutation-Based Ant Colony Optimization: Experimental Evaluation

В 2008 г. в конкурсе "Молодые. Дерзкие. Перспективные" в разделе "Бизнес-идея" победили братья Царевы. В 2013 г. в финал этого конкурса в разделе "Научно-исследовательский проект" вышла Арина Буздалова. Поздравляем! Болеем!

Янкин Ю.Ю., Шалыто А.А. Метод создания программного обеспечения модулей, выполненных на основе программируемых логических интегральных схем // Системы управления и обработки информации. 2013. Вып. 26, с. 128–135.

Оказывается герои, а среди них есть Герои России, слишком много получали - много должны получать другие! (Известия)
Герои не должны и пенсии большие получать - чиновники, как всегда знают, как правильно (Известия)

Обновлен раздел Фотографии: 2013.07.04. Вручение диплома и мантии Почетного доктора НИУ ИТМО Бьерну Страуструпу

Professor Shalyto! Thank you for your spirited speech at my honoring (I had a few bits translated in real time) and the delicious Georgian dinner. I too hope that we will find opportunities to meet again in the future.
Bjarne Stroustrup

Наши статьи в материалах конференции GECCO 2013:

• Chivilikhin D., Ulyantsev V. MuACOsm – A New Mutation-Based Ant Colony Optimization Algorithm for Learning Finite-State Machines / Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2013). July 6–10, 2013, Amsterdam, The Netherlands. P. 511-518.
• Buzhinsky I., Ulyantsev V., Tsarev F., Shalyto A. Search-Based Construction of Finite-State Machines with Real-Valued Actions: New Representation Model / Genetic and Evolutionary Computation Conference (GECCO 2013) Companion. July 6–10, 2013, Amsterdam, The Netherlands. P. 199-200.
• Buzdalov M., Buzdalova A., Petrova I. Generation of Tests for Programming Challenge Tasks Using Multi-Objective Optimization / Genetic and Evolutionary Computation Conference (GECCO 2013) Companion. July 6–10, 2013, Amsterdam, The Netherlands. P. 1655-1658.

Петербургский дневник:

• Владимир Парфенов: образование в области программирования более чем востребовано // Петербургский дневник. № 122 от 08.07.2013
• О самовоспроизводимости в НИУ ИТМО
• Нам пригодились перфокарты

Фотографии с финала ACM ICPC 2013:

• https://picasaweb.google.com/hq.icpc/2013_5
• https://picasaweb.google.com/hq.icpc/2013_5
• http://www.it-weekly.ru/photo/560/
• http://www.it-weekly.ru/photo/562/

Обновлен раздел Фотографии: 2013.07.07. Церемония чествования выпускников 2013 года

НИУ ИТМО - один из победителей конкурса на предоставление субсидий для вхождения в мировые рейтинги университетов (ifmo.ru)

ИТМО - необычная точка роста на ИТ-карте России. Михаил Левин на "Дожде" (tvrain.ru)

Новое место работы для программистов (pcweek.ru)

Еще раз о победе команды НИУ ИТМО в ICPC 2013

• Михаил Левин и Анатолий Шалыто на "Вестях FM" (mp3)
• Классный репортаж с финала (livejournal.com)
• Наши умней всех (rusrep.ru)
• Валентин Макаров: "Надо создавать условия, чтобы удержать лучших из лучших в российской науке" (russoft.ru)

Процессоры, гаджеты, НИУ ИТМО и Яндекс (vesti.ru)

"Россия 24" об ИТМО, Яндексе, Mail.ru и создателе мыши (hitech.vesti.ru)

5th International Symposium on Search Based Software Engineering. August 24-26, 2013 - St. Petersburg, Russia. Graduate Student Track Papers:

• Arina Buzdalova, Maxim Buzdalov and Vladimir Parfenov. Generation of Tests for Programming Challenge Tasks using Helper-Objectives
• Alexey Kolesnichenko, Christopher M. Poskitt and Bertrand Meyer. Applying Search in a Contract-Based Automatic Testing Tool

Знания студентов питерского вуза, ставших чемпионами мира по программированию, необходимо использовать в интересах ВС РФ - Шойгу (itar-tass.com)
У них есть кем наполнить научные роты. И не надо наших искать - они никуда не прятались. Узнали только сейчас, а когда четыре раза мы побеждали, не было интересно? А хотели или хотите сейчас помочь готовить таких? Или только забрать? Они нужны Вам, а Российскому образованию не нужны?

Еще одна сеть. Сделано в НИУ ИТМО

Команда НИУ ИТМО в пятый раз стала чемпионом мира по программированию

• Вести-24 о нашей победе
• Час эфира о нашей победе (tv100.ru)
• Результаты чемпионата мира по программированию ICPC 2013
• Мы победили! (ifmo.ru)
• Команда НИУ ИТМО - пятикратный чемпион мира по программированию (youtube.com)
• Кубок чемпионов снова в руках российских программистов (vesti.ru)
• Пятикратные. Абсолютные (Санкт-Петербургские ведомости)
• Триумф интеллекта. Петербургский дневник, № 120 (605), 2013
• Минкомсвязь о нашей победе
• Студенты ИТМО вновь стали чемпионами (вторая страница, pressa.ru)
• Вечерний Петербург о дневной победе на чемпионате мира по программированию
• Губернатор Санкт-Петербурга о нашей победе (Петербургский дневник)

Открытие Финала ACM ICPC (Блог Романа Елизарова)

П. Маврин и В. Парфенов на открытии чемпионата мира (tv100.ru)

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

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

• 2012.10.12. Встреча с генеральным директором компании Akhela Пьеркарло Равазио
• 2013.06.22. Защита магистерских диссертаций на кафедре КТ

Список алгоритмов (большой, но не полный) приведен здесь

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

Стипендия имени Виктора Александровича Годунова в области информационных технологий для студентов и аспирантов кафедры "Компьютерные технологии" НИУ ИТМО

У Евгения Капуна и Федора Царева приняли доклад «On NP-Hardness of the Paired de Bruijn Sound Cycle Problem» на 13th Workshop on Algorithms in Bioinformatics, который будет проходить в Sophia Antipolis, France (September 2–4, 2013)

Обновлен раздел "Articles": Chivilikhin D., Ulyantsev V., Shalyto A. Solving Five Instances of the Artificial Ant Problem with Ant Colony Optimization / Preprints of the 2013 IFAC Conference on Manufacturing Modelling, Management, and Control, Saint Petersburg State University and Saint Petersburg National Research University of Information Technologies, Mechanics, and Optics, Saint Petersburg, Russia, June 19-21, 2013. P. 1077-1082.

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

Сайт Codeforces откликнулся на предложение А. Шалыто о введении квалификации участников соревнований

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

• Ульянцев В.И., Шалыто А.А. О верификации программ со сложным поведением (оттиск)
• Buzhinsky I., Ulyantsev V., Shalyto A. Test-Based Induction of Finite-State Machines with Continuous Output Actions / Preprints of the 2013 IFAC Conference on Manufacturing Modelling, Management, and Control, Saint Petersburg State University and Saint Petersburg National Research University of Information Technologies, Mechanics, and Optics, Saint Petersburg, Russia, June 19-21, 2013. P. 1083-1088.
• Buzdalova A., Buzdalov M. Adaptive Selection of Helper-Objectives for Test Case Generation // Proceedings of the 2013 IEEE Congress on Evolutionary Computation. - Washington: IEEE Computer Society, 2013. - P. 2245-2250. - ISBN 978-1-4799-0454-9.

Бьёрн Страуструп - почетный доктор НИУ ИТМО

Обновлен раздел "Фотографии": в альбом "Вручение диплома и мантии Почетного доктора НИУ ИТМО сэру Тони Хоару" добавлены фотографии В. Горбунова

Обновлен раздел "Геном": выложены отчеты о выполнении Государственного контракта по теме "Разработка метода сборки геномных последовательностей на основе восстановления фрагментов по парным чтениям"

В ИТМО одним сэром больше (Санкт-Петербургский ведомости)

Добавлена магистерская диссертация: Гуисов М.И. Применение нейронных сетей для оценки позиции в игре Го

Статья "Наши – лучшие!" об итогах чемпионата Урала. Петербургский дневник, №83 (568), 2 (10)

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

• 2013.05.20-22. Конференция "Интегрированные модели и мягкие вычисления в искусственном интеллекте" (Коломна)
• 2013.05.23. Круглый стол «Одаренные дети и новый Федеральный закон «Об образовании» (ИТАР-ТАСС)
• 2013.05.31. Открытый кубок ОАО «Концерн «НПО «Аврора» по программированию
• 2013.06.07. Вручение диплома и мантии Почетного доктора НИУ ИТМО сэру Тони Хоару
• Автографы известных специалистов по Computer Science

Обновлен раздел "Статьи": Сергушичев А.А., Александров А.В., Казаков С.В., Царев Ф.Н., Шалыто А.А. Совместное применение графа де Брёйна, графа перекрытий и микросборки для de novo сборки генома //Изв. Сарат. ун-та. Нов.сер. Сер. Математика. Механика. Информатика. 2013. Т. 13, вып. 2, ч. 2, с. 51-57

Шалыто А.А. Разговор о разном (youtube.com)

В НИУ ИТМО квадракоптером управляют силой мысли (youtube.com)

«Лента.ру» обозрела состояние технологий, необходимых для создания киборгов

Опыт Ильи Дединского по обучению программированию в школе идет в народ (habrahabr.ru)

"Заметки о мотивации" двинулись в народ

Вручение диплома и мантии Почетного доктора НИУ ИТМО сэру Тони Хоару

Статья о Ф. Цареве. "Облако для врачей". Петербургский дневник. 03.06.2013. № 98 (583), 3 (11)

Наш выпускник CEO Jetbrains Олег Степанов о компании и ее продуктах (pcweek.ru)

Programming World Champions from Russia (pptx)

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

Семь минут в борьбе за таланты (А.А. Шалыто за "круглым столом" в пресс-центре ИТАР-ТАСС)

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

Бывший топ-менджер Yota, МТС и АФК "Система" Инна Шалыто будет отвечать за инновации в Смольном (Фонтанка.ру)

Подарок А.А. Шалыто к 65-летию от "Центра речевых технологий"

Потрясающий стих Быкова на смерть режиссера Балабанова (shans-online.com)

Минкомсвязи задумало готовить чемпионов мира по программированию (gov.cnews.ru)

Американская торговая палата и наши люди

Газета "Пять углов" о "Заметках о мотивации" (issuu.com)

И.В. Ященко: «Олимпиады тянут вперед всё преподавание» (3.olimpiada.ru)

Битва за таланты (nvspb.ru)

Интервью А.А. Шалыто о деятельности научно-исследовательского центра "Технологии программирования и искусственного интеллекта". Газета "Университет ИТМО". 2013, No. 154, с. 3

Поздравление А.А. Шалыто с юбилеем. Газета "Университет ИТМО". 2013, No. 154, с. 2

Сэр Тони Хоар - почетный доктор НИУ ИТМО

Обновлен раздел "Искусственный интеллект": выложены отчеты о выполнении Государственного контракта по теме "Разработка метода машинного обучения на основе алгоритмов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов"

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

• 2012.04.11. II Всероссийский конгресс молодых ученых, секция "Технологии программирования, искусственный интеллект, биоинформатика". НИУ ИТМО
• 2013.04.26. Конференция СПИСОК-2013, МатМех СПбГУ
• 2013.04.26. Конкурс The Big Bang II, НИУ ИТМО

Чемпионат Урала по программированию. Видеотрансляция
Председатель оргкомитета Магаз Асанов на 36.31 мин отметил, что Шалыто А.А. впервые в России предложил инициативу "Сохраним в университетах лучших!", в рамках которой молодые таланты удерживаются не только в стране, но и в университетах!

Обновлен раздел Фотографии: 2013.05.01. "Битва гигантов". Матч Россия - Китай по программированию. Екатеринбург

Поздравляем нашу команду, занявшую первое место в Битве гигантов Россия - Китай по программированию в рамках Чемпионата Урала 2013 (acm.timus.ru)

Поздравляем Арину Буздалову, которая выиграла стипендию ACM-W scholarship для участия с докладом на конференции "Genetic and Evolutionary Computation Conference", которая будет проходить в Амстердаме в 2013 г.

Обновлен раздел "Аудио": 17.04.2013. Интервью А.А. Шалыто на радио "Мегабайт" НИУ ИТМО

У Максима Буздалова и Арины Буздаловой приняли доклад "Adaptive Selection of Helper-Objectives for Test Case Generation" на Congress on Evolutionary Computation (IEEE CEC 2013, Канкун, Мексика), 20-23.06.2013. Поздравляем!

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

• Шестаков А.В. Минимальная модификация автоматных программ при изменении сценариев их работы // Научно-технический вестник информационных технологий, механики и оптики, 2013, № 1 (83). C. 104-108.

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

• Сергушичев А. А, Царев Ф. Н. Сборка генома и технология MapReduce // Суперкомпьютеры. 2012. № 4 (12), с. 40 - 43.
• Kapun E., Tsarev F. De Bruijn Superwalk with Multiplicities Problem is NP-hard / BMC Bioinformatic. 2013, 14 (Suppl. 5. Proceeding of the Third Annual RECOMB Satellite Workshop on Massively Parallel Sequencing (RECOMB-seq 2013)): S7.
• Akhi A., Sergushichev A., Tsarev F. Maximum Likelihood Scaffold Assembly / RECOMB 2013. Book of Abstracts. Tsinghua University. 2013, p. 156.

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

• 2013.04.17. А.А. Шалыто на радио "Мегабайт" (НИУ ИТМО)
• 2013.04.17. Инна Шалыто

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

• Материалы научной школы "Технологии программирования, искусственный интеллект, биоинформатика" (II Всероссийский конгресс молодых ученых, 9-12 апреля 2013)
• Материалы научной школы "Технологии программирования и искусственный интеллект" (I Всероссийский конгресс молодых ученых, 10-13 апреля 2012)

Новый раздел "Сертификаты и дипломы". Обновления:

• 2013.04.09. Диплом Владимира Ульянцева за победу в конкурсе "Молодые ученые НИУ ИТМО 2012"
• 2013.03.29. Ульянцев В.И. удостоен звания "Лучший студент Университета 2012"
• Сертификат Бужинского И.П. о прохождении стажировки в университете Heriot-Watt (2012)
• Сертификат Ульянцева В.И. о прохождении стажировки в университете Heriot-Watt (2012)

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

• Аксенов В.Е., Буздалов М.В. Автоматизация генерации случайных тестов для олимпиадных задач по программированию / Труды XIX Всероссийской научно-методической конференции «Телематика`2012». Т.1, с. 140–143.
• Чивилихин Д.С., Ульянцев В.И. Применение муравьиных алгоритмов для построения конечных автоматов / Труды XIX Всероссийской научно-методической конференции «Телематика`2012». Т.1, с. 145.
• Александров А.В., Казаков С.В., Мельников С.В., Сергушичев А.А. Метод DE NOVO cборки контигов геномных последовательностей на основе совместных применения графов де Брюина и графов перекрытий / Труды XIX Всероссийской научно-методической конференции «Телематика`2012». Т.1, с. 183–185.

Четыре наших проекта в финале конкурса The Big Bang 2 (m2ies.com)

Доклад Шалыто А.А. "Автоматное программирование и мотивация" на VI сессии научной школы-практикума молодых ученых и специалистов "Технологии высокопроизводительных вычислений и компьютерного моделирования: технологии eSCIENCE"

В. Ульянцев. Обзор статьи Heule M., Verwer S. Exact DFA Identification Using SAT Solvers (livejournal.com)

Добавлено свидетельство о регистрации программы "Программное средство для построения КНФ-формулы по графу совместимости вершин дерева сценариев работы программы"

Письмо от Веслава Пошевецки

Шалыто А.А. Еще один взгляд на проблему разводов (обновление)

Подготовка и переподготовка ИТ-специалистов на базе центров образования и разработок в сфере информационных технологий (i-russia.ru, формат ppt)

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

• Chivilikhin D., Ulyantsev V., Shalyto A. Solving Five Instances of the Artificial Ant Problem with Ant Colony Optimization
• Buzhinsky I., Ulyantsev V. Test-Based Induction of Finite-State Machines with Continuous Output Actions

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

• Chivilikhin D., Ulyantsev V. A New Mutation-Based Ant Colony Optimization Algorithm for Learning Finite-State Machines
• Buzhinsky I., Ulyantsev V., Tsarev F., Shalyto A. Search-Based Construction of Finite-State Machines with Real-Valued Actions: New Representation Model

Добавлены статьи в раздел Articles:

• Buzdalova A., Buzdalov M. Increasing Efficiency of Evolutionary Algorithms by Choosing between Auxiliary Fitness Functions with Reinforcement Learning / Proceedings of the Eleventh International Conference on Machine Learning and Applications, ICMLA 2012, Boca Raton, FL. USA, 12-15 December 2012. IEEE Computer Society, 2012. Vol. 1 – Pp. 150–155.
• Buzdalova A., Buzdalov M. Adaptive Selection of Helper-Objectives with Reinforcement Learning / Proceedings of the Eleventh International Conference on Machine Learning and Applications, ICMLA 2012, Boca Raton, FL. USA, 12-15 December 2012. IEEE Computer Society, 2012. Vol. 2 – Pp. 66–67.
• Buzdalov M. Generation of Tests for Programming Challenge Tasks on Graph Theory using Evolution Strategy / Proceedings of the Eleventh International Conference on Machine Learning and Applications, ICMLA 2012, Boca Raton, FL. USA, 12-15 December 2012. IEEE Computer Society, 2012. Vol. 2 – Pp. 62–65.

Студенты кафедры КТ Н. Русин и С. Петров (ментор В. Клебан) заняли первое место в одной из трех номинаций ("Игры") в Cанкт-Петербургском полуфинале российской части конкурса Microsoft Imagine Cup (http://www.fontanka.ru/2013/03/16/078/). Поздравляем! В финал по России, который состоится в Москве, вышли только победители в номинациях. Ждем с победой! Мировой финал состоится в Санкт-Петербурге!

Интересная беседа с нашим выпускником, вице-президентом компании DataArt Артемом Астафуровым

Журнал "Литература": интервью с Сергеем Рукшиным

Розенблюм Л.Я. Сети Петри (обзор)

Автоматное программирование живет и развивается. На этот раз усилиями Васелина Пенева (bitdust.io)

Обновлен раздел "Диссертации". Добавлена диссертация Ф.Н. Царева на тему «Методы построения конечных автоматов на основе эволюционных алгоритмов».

Шалыто А. А. Заметки о мотивации. Редакция от 25.02.2013

Обновлен раздел Фотографии. Добавлена фотография выпуска кафедры "Компьютерные технологии" 2007 года.

Откуда берутся инновации. Эти компании в 2012 г. зарегистрировали:
  10. LG Electronics - 1600 патентов.
  9. General Electric - чуть более 1600 патентов.
  8. Hon Hai Precision (торговая марка Foxcoon) - 2000 патентов.
  7. Toshiba - 2500 патентов.
  6. Microsoft - 2600 патентов.
  5. Panasonic - 2800 патентов.
  4. Sony - 3000 патентов.
  3. Canon - 3100 патентов.
  2. Samsung Electronics - 5000 патентов.
  1. IBM - 6500 патентов.
(Источник: www-03.ibm.com)

С.Е. Рукшин в фильме "Теория невероятности. Великие безумцы" (youtube.com)

В.Г. Парфенов на канале ТВ 100 (youtube.com)

У кого больше шансов выиграть чемпионат мира по программированию в 2013 году (ahmed-aly.com)

Россияне успешно выступили в Тегеране на соревнованиях по программированию (lifttothefuture.ru)

Инна Шалыто на радио "Шоколад". Восемнадцатая передача. "Выбор" (формат mp3)

Инна Шалыто на радио "Шоколад". Семнадцатая передача. "Мысли" (формат mp3)

На сайте появились разделы "Госконтракты" и "Почетные доктора".

Обновлен раздел Фотографии. Добавлены фотографии Валентина Горбунова в альбом 2013.01.30. XLII научная и учебно-методическая конференция ИТМО. Секция "Автоматное программирование, эволюционные вычисления и биоинформатика"

Владимир Ульянцев и Федор Царев вошли в число победителей конкурса "Молодые ученые НИУ ИТМО" 2012 года. Поздравляем!

Обновлен раздел Фотографии: 2013.01.30. XLII научная и учебно-методическая конференция ИТМО. Секция "Автоматное программирование, эволюционные вычисления и биоинформатика"

Наша выпускница Юлия Чеботарева – одна из сотрудниц резидента Фонда «Сколково» российско-американской компании News360, которая признана лучшим мировым стартап-проектом в номинации M-media and News (масс-медиа и новости) престижного мирового конкурса World Summit Award – Mobile Content (WSA-Mobile). Поздравляем!

Восстание муравьев (elementy.ru)

Инна Шалыто на радио "Шоколад". Шестнадцатая передача. "Радость" (формат mp3)

Инна Шалыто на радио "Шоколад". Пятнадцатая передача. "Отпуск" (формат mp3)