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

Шалыто А.А. Хорошее воспитание
Шалыто А.А. Как учил Суворов
Шалыто А.А. От забавного до смешного
Шалыто А.А. Снова о забавном и смешном
Шалыто А.А. Зачем писал?
Шалыто А.А. Генералы
Шалыто А.А. Пока не до конца...
Шалыто А.А. Дураков не было

Шалыто А.А. Говорил же Вам Задорнов...
Шалыто А.А. Мелкая радость
Шалыто А.А. Шалита

Шалыто А.А. Делиться надо?
Шалыто А.А. Можно ли стать академиком, закончив ПТУ?
Шалыто А.А. Оценили
Шалыто А.А. Рисунок...
Шалыто А.А. Мешает ли Вам джаз?
Шалыто А.А. Галоши
Шалыто А.А. Четыре мотивирующих анекдота
Шалыто А.А. И понеслось...

Обновлено:

Шалыто А.А. Можно ли научить стать успешным?
Шалыто А.А. А Вы потерпите...

Шалыто А.А. Об орфографии и не только
Шалыто А.А. О справедливости
Шалыто А.А. Коммуникатор
Шалыто А.А. Надежда не умрет...
Шалыто А.А. Завхозы разные нужны. Завхозы всякие важны?
Шалыто А.А. Работа и труд – все перетрут?
Шалыто А.А. Неужели настолько тупые?

Обновлено:

Шалыто А.А. Не числом, а умением
Шалыто А.А. По ГОСТ
Шалыто А.А. Учит ли чему-то история?

Шалыто А.А. Красивое слово
Шалыто А.А. Трудная ситуация
Шалыто А.А. На вкус и цвет товарищей нет
Шалыто А.А. Полукровки
Шалыто А.А. Запущенная тема...
Шалыто А.А. Еще раз об упорных, упертых и упоротых
Шалыто А.А. Стоило ли начинать?
Шалыто А.А. А Вы потерпите...
Шалыто А.А. Хреновая дружба
Шалыто А.А. Давно это было...
Шалыто А.А. Сколько веревочке ни виться
Шалыто А.А. Иногда стоит поступиться принципами!
Шалыто А.А. Некомфортно

Шалыто А.А. Кому позвонит Цукерберг?
Шалыто А.А. Что останется, когда специалисты из них выйдут?
Шалыто А.А. Меньше знаешь – крепче спишь
Шалыто А.А. Навеяло
Шалыто А.А. А если он еще для нас не допел...
Шалыто А.А. Мы за ценой не постоим...
Шалыто А.А. За что сижу я в клетке...
Шалыто А.А. Продолжение обсуждения хорошо ли жить в золотой клетке
Шалыто А.А. А прав ли Долин?
Шалыто А.А. Вот и вся дружба...
Шалыто А.А. Никто мотив не соврет...
Шалыто А.А. Спасибо, деды, за Победу!
Шалыто А.А. Каждый выбирает для себя
Шалыто А.А. О людях далеких от науки. Продолжение
Шалыто А.А. Учит ли чему-то история?

Шалыто А.А. Чего или того?
Шалыто А.А. О коте...
Шалыто А.А. Сказка про белого бычка
Шалыто А.А. Трудная ситуация
Шалыто А.А. Первое слово дороже второго...
Шалыто А.А. Сногсшибательные успехи и громкие радости...
Шалыто А.А. Детей по осени считают...
Шалыто А.А. Старческие разборки...
Шалыто А.А. Будешь третьим
Шалыто А.А. Cможет или не сможет?
Шалыто А.А. Креативные вы наши...
Шалыто А.А. «Не виноватая я...»
Шалыто А.А. День и ночь опричника
Шалыто А.А. Растут дети...
Шалыто А.А. Вы к нам пришли, чтобы деньги экономить?
Шалыто А.А. На века...

Обновлено:

Шалыто А.А. По ГОСТ

Шалыто А.А. Одним росчерком пера не получается
Шалыто А.А. О людях далеких от науки. Продолжение

Обновлено:

Шалыто А.А. Об упорных до упоротости
Шалыто А.А. О людях далеких от науки

Шалыто А.А. Бог шельму метит
Шалыто А.А. Надо было умудриться
Шалыто А.А. По ГОСТ

Шалыто А.А. Конечный автомат многим не друг
Шалыто А.А. Кому отдать приоритет?
Шалыто А.А. Как я узнал, что значит «консистентный»
Шалыто А.А. Стародавняя история
Шалыто А.А. По Сеньке ли шапка?
Шалыто А.А. Если вы не буддист...
Шалыто А.А. Ну, ты пиши...
Шалыто А.А. Будет ли и у нас возможность спрямить маршрут к высшей квалификации
Шалыто А.А. Имеющий уши да услышит

Обновлено:

Шалыто А.А. Обнимашки
Шалыто А.А. Зачем тебе лайки?
Шалыто А.А. Есть ли у ученых интерес к наставничеству?

Шалыто А.А. А рамы просто заменялись…
Шалыто А.А. Чем занимается Парфенов?
Шалыто А.А. Мое несостоявшееся выступление на встрече руководства Университета ИТМО с представителями «Международных научных лабораторий»

Обновлено:

Шалыто А.А. Сколько ИТ-специалистов необходимо стране?
Шалыто А.А. Образование и наука - фундамент университета

Обновлена книга Шалыто А.А. Тексты обо мне, моем университете и моей стране

Шалыто А.А. Когда ехать в магазин?
Шалыто А.А. Юбилей
Шалыто А.А. Раньше легендой была «Весна в ЛЭТИ», а теперь будет «Наука в ИТМО»

Обновлено:

Шалыто А.А. Есть ли у ученых интерес к наставничеству?

Обновлен раздел "Книги": Добавлена новая книга Одинец В.П. О ленинградских математиках, погибших в 1941-1944 годы

Шалыто А.А. После «Алых парусов»
Шалыто А.А. Университет не место для оказания услуг

Новая книга Шалыто А.А. Тексты обо мне, моем университете и моей стране

Шалыто А.А. А решение-то не вступило в силу...
Шалыто А.А. Нужны ли нам прорывы?
Шалыто А.А. Чем полезен Роскомнадзор
Шалыто А.А. О Телеграме и не только
Шалыто А.А. Сколько ИТ-специалистов необходимо стране?

Шалыто А.А. За таланты надо бороться
Шалыто А.А. Об интервью изданию «Коммерсант-Наука»

Обновлено:

Шалыто А.А. От курсовых проектов студентов к успехам в рейтинге Times Higher Education по Computer Science

Шалыто А.А. Неопубликованная колонка для журнала «Forbes» (Россия), в которой я должен был ответить на их вопросы

Шалыто А.А. «Несистемная» борьба за таланты
Шалыто А.А. Не числом, а умением
Шалыто А.А. Как это принято у нормальных людей
Шалыто А.А. Заметки о русском языке и культуре

Обновлено:

Шалыто А.А. О создании федерации спортивного программирования

Шалыто А.А. Есть ли у ученых интерес к наставничеству?
Шалыто А.А. Мобильность и научные школы

Шалыто А.А. Не спутать свою черту
Шалыто А.А. Обнимашки
Шалыто А.А. Не взошло
Шалыто А.А. Трудности перевода...
Шалыто А.А. Как было на самом деле
Шалыто А.А. Что труднее?
Шалыто А.А. Как все просто...
Шалыто А.А. Одна столица
Шалыто А.А. Штрихи к портретам
Шалыто А.А. Мой первый опыт дистанционного образования
Шалыто А.А. Зачем тебе лайки?
Шалыто А.А. Много ли надо, чтобы всегда помнили?
Шалыто А.А. Каков мальчик
Шалыто А.А. Большая разница

Обновлено:

Шалыто А.А. Дистанционное образование
Шалыто А.А. Мертвые и живые

Шалыто А.А. И пять профессоров...
Шалыто А.А. Плати потом...
Шалыто А.А. Вы не поверите

Обновлено:

Шалыто А.А. Советская крутизна

Шалыто А.А. Пепел Келдыша
Шалыто А.А. О наставничестве
Шалыто А.А. Об упертых до упоротости
Шалыто А.А. О дистанционном образовании сегодня
Шалыто А.А. Он смог себе это позволить...
Шалыто А.А. Как получить то еще удовольствие в эпоху короновируса
Шалыто А.А. Короновирус меняет все
Шалыто А.А. О новом типе вакцины
Шалыто А.А. Бессмерный...
Шалыто А.А. Это дорогого стоит
Шалыто А.А. О деде
Шалыто А.А. О лифтах и японцах
Шалыто А.А. Как многорукий Шива...

Обновлено:

Шалыто А.А. Можно ли научить стать успешным?

Шалыто А.А. Про одного из тех, что «не очень»
Шалыто А.А. Юбилейное
Шалыто А.А. О панике
Шалыто А.А. С него хватит...
Шалыто А.А. Кто такие?
Шалыто А.А. Можно ли научиться быть успешным?
Шалыто А.А. Когда человек не сдается...
Шалыто А.А. Хвалить и давать советы
Шалыто А.А. Простите
Шалыто А.А. Кто есть кто...
Шалыто А.А. Bellman и First Bellman

Обновлено:

Шалыто А.А. Как в жизни бывает…
Шалыто А.А. Кому стоит заниматься наукой
Шалыто А.А. Владимир Андреевич Тимофеев – человек, который научил меня многому
Шалыто А.А. Мертвые и живые
Шалыто А.А. Стоит ли здороваться?

Шалыто А.А. Федот, да не тот
Шалыто А.А. Пора заканчивать...
Шалыто А.А. Рабочая гипотеза
Шалыто А.А. Время идет...
Шалыто А.А. Будем ли уважать Кубок России по футболу
Шалыто А.А. Лирическое
Шалыто А.А. Краткий отчет
Шалыто А.А. Она же работает...
Шалыто А.А. Вот такой урок русского языка получился...
Шалыто А.А. Не то, что вижу, а то, что чувствую
Шалыто А.А. Натерпевшаяся
Шалыто А.А. Вместо полета на Марс…
Шалыто А.А. Когда не надо слушаться маму
Шалыто А.А. О трудностях человеческого общения
Шалыто А.А. Существует ли такая страна?
Шалыто А.А. Если наука не спекулятивна, она не устреет
Шалыто А.А. Главное, чтобы сердце было горячим
Шалыто А.А. Чистыми руками
Шалыто А.А. Что же делал Паганель?
Шалыто А.А. Только через мой труп...
Шалыто А.А. Не утруждайте историков :-)
Шалыто А.А. Почему история не наука
Шалыто А.А. Наставлять и мотивировать
Шалыто А.А. В ожидании «Оскара»
Шалыто А.А. Ребята не сахар
Шалыто А.А. Главное, чтобы не купили «Газпром»...
Шалыто А.А. Плохо ли будить биатлонистов по ночам?
Шалыто А.А. «Карамель» или «Каратель»
Шалыто А.А. Как победить на чемпионате мира по программированию
Шалыто А.А. Название нашему университету придумал я
Шалыто А.А. Мы-то не глупее тебя, небось!
Шалыто А.А. Как в жизни бывает…
Шалыто А.А. Легенда о Гене
Шалыто А.А. О том, кто охренел от моего рассказа...
Шалыто А.А. Привилегия свободного человека

Обновлено:

Шалыто А.А. И это у него получается!
Шалыто А.А. Капуста
Шалыто А.А. Не моргнув глазом
Шалыто А.А. С одной стороны, с другой стороны…

Шалыто А.А. Мы там у них есть...
Шалыто А.А. Кому стоит заниматься наукой
Шалыто А.А. Другим путем…
Шалыто А.А. Вспоминая Артюхова
Шалыто А.А. Не дождутся...
Шалыто А.А. О морде лица
Шалыто А.А. Уговорить талантливого программиста остаться…
Шалыто А.А. Не добили…
Шалыто А.А. Утро вечера мудренее
Шалыто А.А. Советская крутизна
Шалыто А.А. Куда делся опыт?
Шалыто А.А. Я пока сам похожу
Шалыто А.А. Референтная группа
Шалыто А.А. Жадный алгоритм
Шалыто А.А. Национальный вопрос
Шалыто А.А. Все еще не так плохо…
Шалыто А.А. Не Леонардо

Шалыто А.А. Если не хотите скандала...
Шалыто А.А. Иногда получается...
Шалыто А.А. От курсовых проектов студентов к успехам в рейтинге Times Higher Education по Computer Science
Шалыто А.А. И это у него получается!
Шалыто А.А. Кое-что о юбилее Парфенова...
Шалыто А.А. Подвеска королевы
Шалыто А.А. Плохонькая такая...
Шалыто А.А. Репортаж с больничной койки
Шалыто А.А. Как упростить жизнь...
Шалыто А.А. Если бы Сталин был японцем...
Шалыто А.А. Новый источник неограниченной энергии
Шалыто А.А. Откуда надо поднимать культуру...
Шалыто А.А. Как хорошо быть генералом…
Шалыто А.А. Зачем мне сдаваться?
Шалыто А.А. И я бы тоже так хотел…
Шалыто А.А. Репутация и честь

Шалыто А.А. Кого мы готовим
Шалыто А.А. Какой орган у человека главный?
Шалыто А.А. Когда места Владимиру Ильичу не остается...
Шалыто А.А. Владимир Андреевич Тимофеев – человек, который научил меня многому
Шалыто А.А. Времена не выбирают, в них живут…

Шалыто А.А. Не могнув глазом
Шалыто А.А. Как Иисус и его последователи
Шалыто А.А. Заерзал, или Белое и Черное
Шалыто А.А. Большое видится на расстоянии...
Шалыто А.А. Все познается в сравнении
Шалыто А.А. А что вам мешает?
Шалыто А.А. Верность себе
Шалыто А.А. Человеческое...
Шалыто А.А. Так быть не должно

Шалыто А.А. «Сайгон»
Шалыто А.А. Куда может «послать» научный руководитель?

Шалыто А.А. И мне в том числе...

Шалыто А.А. Поливать или бросаться камнями
Шалыто А.А. Мертвые и живые
Шалыто А.А. Говорить по-русски
Шалыто А.А. Тихо пить по углам?

Шалыто А.А. Как в сумасшедшем доме
Шалыто А.А. А была ли при развитом социализме заграница?
Шалыто А.А. Третьим будешь?
Шалыто А.А. Степень точки
Шалыто А.А. Педагоги и наставники бывают разными
Шалыто А.А. Не видел, не читал, но осуждаю…
Шалыто А.А. Какое будущее нас ждет
Шалыто А.А. Чем среда лучше завтра?
Шалыто А.А. О Дуде, который сделал практически невозможное
Шалыто А.А. Мы кому-то чем-то обязаны?
Шалыто А.А. Стоит ли здороваться?
Шалыто А.А. Никто не забыт, ничто не забыто
Шалыто А.А. Лучше не скажешь...
Шалыто А.А. Альтернатива...
Шалыто А.А. К чему стремились академики?

Шалыто А.А. О ненависти к бумаге
Шалыто А.А. Еще раз о деньгах и свободе
Шалыто А.А. Можешь не писать – не пиши

Фотография: Ни убавить, ни прибавить!

Шалыто А.А. Об опасности говорить глупости
Шалыто А.А. Они со временем социализируются
Шалыто А.А. Деньги или свобода?
Шалыто А.А. По моему мнению

Интервью с Геннадием Короткевичем
Шалыто А.А. А чем занимается Гена?
Шалыто А.А. Обсуждение статьи «А чем занимается Гена?»

Шалыто А.А. Неисповедимы пути Господни!

13-16 ноября в Хьюстоне проходили финалы всемирных соревнований по разработке и дизайну программ Topcoder Open 2019 (https://www.flickr.com/photos/53993064@N03/49076409512/). По разработке таких соревнований было два.

Topcoder Open Marafon включает в себя четыре онлайн-раунда. В каждом раунде дается лишь одна задача, правильное решение которой неизвестно даже ее автору. Участнику нужно написать программу, находящую наиболее эффективный ответ за заданное время. После завершения приема решений, программы посылаются на полный тест. В результате отбираются 12 лучших по числу баллов участников, которые участвуют в очном этапе. Финал продолжался десять часов. Для того чтобы стать победителем, необходимо было набрать максимальное число очков.

Topcoder Open Algorithm – это трек, посвященный «классическому» спортивному программированию. Участники этого трека должны решить предложенные задачи, используя языки программирования Java, C#, C++ или Python, причем им на решение отводится всего полтора часа.

Геннадий Короткевич вышел в финал сразу в двух треках: «Алгоритм» и «Марафон». Впервые в истории этих соревнований победителем двух финалов стал один и тот же участник – Гена. Кроме Геннадия в этих финалах участвовали Петр Митричев, Егор Куликов и Алексей Данилюк.

Фото:
https://www.flickr.com/photos/53993064@N03/49070055478/
https://www.flickr.com/photos/53993064@N03/49077387407/
https://www.flickr.com/photos/53993064@N03/49077387687/
https://www.flickr.com/photos/53993064@N03/49076654243/
https://www.flickr.com/photos/53993064@N03/49076192276/

Шалыто А.А. Встретиться с самим собой
Шалыто А.А. К вопросу о «цифровом ополчении»
Шалыто А.А. Как, не догоняя Google и Huawei, стать ведущей IT-державой.
Шалыто А.А. Спасатель, а не Спаситель
Шалыто А.А. Как доставить удовольствие
Шалыто А.А. Ворота без забора


16 октября 2019 г. Университет ИТМО в четвертый раз подряд (!) попал в 100 (на самом деле в 80) лучших университетов мира в предметном рейтинге THE по CS, заняв 74 место. При этом Университет ИТМО вновь выполнил Указ Президента РФ по обеспечению конкурентоспособности вузов России в мире. При этом мы заняли первое место среди российских вузов. За нами МФТИ – 95 место. МГУ в этом рейтинге занял 101-125 место, первый раз за последние годы, не войдя в сотню лучших (http://news.ifmo.ru/ru/university_live/ratings/news/8873/).

Итак, за последние годы в предметном рейтинге THE по CS имели место следующие результаты: 2016: МГУ – 43, ИТМО – 56; 2017: МГУ – 60, МФТИ – 67, ИТМО – 76; 2018: ИТМО – 71, МГУ –– 78, МФТИ – 101-125; 2019: ИТМО – 74, МФТИ – 95, МГУ – 101-125.

Это, конечно, еще не семь побед, как у команд нашего университета на чемпионатах мира по программированию, и не шесть побед подряд, как у Гены Короткевича на Google Code Jam, но, как сказал Гоша Корнеев, эти достижения, видимо, связаны.

Обращаю внимание, что в мире вузов более 28 тысяч (https://www.webometrics.info/en/node/54), а по другим сведениям – их и того больше (43 тысячи).

26 октября 2019 г. стало известно об очередном выдающемся достижении Университета ИТМО. По итогам заседания совета по повышению конкурентоспособности ведущих университетов РФ среди ведущих мировых научно-образовательных центров (совет проекта 5-100) Университет ИТМО занял второе (!) место в первой группе из семи вузов (https://ria.ru/amp/20191026/1560257843.html): перед нами – ВШЭ, после нас – МИФИ, МФТИ, МИСИС, Томский ГУ и НГУ.

Во вторую группу вошли: Томский политех, Казанский ФУ, Первый медицинский университет им. И.М. Сеченова, Санкт-Петербургский политех, Уральский ФУ, РУДН и Тюменский ГУ, а в третью: Нижегородский ГУ, Дальневосточный ФУ, Южно-Уральский ГУ, ЛЭТИ, Калининградский ФУ, Самарский ГУ и Сибирский ФУ.

В первой группе по сравнению с 2018 г. произошло два серьезных изменения: Университет ИТМО переместился с пятого места на второе, а НГУ опустился с четвертого места на седьмое. Во второй группе серьезных изменений нет. В третьей – заметно поднялся Южно-Уральский ГУ, а Сибирский ФУ снизил свои позиции. Как отмечается в официальном сообщении «Проекта 5-100» (https://www.5top100.ru/news/112180/), при распределении вузов на группы учитывалась оценка по трем параметрам: достижения в рейтингах, значения показателей, характеризующих научно-образовательную, международную и финансовую деятельность университетов, а также оценка, полученная вузами от членов Совета (http://news.ifmo.ru/ru/university_live/achievements/news/8898/).

Шалыто А.А. Счастье в свободе?

Шалыто А.А. Стоит ли ехать на «Таити»?

19 апреля стало известно, что у сотрудников лаборатории Максима Буздалова приняли 11 (!) докладов на всемирную конференцию по эволюционным вычислениям – Genetic and Evolutionary Computation Conference (GECCO 2019): 1. Antipov D., Doerr B., Yang Q. The Efficiency Threshold for the Offspring Population Size of the ($\mu$, $\lambda$) EA // Proceedings of Genetic and Evolutionary Computation Conference 2019 (Full paper, track: Theory) / GECCO 2019; 2. Pavlenko A., Buzdalov M., Ulyantsev V. Fitness Comparison by Statistical Testing in Construction of SAT-Based Guess-and-Determine Cryptographic Attacks // Proceedings of Genetic and Evolutionary Computation Conference 2019 (Full paper, track: Evolutionary Combinatorial Optimization and Metaheuristics) / GECCO 2019; 3. Bassin A., Buzdalov M. The 1/5-th Rule with Rollbacks: On Self-Adjustment of the Population Size in the (1+(lambda,lambda))~GA // Proceedings of Genetic and Evolutionary Computation Conference Companion 2019 (Poster, track: Genetic Algorithms) / GECCO 2019; 4. Bulanova N., Buzdalov M. Black-Box Complexity of the Binary Value Function // Proceedings of Genetic and Evolutionary Computation Conference Companion 2019 (Poster, track: Theory) / GECCO 2019; 5. Rodionova A., Antonov K., Buzdalova A., Doerr C. Offspring Population Size Matters when Comparing Evolutionary Algorithms with Self-Adjusting Mutation Rates // Proceedings of Genetic and Evolutionary Computation Conference 2019 (Full paper, track: Genetic Algorithms) / GECCO 2019; 6. Vinokurov D., Buzdalova A., Buzdalov M., Doerr B., Doerr C. Fixed-Target Analysis of (1+1) EA with Resampling (Student Workshop) / GECCO 2019; 7. Karavaev V., Antipov D., Doerr B. Theoretical and Empirical Study of the (1+(lambda,lambda)) GA on the LeadingOnes Problem (Student Workshop) / GECCO 2019; 8. Bulanova N., Buzdalov M. Limited Memory, Limited Arity Unbiased Black-Box Complexity: First Insights (Student Workshop) / GECCO 2019; 9. Buzdalov M. Generalized Incremental Orthant Search: Towards Efficient Steady-State Evolutionary Multiobjective Algorithms (Workshop on Evolutionary Software Systems) / GECCO 2019; 10. Ignashov I., Buzdalova A., Buzdalov M., Doerr C. Illustrating the Trade-Off between Time, Quality, and Success Probability in Heuristic Search (Workshop on Black-Box Discrete Optimization Benchmarking) / GECCO 2019; 11. Buzdalov M. Towards Better Estimation of Statistical Significance When Comparing Evolutionary Algorithms (Workshop on Black-Box Discrete Optimization Benchmarking) / GECCO 2019.

Шалыто А.А. Нам не дано предугадать
Шалыто А.А. Что и требовалось доказать

Шалыто А.А. Продолжение обсуждения действа, которого почти никто не видел...
Шалыто А.А. Еще раз против течения...
Шалыто А.А. Сколько хочешь и сколько можешь...
Шалыто А.А. Открытие
Шалыто А.А. Когда стоит немного поступаться принципами?

25 октября победителем соревнования по программированию Facebook Hacker Cup 2019 в третий раз стал Геннадий Короткевич, который уже побеждал в 2014 и 2015 гг. (http://news.ifmo.ru/ru/university_live/achievements/news/8897/). Второе и третье места также заняли наши соотечественники – Михаил Ипатов и Петр Митричев. Двенадцатое место занял наш выпускник Боря Минаев. В числе 24 финалистов еще несколько представителей России (https://www.facebook.com/hackercup/scoreboard/327966064573355/?filter=everyone).

Интервью с Геннадием Короткевичем

Шалыто А.А. До встречи...
Шалыто А.А. Обидно...
Шалыто А.А. Низкий поклон
Шалыто А.А. Он сам решит, стоит ли ему во второй раз входить в историю человечества

Новая лекция по автоматному программированию

Переписка
Они сражались за Родину. Диалоги
Шалыто А.А. Услышанное
Шалыто А.А. Неправда
Шалыто А.А. Правда и истина
Шалыто А.А. Свобода - не просто
Шалыто А.А. Обнаглел
Шалыто А.А. И классное образование бывает не учит жизни
Шалыто А.А. Чернила
Шалыто А.А. Лес рубят – щепки летят?
Шалыто А.А. В точке кипения
Шалыто А.А. Кто выдвинул?
Шалыто А.А. Времена и нравы
Шалыто А.А. Тест на придурошность
Шалыто А.А. Поражение или победа
Стипендия Геннадию Короткевичу
Шалыто у Гоблина. Часть 1.

Денис Антипов. Зачем нужен функциональный анализ будущим специалистам по прикладной математике и информатике
Шалыто А.А. Прививка от болезни
Шалыто А.А. Больных можно и пожалеть
Шалыто А.А. Молодые всегда знают, как правильно
Шалыто А.А. Учить матчасть...
Шалыто А.А. О людях далеких от науки
Шалыто А.А. Обидно...
Шалыто А.А. Под Лениным чищу
Шалыто А.А. Где рвут сердца
Шалыто А.А. О получении удовольствия
Шалыто А.А. Как остановить время

Обновлен раздел Фотографии. Инна Шалыто
Обновлен раздел Фотографии. А.А. Шалыто
Обновлен раздел Фотографии. Сергей Рукшин
Обновлен раздел Фотографии. Владимир Парфенов

Шалыто А.А. Нет в жизни счастья...
Шалыто А.А. Забавная история
Шалыто А.А. Пора заканчивать...
Шалыто А.А. О сочувствии
Шалыто А.А. Красный директор
Шалыто А.А. Невозможное – возможно?
Шалыто А.А. Разговор «поэта» с «фининспектором»
Анна Кирьнова. Не любовь
Шалыто А.А. Воображения не хватает
Шалыто А.А. Будет ли Россия красной?
Шалыто А.А. Вот - наука пришла...
Шалыто А.А. Отвечаю, но не за все

Крохотки
Шалыто А.А. Не все сразу
Шалыто А.А. Куда девается опыт?
Шалыто А.А. Консенсус
Шалыто А.А. От безысходности
Шалыто А.А. Не сдалась!
Шалыто А.А. Новые оценки

Свидетельство о регистрации программы для ЭВМ. №2018619730. Дата регистрации - 11.07.2018.
Свидетельство о регистрации программы для ЭВМ. №2018619728. Дата регистрации - 11.07.2018
Геннадий Короткевич на сайте "Коммерсантъ"
«ОН УЖЕ ВОШЕЛ В ИСТОРИЮ ЧЕЛОВЕЧЕСТВА»
В.Н. Васильев, В.Г. Парфенов. XXV ЛЕТ: ИСТОРИИ КАФЕДРЫ «КОМПЬЮТЕРНЫЕ ТЕХНОЛОГИИ»

Обновлен раздел Фотографии. 24.05.2018. Число чемпионов мира зашкаливает!
Обновлен раздел Фотографии. 28.05.2018. Юбилей
Обновлен раздел Фотографии. 30.05.2018. Далеко не у каждого университетского профессора есть такое!
Обновлен раздел Фотографии. 15.06.2018. Защита бакалавров
Обновлен раздел Фотографии. 19.06.2018. Каким же красивым может быть Указ Президента
Обновлен раздел Фотографии. 07.07.2018. Выпускной

Шалыто А.А. Паровоз пошел!
Шалыто А.А. Век живи – век учись
Шалыто А.А. Их надо иметь
Шалыто А.А. Пора заканчивать...
Шалыто А.А. Федот, да не тот
Шалыто А.А. Из крохоток в длинняшки
Шалыто А.А. А Вы придаете значения словам?
Шалыто А.А. Волшебные слова
Шалыто А.А. Откуда деньги?
Шалыто А.А. Слона-то я и не приметил
Шалыто А.А. Как Чехов...
Шалыто А.А. Зачем он написал это?
Шалыто А.А. А ты придаешь значения словам?
Шалыто А.А. Где бы был я?
Шалыто А.А. Каков молодец...
Шалыто А.А. Дайте послушать...
Шалыто А.А. Я был плохим подчиненным
Шалыто А.А. Благородство
Шалыто А.А. Классный ответ

Обновлен раздел Дипломы
Приглашение А.А. Шалыто на открытие третьего сезона цикла встреч ведущих представителей научной общественности Санкт-Петербурга с учащимися физико-математического лицея №366
20 молодых и перспективных: рейтинг РБК
Почему некоторые из них остаются

Нина Парфенова об юбилее А.А. Шалыто
Александр Виноградов об юбилее А.А. Шалыто

Создавать атмосферу успеха
В ДВФУ подготовят студентов российских вузов к чемпионату мира по программированию

Шалыто А.А. О сочувствии

Обновлен раздел Видео. Юбилей

Шалыто А.А. Разговор «поэта» с «фининспектором»
Шалыто А.А. А трое лучше!
Шалыто А.А. Невозможное – возможно?

Шалыто А.А. У «разбитого Шалыта»
Шалыто А.А. Властные азы
Шалыто А.А. Патриоты вперед!
Шалыто А.А. Классно получилось!

Они сражались за Родину
Вести с «полей»
Текст выступления «Бойтесь гнева терпеливого человека», зачитанный Анатолием Шалыто на совещании у Советника Президента РФ по развитию интернета Германа Клименко
Итоги встречи представителей индустрии и образования с советником Президента РФ по вопросам развития Интернета
Диалоги
Максим Буздалов «Продолжаем объяснять»
Роман Елизаров «О ключах»
Разговор о Телеграме на радио «Комсомольская правда»

Шалыто А.А. Прошел месяц...

Выпускник нашей кафедры, аналитик Института дизайна и урбанистики
Университета ИТМО Егор Смирнов разработал алгоритм, который моделирует
движение пешеходов с учетом их поведенческих особенностей и помогает
проектировать удобную пешеходную инфраструктуру
Проект будет представлен на International Conference on Computational
Science, которая пройдет в Китае. Неудачно проложенные пешеходные
дорожки – это типичная проблема благоустройства дворов и парков и как
любой гражданин может начать бороться с этой проблемой, начав
использовать разработанный автором пешеходный симулятор

Шалыто А.А. Вымысел или замысел?
Шалыто А.А. Вот такие уроки русского!

Обновлен раздел Фотографии. 24.04.2018. Круглый стол в ИТАР ТАСС
Обновлен раздел Фотографии. 24.04.2018 Награждение за международные олимпиады по математике
Обновлен раздел Фотографии. 24.04.2018. Геннадий Короткевич - первая предзащита магистерской диссертации
Обновлен раздел Фотографии. 24.04.2018. C новостями из Пекина
Обновлен раздел Фотографии. 03.05.2018. В Администрации Президента

Николай Николаевич Непейвода выбрал "правильное" название для доклада:
Почему Шалыто прав насчёт открытых спецификаций?

В хорошей компании обсуждаем этику:https://www.youtube.com/watch?v=i5JvM68yf2Y

Об этике и не только

27 апреля меня пригласили, как известного наставника :-), поговорить о
жизни в «Международный научный центр SCAMT химико-биологического
кластера» – одного из самых крутых подразделений Университета ИТМО.
Естественно, я согласился и проговорил чуть меньше двух часов,
вдохновляя «народ на подвиги»
(https://www.youtube.com/watch?v=V1vCOBHbrSw). После этого один из
руководителей кластера – Александр Виноградов, написал мне: «После
Вашей лекции все просятся на выходных работать», а второй руководитель
– Владимир Виноградов, предложил мне повторять эти выступления для
новых наборов магистрантов. На это я ответил, что новым ребятам надо
будет просто показывать эту запись, но если YouTube закроют, то я
снова смогу для этой цели пригодиться.

Шалыто А.А. Почему они уезжают?
Шалыто А.А. Об общении с молодежью
Шалыто А.А. Что вставлять?

Надежда Поликарпова - вот это карьера!
Аркадий Цукер и его временные трудности
Hash Code 2017 - Final Round Highlights

Владимир Николаевич Васильев о блокировке сайтов:
1. Новостной портал ИТМО (русский язык)
2. Новостной портал ИТМО (английский язык)
3. НТВ
4. РБК
5. The Village
6. Sobaka.ru
7. Деловой Петербург

Шалыто А.А. Продолжение разговора на тему «Почему они уезжают?»
Шалыто А.А. Знают ли это все?
Шалыто А.А. А у нас наоборот! Вот!
Лившиц А.С. Два случая устранения дефектов

Студенты ИТМО взяли бронзу по спортивному программированию ICPC
А.А. Шалыто дал интервью Forbes об ACM ICPC 2018

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

Model checking, часть 20
Model checking, часть 21
Model checking, часть 22
Model checking, часть 23
Model checking, часть 24

Шалыто А.А. Социальный оптимизм

А.М.Миронов, лекция по машинному обучению 3.4.18, часть 1
А.М.Миронов, лекция по машинному обучению 3.4.18, часть 2
А.М.Миронов, лекция по машинному обучению 3.4.18, часть 3

Model Checking, часть 18
Model Checking, часть 18
Model Checking, часть 19

Шалыто А.А. Флаг в руки
Шалыто А.А. Как один мужик трех чемпионов мира обыграл

Обновлен раздел Фотографии. Шалыто А.А.
Обновлен раздел Фотографии. Из послания Президента РФ В.В. Путина Федеральному собранию 1.03.2018 г. Временная засечка - 50.57.
Обновлен раздел Фотографии. Указ Президента РФ
Обновлен раздел Фотографии. Артем Васильев тренировал в Индии
Обновлен раздел Фотографии. Новое поколение поднимает флаг России. Здесь можно - это соревнование стран, а не школ или университетов
Обновлен раздел Фотографии. Приказ Министра промышленности и энергетики РФ от 24 марта 2008 г. П 110. Отмечая большой личный вклад в развитии промышленности, многолетний добросовестный труд, и в связи с юбилейной датой со дня рождения Шалыто Анатолия Абрамовича наградить Почетной грамотой
Обновлен раздел Фотографии. Витрина с кубками
Обновлен раздел Фотографии. Вот так Награждали Станкевича :-)

Шалыто А.А. Похоже, кто-то уже исправил
Шалыто А.А. Козлы или не козлы?
Шалыто А.А. Стадион
Шалыто А.А. Судьба борется с моим самозванством
Шалыто А.А. Когда живешь – доживаешь
Шалыто А.А. К юбилею художника Владимира Яшке
Шалыто А.А. Правдоподобный рассказ
Шалыто А.А. Хорошее дистанционное образование, или Максим на хайпе
Шалыто А.А. Ничего хорошего

Шалыто А.А. Фрагменты статьи «Великое пробуждение искусственного интеллекта» и кое что еще
Публикации по биологии

Model Checking, часть 7
Model Checking, часть 8
Model Checking, часть 9
Model Checking, часть 10
Model Checking, часть 11
Model Checking, часть 12
Model Checking, часть 13
Model Checking, часть 14
Model Checking, часть 15
Model Checking, часть 16

Хорошее дистанционное образование, или Максим на хайпе (news.ifmo.ru)

Шалыто А.А. Каратель или Карамель
Шалыто А.А. А ты так можешь?

Обновлен раздел Фотографии. Сборы в Пекине. Февраль 2018

Чемпионат по программированию Russian Code Cup 2012: как это было (pdf версия)

Программист, который стал классным системным биологом
Российские научные журналы и публикационная этика
Хорошее дистанционное образование, или Максим на хайпе (d-russia.ru)


Государственная награда - знак отличия «За наставничество»
Новости по этой теме:

0. Указ Президента РФ о введении знака отличия «За наставничество»
1. Указ Президента РФ на портале kremlin.ru
2. Указ Президента РФ на официальном интернет-портале правовой информации
3. В Университете ИТМО
4. Телеканал «Санкт-Петербург»
5. Телеканал «Вести.ru»
6. Федерал Пресс
7. ТАСС
8. Группа «Минобразование России» в Facebook
9. Портал «Полит.ru»
10. Газета «Комсомольская правда»
11. «Мир 24»
12. «Регион». Награды за наставничество по указу Путина получат ректор, ученый и моряк
13. Газета «Труд»
14. РИА Новости
15. «Фонтанка.ru» (Путин наградил трех лучших наставников России)
16. Наставник. «Санкт-Петербургские ведомости»
17. Страница альманаха «Русский меценат» в Facebook»
18. Портал «Собака.ru»
19. «Рамблер»
20. «Life.ru»
21. «Агентство стратегических инициатив»
22. Портал «РБК»
23. «Российская газета»
24. Газета «Поиск»

А.А. Шалыто: «Я – человек, который создает атмосферу успеха»
Губернатор Г.С. Полтавченко и А.А. Шалыто об образовании

Шалыто А.А. Душа обязана трудиться!

Шалыто А.А. Мои счастливые годы на кафедре «Компьютерные технологии» Университета ИТМО (к двадцатипятилетию кафедры)
Шалыто А.А. Их нравы

Model Checking, часть 4
Model Checking, часть 5
Model Checking, часть 6

Analysis by Maxim Buzdalov.NEERC Northern Quaterfinal, 2008. Problem A. Access Control Lists.
Шалыто А.A. А ты говоришь, что тебе семьдесят...
Шалыто А.А. Не уберег...

В одном рукопожатии до Президента

Держите Шалыто
Лобода А.А., Сергушичев А.А. Программа для решения обобщенной задачи поиска связного подграфа максимального веса // Свидетельство о регистрации программы для ЭВМ. № 2018612213. Дата регистрации - 14.02.2018.

Выпускник кафедры "Компьютерные технологии" Юрий Коноплев поведал и
проиллюстрировал такую историю:

Мероприятие называется Polar Bear Pitching, проходит в г. Оулу на
севере Финляндии уже в пятый раз. Событие проходит в феврале,
представитель или представители команды представляют проект или
компанию стоя в проруби (ice hole). Есть полуфиналы и финалы, Мы были
в финале. Временных ограничений нет, но есть естественные - за день до
мероприятие было -23 C и за 10-15 минут вода в Ice Hole покрывается
слоем льда.

Первым в этом году питчился министр торговли Финляндии Kai Mykkanen,
после этого шли стартапы.

На мероприятии было много прессы, много проектов, были крупные
инвесторы и фонды, в том числе из Китая и Кореи. Всё было организовано
супер: сразу после выступления можно войти в сауну или плавать в чане
с очень горячей водой, но на морозе. Несколько афтерпати до и после.
Первое место заняла белоруска Татьяна из Эстонии, главный приз - 10k$.
Основная польза для нашего проекта - контакты, контакты, контакты и
внимание публики. С кем-то устанавливаются дружеские связи.

Мы снимали небольшой дом в Финляндии, жили всей командой и это ух как
сплотило. В общем, за эти дни в Финке появилось много оригинальных
идей и торжество с восторгом на душе.

Polar Bear Pitching 2018 - Tusion

Обновлен раздел Фотографии. 2009.05.06. Президент РФ Д.А. Медведев принимает чемпионов мира по программированию 2009 года из СПбГУ ИТМО
Обновлен раздел Фотографии. Сборы в Тулузе
Обновлен раздел Фотографии. Фотографии на Всероссийский конкурс «Наставник» 13.02-15.02.2018 г.

Обновлен раздел Верификация. Model Checking, часть 1
Обновлен раздел Верификация. Model Checking, часть 2
Обновлен раздел Верификация. Model Checking, часть 3
Обновлен раздел Фотографии. Вячеслав Михайлов
Обновлен раздел Фотографии. На выставке Вячеслова Михайлова
Обновлен раздел Фотографии. Фотографии Василия Бертальса с выставки Вячеслава Михайлова
Why starting a new Android project with Java is a bad idea
Art of Creative Figurative Sculpture & Painting by Anatoly Mikhailov (1951-2015)
Обновлен раздел Фотографии. Art of Creative Figurative Sculpture by Anatoly Mikhailov (1951-2015)
Обновлен раздел Фотографии. Фотографии чемпионов мира с их автографами
Обновлен разделл Фотогравии. Круглый стол «Российское ИТ-образование и вызовы современности», проводимый компанией Postgres Professional на экономическом факультете МГУ (https://pgconf.ru/2018/education)
Обновлен раздел Фотографии. Всероссийский форум «Наставник» 13.02-15.02.2018 г.

Шалыто А.А. Мои счастливые годы жизни на кафедре «Компьютерные технологии» Университета ИТМО (к двадцатипятилетию кафедры)

В конце января – начале февраля 2018 г. студенты нашего факультета КТ
Владимир Смыкалов, Адам Бардашевич и Григорий Шовкопляс провели сборы
по спортивному программированию в Пекине. В них после внутреннего
отбора приняли участие команды 15(!) университетов Китая: Tsinghua U –
первое (в составе этой команды выступал один из лучших спортивных
программистов мира DU Yuhao) и третье места, Peking U – второе место,
Fudan U – четвертое, Shanghai JTU – пятое, Fuzhou U – шестое и 19
места, Zhejiang U – седьмое, восьмое, девятое и 17 места, Zhongshan U
– 10, East China Normal U – 11, Beijing U of Posts and Telecom – 12 и
18 места, Guangdong U of Tech – 13, Huazhong U of Sci and Tech – 14,
Northeastern U – 15, The South China U of Tech – 16, Chongqing U – 20,
Zhejiang U Tech – 21

Подробные результаты здесь

Народный герой. Фильм о Перельмане

Встреча Дмитрия Медведева со студентами Санкт-Петербургского национального исследовательского университета информационных технологий, механики и оптики – победителями чемпионата мира по программированию ACM «International Collegiate Programming Contest - 2017»
Молодежная премия Санкт-Петербурга в области информационных технологий
Обновлен раздел Премии. Документы на А.А.Шалыто на "Молодежную премию Санкт-Петербурга" в номинации "Наставник молодого поколения"
Фотографии. В.Г. Парфенов на заседании Ученого совета
Фотографии. А.А. Шалыто с Г.А. Товстоноговым

Алексей Сергушичев о публикации о механизмах подавления рака легких
Всемирная школа программирования чемпионов мира из Университета ИТМО
CTRL ALT DEL Выпуск #1 Встречаем чемпионов ACM ICPC

Чемпионы мира — о спортивном программировании
Лекция Шалыто о жизни и смерти 2006 г.
Обновлен раздел Фотографии. 13.09.2005 Никлаус Вирт - почетный доктор нашего университета
Работы А.А. Шалыто за 2013-2017 гг.
Обновлен раздел Фотографии. 2008 год Подарок «Центра речевых технологий» на 60-летие А.А. Шалыто
Обновлен раздел Фотографии. 2016.06.20. Встреча победителей чемпионата мира по программированию - команд СПбГУ и Университет ИТМО с президентом РФ В.В. Путиным
Обновлен раздел Фотографии. Я не на каторге, а в лагере - спортивном

"Перспективам развития въездного туризма" Инна Шалыто
Анатолий Шалыто "Главное - Люди". Часть 1
Анатолий Шалыто "Главное - Люди". Часть 2
Анатолий Шалыто. Заметки о мотивации
Благодарность Шалыто А.А.
Обновлен раздел Фотографиию Защиты Арины Буздаловой и Ивана Сметанникова, декабрь 2017
Обновлен раздел Фотографии. А.А. Шалыто

Обновлен раздел Фотографии. Празднование нового 2018 года в лицее 239
Обновлен раздел Фотографии. Лекарство от столичного снобизма - компания "Тензор", Ярославль
Обновлен раздел Фотографии. Защита Арины Буздаловой
Обновлен раздел Фотографии. С олимпиадниками Ярославского государственного университета
Обновлен раздел Фотографии. Новый год приходит в ИТМО
Обновлен раздел Фотографии. 2004. Linux Summit, Хельсинки

Обновлен раздел Фотографии. Новый год приходит в ИТМО
Обновлен раздел Фотографии. Устный выпуск альманаха "Русский меценат", фото Тимура Тургунова
An article about Gennady Korotkevich and us in social partnership magazine "Russian Maecenas"
Статья на русском языке о Гене Короткевиче и о нас в альманахе "Русский меценат"
Обновлен раздел Верификация. Миронов А.М. Верификация программ. Часть 1: нерекурсивные программы.

Обновлен раздел Соревнования по программированию

KotlinConf 2017 - Highlights

Приказ о назначении стипендии В.А. Годунова на 2017/2018 учебный год
Миронов А.М. Верификация программ. Часть 1: нерекурсивные программы.
Приглашение Анатолия Абрамовича на праздничный концерт в честь 25-летия Лаборатории Непрерывного Математического Образования
Обновлен раздел Фотографии. Они несут круглосуточную вахту, им стоять тяжело

«В ИТМО мы попали по результатам олимпиадных дипломов, ЕГЭ там не особо важно» — Победители ACM ICPC 2017 года
«Ребята придумали алгоритм, которого в науке еще не было»
«Для нашей профессии очень просто найти работу, даже в Европе, еще выбирать надо будет»
Inside ITMO — the Small University Producing Big IT Talen
SJR трудов конференций по Computer Science
«Для них открыты двери почти всех компаний в любой точке мира»

«Информационные науки могут преподавать только молодые люди» — Интервью с А.А. Шалыто, профессором Университета ИТМО
«Россия, институт, кафедра и я» — вторая часть интервью с Анатолием Абрамовичем Шалыто, профессором Университета ИТМО

Авдюхин Д.А., Ульянцев В.И., Чивилихин Д.С., Станкевич А.С., Шалыто А.А. Программное средство для анализа соответствия моделей сценариям исполнения // Свидетельство о регистрации программы для ЭВМ. № 2017617357. Дата регистрации - 21.09.2017.

Обновлен раздел Фотографии. Книги А.А. Шалыто
Янкин Ю.Ю., Шалыто А.А. Метод создания программного обеспечения модулей, выполненных на основе программируемых логических интегральных схем (видео-презентация в формате exe)

Автоматное программирование. Лекция А.А. Шалыто

Обновлен раздел Дипломы. Бакалаврские 2016. Лобода А.А. "Решение задачи нахождения связного подграфа максимального веса с учетом весов ребер"

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

Анатолий Шалыто: За таланты, тем более интеллигентные и красивые, надо бороться
Илья Разенштейн в блоге Университета ИТМО

Обновлен раздел Фотографии. Награды с международной конференции GECCO
Обновлен раздел Фотографии. На INDIN 2017
Обновлен раздел Фотографии. Бакалавры и магистры кафедры КТ 2017
Обновлен раздел Фотографии. Артем Астафуров и Maurice Herlihy - лауреатом премии Геделя за приложение топологии в теории распределенных вычислений
Обновлен раздел Фотографии. Никита Шамгунов. Святое семейство
Обновлен раздел Фотографии. Книги А.А. Шалыто
Обновлен раздел Фотографии. 2009.03.11. Вручение премии Правительства РФ в области образования 2008 года

Обновлен раздел Книги. "Автоматное программирование" стало вечным - на OZON продается цифровая книга
Обновлен раздел Фотографии. Фото Маши Парфитт

Обновлен раздел Фотографии. Фотографии чемпионов с их автографами
Обновлен раздел Фотографии. Встреча Чемпионов мира 2017 с Д.А. Медведевым
Обновлен раздел Фотографии. Из бумажного каталога Публичной библиотеки
Обновлен раздел Фотографии. А.А.Шалыто
Обновлен раздел Фотографии. Книги А.А.Шалыто
Обновлен раздел Фотографии. 2009 год. СПбГУ ИТМО - чемпионы мира по программированию 2009 года
Обновлен раздел Фотографии. Финал соревнований ACM ICPC 2013
Обновлен раздел Фотографии. 31.08.2017. Павел Маврин в своем Твиттере написал: "Толпа первокурсников КТ. С такими темпами скоро не будут влезать в актовый зал"

Обновлен раздел Фотографии. Мой папа - Шалыто Абрам Израилевич
Обновлен раздел Фотографии. Моя мама - Шалыто Валентина Георгиевна
Обновлен раздел Фотографии. Мой брат - Шалыто Даниил Абрамович
Обновлен раздел Фотографии. Моя жена - Шалыто Ирина Николаевна
Обновлен раздел Фотографии. Моя дочь Инна и брат Даниил
Андрей Станкевич - медиаперсона года по версии газеты "Комсомольская правда в Санкт-Петербурге"
Обновлен раздел Фотографии. Андрей Станкевич - медиаперсона года
Обновлен раздел Фотографии. Награждение премии Собаки.ru ТОП 50
Обновлен раздел Фотографии. Готовимся к съемке в "Собака.ru"

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

За что Kotlin так полюбили в Google, и кому нужны две тысячи языков программирования
Обновлен раздел Фотографии. 05.06.2017. IT-завтрак на Петербургском международном экономическом форуме 2017
Замкнутый код. Как российские программисты стали лучшими в мире
Короткая история про мужика из Университета ИТМО 69 лет
Поразительное достижение России

Обновлен раздел Фотографии. 03.07.2017. Они и Виталик Аксенов вернулись и на Родину

Почему пришло время болеть за программистов / Перовская и Короткевич

Обновлен раздел Беллетристика

Д.А. Медведев встретился с чемпионами мира по программированию. Новости о встрече:
Мир
1 канал
Санкт-Петербург
НТВ "Сегодня в Петербурге"
НТВ
Фотографии
О встрече


ПРАВИТЕЛЬСТВО РОССИЙСКОЙ ФЕДЕРАЦИИ
Р А С П О Р Я Ж Е Н И Е от 13 июня 2017 г. No 1226-р

МОСКВА

О награждении Почетной грамотой
Правительства Российской Федерации

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

Председатель Правительства Российской Федерации Д.Медведев

Подробнее

Обновлен раздел Дипломы

Летние чтения

Знакомьтесь, команда ИТМО — вуза, где готовят лучших в мире программистов

10 лет назад

Как не был политиком, так им и не стал

Компьютерные гении: студенты из России стали чемпионами мира

Программист автоматизировал поиск ошибок в автоматике

Обновлен раздел Фотографии. 05.06.2017. Журнал "Собака.ru". 2017. Июнь. Топ 50 Самые знаменитые люди Санкт-Петербурга

Семь раз отрезали. Университет ИТМО всех перепрограммировал.

07.06.2017 г. на моей странице в Facebook появился пост: "Я два года хотела сделать это интервью, но удалось только сейчас. Съездила в Питер и поговорила с Геной Короткевичем, который, как и Усэйн Болт, выиграл все, но не в беге, а в спортивном программировании. У парня тысячи фанатов по всему миру (особенно почему-то их много в Азии) и десятки приглашений от самых крутых компаний. Раньше его называли вундеркиндом, теперь гением. Сам он называет себя Tourist. Большое спасибо Анатолию Шалыто за помощь в организации этой встречи, которая – в целом – длилась больше шести часов" (Мария Соснина).

Мария не просто поговорила с Геной, но и написала прекрасную статью "Меня не раз звали в Google, но работа мне пока не нужна."

Вот как на эту статью отреагировал Руслан Богатырев, который много лет прекрасно вел раздел "Программное обеспечение" в журнале "Мир ПК": "Было бы здорово в ближайшее время издать книгу о триумфальных победах России в спортивном программировании. Передать по возможности ярко и точно атмосферу чемпионатов мира ACM-ICPC и создать литературные портреты наших победителей, включая интервью и беседы с ними, а также с лучшими тренерами и воспитанниками чемпионов.
Страна должна знать своих героев и истоки их побед. Знать, на кого равняться и кем по праву можно гордиться".

После этого я написал: "Мария, спасибо за статью! Она классная! Договорись об издании этой книги и напиши ее, а мы поможем, тем более, что много опубликованных материалов у нас уже есть". Руслан продолжил: "Да, поможем обязательно.
Нужно такой книгой заняться всерьёз. Она реально очень необходима".

Дачная жизнь биоинформатиков

Участвуем в проведении Hello Barcelona Programming Bootcamp in collaboration with Moscow Workshops ACM-ICPC

Обновлен раздел Фотографии. 05.06.2017. Журнал "Собака.ru". 2017. Июнь. Топ 50 Самые знаменитые люди Санкт-Петербурга

Ещё несколько статей о победе:
Вести RU о нас
Мы - крутые
Неплохая публика на фотке объединилась
Первый канал
Вести RU
Вести RU. Максим Буздалов о чемпионате мира по программированию
При этом он попросил меня вечером звонить только после 22 часов, так как до этого он ... укладывает детей спать! Как говорится, комментарии излишни.

Статьи о победе:
Газете "Коммерсант" я сказал: "Многие преподаватели боятся талантливых студентов, говорят: “Они трудные”. Но когда ты их "приручаешь", вы не представляете, какое счастье с ними работать. Даже если у них есть долги, хвосты по учебе, это не имеет никакого значения, для меня это образованнейшие и талантливые люди"
Почему Станкевич не может стать заслуженным тренером России?
Нельзя сжирать весь посевной материал
Немного о флаге
Хороший текст о победе
Лида Перовская о нашей кафедре
О победе и Андрее Бреславе
Благодарность губернатора Санкт-Петербурга
Запрограммированы на победу
Парфенов радуется победе

Acronis и Университет ИТМО займутся совместными исследованиями в области ИИ и "больших данных"(servernews.ru)

Обновлен раздел Фотографии. Алексей Сергушичев

ТОП 50 Собака.ru: Университет ИТМО в борьбе за звание научного хедлайнера года (news.ifmo.ru)

Обновлен раздел Фотографии.Чемпионы ACM ICPC 2017

Обновлен раздел Фотографии. По университету "чемпионы мира ходят табунами" (Г. Короткевич)

В мае 2017 г. перед финалом чемпионата мира во всемирно известной французской газете «Фигаро» вышла статья о нас:«Une pepiniere russe des champions de I`informatique»

Статьи о победе на ACM ICPC 2017 команды Университете ИТМО в составе Владимира Cмыкалова, Ильи Збаня, Ивана Белоногова и их тренера Андрея Станкевича:
Пророчество студентов очень быстро сбылось: "Я делаю навстречу Шалыто шаг, чтобы главный кубок в седьмой раз взять"
Результаты соревнований
"Русский" Forbes
Russia Today
Meduza
ITMO.News
Собака.ru
Санкт-Петербургские ведомости

Обновлен раздел "Фотографии": Они несут круглосуточную вахту, им стоять тяжело

"Команда Университета ИТМО - ТОП 50. Самые знаменитые люди Петербурга.

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

Поздравляем Лешу Сергушичева и Сережу Казакова - они кандидаты наук!

Три брата превратили стартап в компанию, услугами которой пользуются "Почта России" и Oriflame

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

Поздравляем Игоря Бужинского с аспирантской стипендией Правительства РФ

Чтобы не было выжженной земли

Обновлен раздел "Фотографии": 2017.04.28. Готовимся к съемке в "Собаке.ru"

Номинанты премии журнала Собака.ru — о факторах успеха, работе с максимальной отдачей и о том, каким должно быть современное образование (news.ifmo.ru)

Как искусственный интеллект в разы ускоряет производство (cheremuha.com)

Anatoly A. Shalyto, Radomir S. Stanković, Jaakko T. Astola, Alexander V. Strukov. Early work in Switching Theory and Logic Design of Gavrilov School in former Soviet Union (PDF)

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

Статья: Фильченков А., Вяткин В., Шалыто А. Искусственный интеллект в производстве высокотехнологичной продукции // Трамплин к успеху. Фабрики будущего. Корпоративный журнал дивизиона «Двигатели для гражданской авиации». НПО «Сатурн». 2017. № 10, с. 30, 31.

Шалыто А.А. - модератор секции "Искусственный интеллект и машинное обучение" (SmartFactory, 11/25) на IV Международном технологическом форуме "Инновации. Технологии. Производство". 2017. Рыбинск. НПО "Сатурн"

Выступление А.А. Шалыто на круглом столе "Будущее ИТ-образования в России" в Высшей школе экономики (postgrespro.timepad.ru)

Шалыто попал... в рэп (news.ifmo.ru)

Леша Сергушичев вошел в пятерку лучших молодых ученых в стране по системной биологии и попал в Fellowship Program! Поздравляем!

Zhabelova, G., Vyatkin, V. and Dubinin, V.N., 2015. Toward industrially usable agent technology for smart grid automation. IEEE Transactions on Industrial Electronics, 62(4), pp.2629-2641.

П.Н. Бибило, Ю.В. Поттосин, Л.Д. Черемисинова. О научном наследии члена-корреспондента Закревского А.Д.

Доклад А.А. Шалыто с соавторами на Reed-Muller Workshop. May 24-25 May, 2017. Novi Sad, Serbia.

А.А. Шалыто попал в очень хорошую компанию: «Bertrand Meyer's Gallery of Computer Scientists» (se.inf.ethz.ch)

Обновлен раздел "Фотографии": 2017.02.09. Лауреаты премии Правительства РФ в области образования 2016 года

TensorFlow: An open-source software library for Machine Intelligence (tensorflow.org)

Марк Андриссен объясняет, как ИИ может изменить мир (fastsalttimes.com)

Многие слышали про автомат Мура, а вот статья с автографом Эдварда Мура

Профессор Е.М. Лаврищева об автоматном программировании

Реинкарнация искусственного интеллекта: как это делают в Facebook (fastsalttimes.com)

Женщины и наука: "сейчас важен результат, а не гендерная принадлежность" (ria.ru)

Онлайн-курс по олимпиадному программированию на английском языке запускается вновь! (mbradio.ru)

Программы – не стихи, их надо проектировать, а не писать

«Лекарство от болезни»: Автоматное программирование (habrahabr.ru)

Рейтинг онлайн-курсов на всех площадках по числу записавшихся (onlinecoursereport.com)

Программа как инженерный проект, или зачем заказчику понимать структуру ПО изнутри (news.ifmo.ru)

Со скромностью у меня дело обстоит плохо (hightech.fm)

Обратите внимание:
1. Принг Э. Конечные автоматы в JavaScript. Часть 1: Разработаем виджет.
2. Конечные автоматы в JavaScript. Часть 2: Реализация виджета.
3. Конечные автоматы в JavaScript. Часть 3: Тестируем виджет (исходники).

Samsung создаст фонд с капиталом 1 млрд долларов для приобретения компаний, занимающихся технологиями искусственного интеллекта (russianelectronics.ru)

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

Anatoly A. Shalyto, Radomir S. Stanković, Jaakko T. Astola, Alexander V. Strukov. Early work in Switching Theory and Logic Design of Gavrilov School in former Soviet Union

Обратите внимание на статьи:
1. Малаховски Я.М., Шалыто А.А. Конечные автоматы в чистых функциональных языках программирования // RSDN Magazin. 2009. № 3, с.20-26.
2. Малаховски Я.М., Шалыто А.А. Реализация конечных автоматов на функциональных языках программирования //Информационно-управляющие системы. 2009. № 6, с. 30-33.
3. Малаховски Я.М., Корнеев Г.А. Валидация автоматов с переменными на функциональных языках программирования //Научно-технический вестник СПбГУ ИТМО. 2010. № 6, с. 73-77.
4. Малаховски Я. М. Применение систем типов для валидации и верификации автоматных программ /Сборник «Список-2011».

"Что касается автоматов и реактивного программирования, то ситуация еще более интересная, чем описано в письме И. Синева:
1. Facebook сделал React, который применяет функциональный подход для разработки пользовательского интерфейса.
2. Даня Абрамов (https://github.com/gaearon), кстати когда-то давно работал в DataArt а теперь в Facebook), написал библиотеку Redux, которая в какой-то степени позволила применить реактивный подход к изменению состояния пользовательского интерфейса.
3. Еще более интересно! Зреет следующий сдвиг: http://reactivex.io/ — более системное использование реактивного подхода.
4. Cамый большой молодец — это Evan Czaplicki, который достаточно успешно придумывает язык Elm (http://elm-lang.org/) и Elm Architecture (https://guide.elm-lang.org/architecture/), на основе которого Даня Абрамов создал основную концепцию реактивного дизайна пользовательского интерфейса и сделал Redux.
Красота ELM заключается в том, что он базируется на Haskell, что позволяет верифицировать и вообще писать более стабильный и изменяемый код. В отличие от Haskell этот язык заточен на решение конкретного класса проблем и делает это очень хорошо. В общем автоматное программирование всюду!
Артем Астафуров, выпускник кафедры КТ, компания стартап Opentrons (Robots for Biologists) https://opentrons.com/".

Facebook созрел до того, что 25 лет назад предлагал Шалыто.

"Анатолий Абрамович, здравствуйте! Прочитав одну из статей по React/Redux, я подумал, что стоит Вам о ней рассказать: если это еще не попадало в поле Вашего зрения, то может оказаться интересным. Redux – в 2016 году одна из самых популярных технологий разработки веб-интерфейсов. В коде веб-приложений, разработанных по этой технологии, широко используются конечные автоматы, в неявном или в явно выделенном виде. Вот несколько ссылок: http://savepearlharbor.com/?p=271433 – небольшой обзор на русском языке; http://redux.js.org/docs/introduction/CoreConcepts.html – соответствующий раздел официальной документации; https://hackernoon.com/a-finite-state-machine-helper-for-redux-c18519643719#.jr4yio6d7 – статья, где обсуждается использование конечных автоматов в формальном виде; https://github.com/reactjs/redux – основной репозиторий, находится на 43-м месте по популярности среди всех репозиториев на github. Должен также сказать, что сам я с этой технологией не работал, да и сообщество Javascript-разработчиков заслуженно критикуют за очень уж частую смену мод (http://www.allenpike.com/2015/javascript-framework-fatigue/), но все же, мне кажется, что об этой технологии студенты должны знать. С уважением, Игорь Синёв, выпускник кафедры КТ."

Обновлен раздел "Фотографии": 2017.02.13. Отмечаем присуждение премии Правительства РФ 2016 г. в области образования

Алгоритмы любви: он, она и наука (news.ifmo.ru)

Как полюбить Haskell и основать свой IT-бизнес: опыт магистранта кафедры компьютерных технологий (news.ifmo.ru)

Министр Ольга Васильева наградила сотрудников Университета ИТМО премией Правительства России в области образования (news.ifmo.ru)

Вручены премии Правительства РФ в области образования за 2016 год (tvkultura.ru)

Статья о нас в журнале Собака.ru в сборе (sobaka.ru)

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

Как нейронная сеть по имени Зинаида Фолс написала для РБК стихи о будущем (rbc.ru)

Андрей Фильченков рассказывает (docs.google.com)

Лекции по глубокому обучению: А. Фильченков и С. Николенко (youtube.com)

Лекции по машинному обучению К. Воронцова (youtube.com)

Apple присоединилась к Amazon, Google, Facebook, IBM и Microsoft в создании искусственного интеллекта (russianelectronics.ru)

How a dispute at Harvard led to a grad student’s forced mental exam and an extraordinary restraining order against a prominent scientist (sciencemag.org)

ИИ учится писать ИИ-программы (pcweek.ru)

ИТМО разрисовали граффити или сессия в творческом формате (1tvspb.ru)

Нейросеть Google Translate составила единую базу смыслов человеческих слов (geektimes.ru)

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

Распоряжением Правительства РФ от 23.12.2016 г. № 2790-р премия Правительства РФ 2016 г. в области образования присуждена в составе авторского коллектива Буздалову Максиму Викторовичу, кандидату технических наук, доценту Университета ИТМО за научно-практическую разработку «Комплексный метод отбора и подготовки высококвалифицированных кадров международного уровня в области информационных технологий» (rg.ru)

Сейчас можно никуда не ездить, а стать профессором в молодые годы непосредственно в Университете ИТМО! (http://news.ifmo.ru)

Университет ИТМО стал партнером всемирного образовательного онлайн-проекта edX (http://news.ifmo.ru)

01.01.2017 г. были подведены итоги конкурса по государственному заданию подведомственных Министерству образования и науки образовательных организаций. Из более 2500 заявок Комиссия Минобрнауки России при активном участии Совета по науке при Минобрнауки России и Проектного офиса научно-технологической инициативы отобрало 444 проектов 125 организаций. В числе победителей 16 проектов из Университета ИТМО, включая проект: «Разработка алгоритмов анализа метаболических и сигнальных сетей для идентификации модулей, регулирующих клеточную адаптацию». Руководитель – А.А. Шалыто. Ответственный исполнитель – Алексей Сергушичев. Шалыто получил короткое, но очень выразительное письмо от научного руководителя Леши – профессора-исследователя Университета ИТМО Максима Артемова, основное место работы которого – Университет Вашингтона в Сант-Луисе: «Урррааа!».

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

Обновлен раздел "Фотографии": Н. Ханжина и Е. Путин в Перми

Выложены диссертация, автореферат и презентация с защиты Сергея Казакова

«Половина научных работ по Concurrency — полная чушь!» — интервью с Романом Елизаровым из Devexperts (habrahabr.ru)

«Меня разрывает, когда я не могу писать код» — интервью с Максимом Шафировым, CEO JetBrains (habrahabr.ru)

Тинькофф Банк учредил именную стипендию для студента ИТМО — двукратного чемпиона мира по программированию (tinkoff.ru)

Выложены диссертация, автореферат и презентация с защиты Алексея Сергушичева

Как стать первым в спортивном программировании: Университет ИТМО делится опытом. Часть 1, Часть 2.

Обновлен раздел "Фотографии": 2016.12.22 Защиты С. Казакова и А. Сергушичева

Два библиографических списка, составленных А.А. Шалыто, попали в "Виртуальный компьютерный музей": http://computer-museum.ru/articles/books/1064/, http://computer-museum.ru/articles/books/1066/.

30.11.2016 г. был опубликован еще один рейтинг – Times Higher Education BRICS & Emering Economics (БРИКС и развивающиеся страны) University Ranking, в котором наш университет занял высокое место, особенно среди российских вузов: 1. МГУ — третье место; 2. МФТИ — 12 место; 3. МИФИ — 19 место; 4. Университет ИТМО — 27 место; 5. СПбГУ — 30 место; 6. Новосибирский госуниверситет — 38; 7. ВШЭ — 48; 8. Томский политетехнический университет — 56 место; 9. Томский госуниверситет — 60 место; 10. Казанский федеральный университет — 66; 11. Политех — 107 место; 12. Баумана — 147 место (https://www.timeshighereducation.com/world-university-rankings/2017/brics-and-emerging-economies-university-rankings#!/page/0/length/25/sort_by/scores_overall/sort_order/asc/cols/stats).

В рейтинге Round University Ranking (RUR) шесть предметных: естественные, гуманитарные, социальные, медицинские и технические науки, а также науки о жизни. В эти рейтинги попали 700 вузов из 74 стран мира. По техническим наукам среди российских университетов наш университет третий: 1. МГУ (164 место в рейтинге); 2. Томский госуниверситет (267); 3. Университет ИТМО (287); 4. МАИ (288); 5. МФТИ (289); 6. МИСиС (311); 7. МИФИ (314) и т. д. В 2015 г. мы в этом рейтинге были пятыми среди российских вузов (после МГУ, Томского госуниверситета, Баумана и МФТИ) и занимали 340 место.

Кто-то написал, что еще немного, и Университет ИТМО перейдет через ноль и выскочит в отрицательную часть национального рейтинга университетов, в котором в этом году занял 12 (!) место (http://univer-rating.ru/rating_common.asp), а еще наш университет занял второе место по востребованности среди технических вузов страны (https://vid1.ria.ru/ig/ratings/Engen-2016.htm).

22.12.2016 г. защитились два наших аспиранта: Сергушичев А. «Методы вычислительного анализа метаболических моделей для интерпретации транскриптомных и метаболомных данных» и Казаков С. «Автоматизация сборки генома и сравнительного анализа метагеномов для обучения геномной биоинформатике». Каждый из них получил отзыв академика РАН! Первый – С. Недоспасова, а второй – М. Дубины. Это можно считать официальным признанием нашего вклада в биоинформатику, в которую я «впутался» в 2010 г. в результате знакомства с академиком РАН К. Скрябиным. Долгое время эта деятельность ничего, кроме скепсиса, у окружающих не вызывала, но мы держались и удержались! Поздравляю ребят и себя тоже!

Университет ИТМО готовится к зимней сессии (the-village.ru)

Как бы на Украине не разбирались с «Приватбанком», но мне эта заметка нравится: «Let me share a reading list for people, who'd like to start diving deeper into Corezoid and PrivatBank Privat24 services. These are some basics:
1. Lloyd S. Programming the Universe: A Quantum Computer Scientist Takes on the Cosmos;
2. Hopcroft J., Motwani R., Ullman J. Introduction to Automata Theory, Languages, and Computation;
3. Deitel H., Deitel P., Choffnes D. Operating Systems;
4. Wiener N. Cybernetics. The Control and Communication in the Animal and the Machine»;
5. Get accustomed with such concepts as Conway's Game of Life;
6. Turing machine;
7. Mandelbrot set.
8. Ullman J. (Stanford University) There is also a wonderful free basic course on finite automata theory on Coursera.
9. Shalyto A.A., Tukkel N.I. SWITCH-Technology: An Automated Approach to Software, 27(5), 2001.
10. Shalyto A.A. Logic Control and «Reactive» Systems: Algorithmization and Programming» //Automation and Remote Control. 2001. № 1» (S. Danylenko).

These Universities Are Training The World's Top Coders (fastcompany.com)

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

Ректор ИТМО Владимир Васильев: Петербург – это наша лаборатория (topspb.tv)

Filchenkov A. Deep Neural Networks Tutorial
Nikolenko S. Deep Learning for Natural Language Processing

В Интернете появились "Топ-100 самых цитируемых и самых продуктивных российских учёных по данным РИНЦ". К ним можно относиться как угодно, но в следующие рейтинги вошли и выдающиеся российские (советские) ученые, в том числе и те, кто уже умер:

• Физика: Топ-100 самых цитируемых российских ученых по данным РИНЦ
• Математика: Топ-100 самых цитируемых российских ученых по данным РИНЦ

• Информатика: Топ-100 самых цитируемых российских учёных по данным РИНЦ - 32 место
  
• Автоматика. Вычислительная техника: Топ-100 самых цитируемых российских ученых по данным РИНЦ - 69 место

Ulyantsev V., Buzhinsky I., Shalyto A. Exact Finite-State Machine Identification from Scenarios and Temporal Properties. International Journal on Software Tools for Technology Transfer, 2016, DOI: 10.1007/s10009-016-0442-1

Университет ИТМО запустил первый курс на образовательной онлайн-платформе edX "How to Win Coding Competitions: Secrets of Champions"

Куда ж не расплатившись? Профессор вносит душераздирающее предложение: сделать высшее образование платным (spbvedomosti.ru)

Работы по многофункциональным и настаиваемым модулям, выполненные в СССР и России

1. Как Петербург стал IT-столицей? (sobaka.ru)
2. Почему айтишники из Петербурга самые крутые в мире? (sobaka.ru)
3. Кто в России учит лучших мировых программистов? (sobaka.ru)
4. «Это первое поколение русских, которые работают во всем мире по специальности» (sobaka.ru)
5. Как бросить все и переехать в Кремниевую долину? (sobaka.ru)

Конференция памяти Нобелевского лауреата Л.В. Канторовича. Александр Генельт был спонсором этой конференции!

Обновлен раздел "Фотографии": 2016.10.31. 20 лет кафедры "Системное программирование" СПбГУ

Работы по однородным структурам и клеточным автоматам, выполненные в СССР, России и бывших республиках СССР

Оглавление из журнала "Собака.ru"

Колонка главного редактора журнала "Собака.ru"

Статья о нас в журнале "Собака.ru"

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

• 2016.10.18. Максим Буздалов и Светлана Доценко в Университете ИТМО
• 2016.10.19. Максим Буздалов в Лаборатории непрерывного математического образования
• 2016.10.28. Открытие мемориальной доски Нобелевскому лауреату Л.В. Канторовичу

О нас пишут в газете из Голландии

"Зажгли" с Максимом Буздаловым в классной школе (lnmo.ru)

Статья Шалыто А.А. "Далекое и близкое" в Виртуальном компьютерном музее (computer-museum.ru)

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

Обновлен раздел "Фотографии": 2016.10.04. Программисты получают дипломы за математику

Победители рассказывают, как они побеждали на соревнованиях по программированию В ОАО "НПО "Аврора"

Буздалов М. Мои счастливые годы жизни в университете ИТМО (lnmo.ru)

Флатландия против Лайнландии (spbvedomosti.ru)

О русском первенстве в машинном обучении (machinelearning.ru)

История машинного обучения (machinelearning.ru)

Сайт по машинному обучению (machinelearning.ru)

Наши доклады на конференции в Барселоне (machinelearning.ru)

Обновлен раздел "Фотографии": Нас снимает журнал Собака.RU для октябрьского номера 2016 года

Марк Гальперин. Киты меняют кожу

МГУ и ИТМО вошли в топ-100 мирового рейтинга вузов Times Higher Education в области компьютерных наук (d-russia.ru)

Предметный рейтинг университетов России (urfu.ru)

Онлайн-курс по спортивному программированию! (mbradio.ru)

МГУ и ИТМО вошли в топ-100 мирового рейтинга вузов Times Higher Education в области компьютерных наук (tass.ru)

Шалыто А.А. на марафоне "Мегабайт 4.0"

В Nature Index отметили, что сотрудники университета ИТМО стали весьма активно публиковаться в широко известных в мире 68 журналах. Там также была отмечена и наша лаборатория, так как наши ребята опубликовались в следующих журналах из указанного списка: Genome Research, Cell Host & Microbe, Immunit, Cell Metabolism, Molecular Cell, Nature Genetics! Я поблагодарил за это со-руководителя нашей лаборатории Максима Артемова из университета Вашингтона в Сант-Луизе, и получил ответ: "Класс! То ли еще будет! Мы на этом останавливаться не намерены :-) Спасибо Вам большое за ребят и поддержку!". Ура!

Лучшие кадры для региона: Университет ИТМО будет обучать талантливых школьников из Мордовии (news.ifmo.ru)

Большие надежды: истории и планы медалистов международной олимпиады по информатике IOI (news.ifmo.ru)

Университет ИТМО вошел в число 400 лучших университетов мира. Ура! (news.ifmo.ru)

О рейтинге TIMES (gtmarket.ru)

Компания GetBrains в рамках JetBrains Research поддерживает две наши исследовательские группы: биоинформатика и проблемы оптимизации в программной инженерии.

Студенты И. Закирзянов, А. Лобода, Н. Ханжина и аспиранты А. Буздалова и Е. Путин - претенденты 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)

Очень рад, что познакомился с Вами на конференции 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.

Обновлен раздел "Фотографии": 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)

Гигантский памятник-iPhone в честь Стива Джобса открыли в Петербурге (digit.ru)

Доклад Капуна Е. и Царева Ф. "De Bruijn Superwalk with Multiplicities Problem is NP-hard" принят на workshop RECOMB-seq 2013, который пройдет в апреле 2013 г. в Пекине. Цитата из рецензии: "This is an exciting result and an important contribution to our understanding of the theoretical limitations of genome assembly" / "Это захватывающий результат и важный вклад в наше понимание теоретических ограничений сборки генома".

Мякишева Л.М. Рекомендации для авторов статей

Обновлен раздел Курсовые проекты. Макаров Н.И. Объектно-ориентированное программирование с явным выделением состояний на языке Eiffel

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

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

Северная звезда: петербургские программисты — лучшие в мире

Наши статьи в материалах Всероссийской научной конференции по проблемам информатики (СПИСОК-2012)

Максим Буздалов победил на Осенней школe фандрайзинга Fund-IT НИУ ИТМО

НИУ ИТМО седьмой вуз страны по поступлению в него победителей школьных олимпиад! ("Коммерсантъ" - В какие вузы поступали победители школьных олимпиад)

Фотоработы Инны Шалыто в журнале "Newtone", издаваемом в НИУ ИТМО

Сергей Рукшин о Григории Перельмане и других учениках ("Полит.ру")

Сергей Рукшин о себе ("Полит.ру" - Дорога в математику)

Письмо от А. Лившица с благодарностью за автоматное программирование

Обновлен раздел "Премии": добавлены дипломы В.И. Ульянцева и С.В. Казакова - победителей конкурса грантов Санкт-Петербурга для студентов, аспирантов, молодых ученых, молодых кандидатов наук 2012 г.

Исполнительный директор компании JetBrains Максим Шафиров о компании и инициативе "Сохраним в университетах лучших!"

Поздравление Губернатора Санкт-Петербурга Г.С. Полтавченко команде по программированию НИУ ИТМО, победившей на чемпионате России 2012 г. (Газета "Петербургский дневник". 04.12.2012 г., с.2)

"Лифт в будущее": Станкевич и его очередная команда

Состояние с гуманитарным образованием в стране (Заявление Ученого совета филологического факультета МГУ имени М. В. Ломоносова)

Директор физико-математического лицея 239 Максим Пратусевич - лучший директор школы России. Интервью "РИА Новости"

"Время электроники" - исследование: откуда берутся мысли?

"Время электроники": ученые сымитировали мозг на аналоговых компонентах

Поздравляем Арину Буздалову со стипендией Правительства Санкт-Петербурга на 2012/2013 учебный год!

Обновлен раздел "Лабораторные". Выложены условия лабораторных работ за 2012/13 учебный год.

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

• 2012.12.02. Полуфинал чемпионата мира по программированию NEERC 2012
• 2012.10.09. Один из основоположников Интернета, лауреат премии Тьюринга Роберт Кан - почетный доктор НИУ ИТМО

Кафедра "Компьютерные технологии" НИУ ИТМО стала победителем конкурса "Лучшие образовательные программы инновационной России" 2011 г. по "Прикладной математике и информатике". Бакалавриат. Магистратура.

"Коммерсантъ": Охота за головами изменит корпоративный мир

Санкт-Петербургские Ведомости: «Гробовую» не решил никто

Добавлена презентация: Янкин Ю.Ю., Шалыто А.А. Метод создания программного обеспечения модулей, выполненных на основе программируемых логических интегральных схем.
Янкин Ю.Ю., Шалыто А.А. Метод создания программного обеспечения модулей, выполненных на основе программируемых логических интегральных схем (видео-презентация в формате exe)

Статьи про конечные автоматы на habrahabr.ru:

• Простые стейт-машины на службе у разработчика
• Конечные автоматы. Пишем ДКА
• Создание конечного автомата для разбора HTTP-запроса
• Асинхронный конечный автомат: идеология и технология
• Реализация графического интерфейса как конечного автомата
• Пробуем Qt 4.6: Qt Animations и State Machine
• Конечные автоматы в Ruby
• Implementing FSM
• Шаблоны проектирования в автоматном программировании

Обновлен раздел Фотографии. 2012.11.29. Защита кандидатской диссертации и банкет в честь успешной защиты Ф.Н. Царева

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

С большим интересом прослушал лекцию Павла Певзнера о сборке генома, в конце которой узнал, что существенную роль в решении этой задачи играют эйлеровы графы. Интересно, что одной из первых задач, которой я занимался, начав в 1971 г. заниматься наукой, была задача о построении многофункциональных логических модулей из элементов с двусторонней проводимостью. Ее решение основано на нахождении эйлеровых графов в схемах. Первая публикация на эту тему вышла в 1974 г., а на английском языке - в 2006 г. Это перевод статьи Шалыто А.А. Многофункциональные модули из элементов с двусторонней проводимостью //Известия РАН. Теория и системы управления. 2006. No. 1, с. 76 - 81. Может быть по этой причине :-), через много десятилетий мы начали заниматься сборкой генома и добились определенных успехов в этом направлении.

Инна Шалыто на радио "Шоколад". Двенадцатая передача. "Ожерелье-команда" (формат mp3)

Как дешево построить суперкомпьютер ("Открытые системы" - Из Raspberri Pi и Lego собрали 64-процессорный суперкомпьютер)

"Открытые системы": Эволюция парадигмы программирования

"Открытые системы": Российский программист выиграл TopCoder Open 2012

Джеймс Гослинг: "Язык Java отлично подходит для решения задач искусственного интеллекта"

Николенко С. Презентации лекций по машинному обучению

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

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

А.В. Александров, С.В. Казаков, С.В. Мельников, А.А. Сергушичев, Ф.Н. Царев, А.А. Шалыто. Метод сборки контигов геномных последовательностей на основе совместного применения графов де Брюина и графов перекрытий / Сборник трудов Mеждународного конгресса по интеллектуальным системам и информационным технологиям IS&IT'2012. М.: Физматлит, 2012. Т. 3, с. 283-288.

Инна Шалыто на радио "Шоколад". Девятая передача. "Бизнес как отношения" (формат mp3)

Добавлены статьи:

• Бужинский И.П., Ульянцев В.И, Шалыто А.А. Применение муравьиных алгоритмов для построения автоматов управления системами со сложным поведением на основе обучающих примеров / Сборник трудов Mеждународного конгресса по интеллектуальным системам и информационным технологиям IS&IT'2012. М.: Физматлит, 2012. Т. 1, с. 15-20.
• И.А. Ходашинский, И.В. Горбунов. Оптимизация параметров нечетких систем на основе модифицированного алгоритма пчелиной колонии // Мехатроника, автоматизация, управление. 2012. №10, с. 15-20.

Наши в "Одноклассниках"! (YouTube - Работа в социальной сети)

Поздравляем Н. Нигматуллина, М. Кевера и Г. Короткевича с победой в четвертьфинале чемпионата мира (Northern Subregional Contest), а В. Демьянюка, А. Комарова и П. Кроткова с третьим местом!

JetBrains Company Blog - Knowledge Is Power: JetBrains Educational Projects

Компания "Jet Brains" помогает университетам, поддерживая, в частности, инициативу "Сохраним в университетах лучших!" в НИУ ИТМО ("Бумага" - Лабораторная работа: как бизнес помогает образованию?)

26 октября состоялся финал первого конкурса научно-исследовательских и инновационных проектов среди студентов и аспирантов НИУ ИТМО «The Big Bang». Третье место занял проект студентов кафедры "Компьютерные технологии" И. Бужинского и В. Ульянцева.

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

Обновлен раздел Свидетельства. Буздалов М.В. Программное средство исследования эволюционных алгоритмов для генерации покрывающего набора тестов // Свидетельство о регистрации программы для ЭВМ. № 2012 616744. Дата регистрации - 05.10.2012.

Обновлен раздел Курсовые проекты. Карпов Д.П. Сшивка изображений, полученных в результате аэрофотосъемки

Буздалова А.С., Буздалов М.В. Метод повышения эффективности эволюционных алгоритмов с помощью обучения с подкреплением // Научно-технический вестник информационных технологий, механики и оптики. 2012. №5(81), с. 115-119

Бужинский И.П., Ульянцев В.И. Применение муравьиных алгоритмов для построения автоматов управления системами со сложным поведением на основе обучающих примеров / Сборник докладов XV Международной конференции по мягким вычислениям и измерениям (SCM`2012). СПб: СПбГЭТУ "ЛЭТИ", 2012. Т. 1, с. 250 – 253

Выложены лабораторные работы по курсу "Теория автоматов и программирование" за 2011/12 учебный год

Журнал Cosmopolitan: Инна Шалыто

Добавлены статьи:

• Н.И. Лиманова, Е.А. Мазин. Дискретная математическая модель детерминированного клеточного автомата и ее программная реализация // Информационные технологии. 2010. №2, с. 34–38.
• Е.М. Раскин, Л.А. Денисова, В.А. Мещеряков. Автоматизация проектирования системы регулирования с использованием генетического автомата оптимизации // Промышленные АСУ и контроллеры. 2012. №7, с. 8–14.
• Л.А. Денисова, Е.М. Раскин. Параметрический синтез нечетких систем регулирования на основе генетического алгоритма оптимизации // Промышленные АСУ и контроллеры. 2012. №8, с. 33–40.
• П.В. Казаков. Оценка эффективности генетических алгоритмов многокритериальной оптимизации. Ч. 2 // Информационные технологии. 2012. №9, с. 42–46.
• С.С. Михалевич, С.А. Байдали, Ю.А. Чурсин. Моделирование систем автоматического управления методом пространства состояний // Промышленные АСУ и контроллеры. 2012. №8, с. 23–28.
• А.П. Карпенко. Популяционные алгоритмы глобальной поисковой оптимизации. Обзор новых и малоизвестных алгоритмов // Приложение к журналу "Информацонные технологии". 2012. №7
• А.Б. Барский. История российских суперкомпьютеров специального назначения: свидетельства и размышления // Приложение к журналу "Информационные технологии". 2012. №9

"Forbes" - Кадровый резерв за миллион: как компании подготовить достойную смену

Honorable Doctors in Computer Science of St. Petersburg National Research University of IT, Mechanics & Optics

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

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

• Ulyantsev V., Tsarev F. Extended Finite-State Machine Induction using SAT-Solver / Proceedings of the 14th IFAC Symposium “Information Control Problems in Manufacturing - INCOM'12". IFAC, 2012, pp. 512-517
• Chivilikhin D., Ulyantsev V., Tsarev F. Test-Based Extended Finite-State Machines Induction with Evolutionary Algorithms and Ant Colony Optimization / Proceedings of the 2012 GECCO Conference Companion on Genetic and Evolutionary Computation. NY.: ACM. 2012, pp. 603 – 606
• Buzdalov M., Sokolov A. Evolving EFSMs Solving a Path-Planning Problem by Genetic Programming / Proceedings of the 2012 GECCO Conference Companion on Genetic and Evolutionary Computation. NY.: ACM. 2012, pp. 591 – 594
• Alexandrov A., Kazakov S., Melnikov S., Sergushichev A., Shalyto A., Tsarev F. Combining de Bruijn graph, overlaps graph and microassembly for de novo genome assembly. / Proc. of “Bioinformatics 2012”. – Stockholm, 2012. – P. 72 — http://socbin.org/bioinfo2012/all-abstracts.pdf
• Chivilikhin D., Ulyantsev V. Learning Finite-State Machines with Ant Colony Optimization // Lecture Notes in Computer Science, 2012, Volume 7461/2012, pp. 268-275, DOI: 10.1007/978-3-642-32650-9_27

9 октября 2012 года в 15:00 в 285 ауд. состоится встреча с одним из основоположников Интернета Робертом Каном, на которой ему по решению Ученого Совета НИУ ИТМО будут вручены диплом и мантия Почетного доктора.

Инструментальное средство "UniMod", разработанное нами, используется при бакалаврской подготовке в Италии. Предполагается его применение при магистерской подготовке и при обучении PhD-студентов. Ricca F., Leotta M., Reggio G., Tiso A., Guerrini G., Torchiano M. Using UniMod for Maintenance Tasks: An Experimental Assessment in the Context of Model Driven Development

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

Моя идея проникает в массы! ("PCWEEK" - Почему ИТ-компании не используют опыт футбольных клубов? К беседе Марка Цукерберга с Дмитрием Медведевым)

Часовое выступление на открытии "Открытой Стартап Школы SumIT" в НИУ ИТМО 21.07.2012 г.

Андрей Станкевич - кандидат технических наук. Поздравляем!

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

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

Инна Шалыто на радио "Шоколад". Четвертая передача. "Бурятия" (формат mp3)

Сначала надо расшифровать 10 000 генов, а потом еще 100 000 ("Поиск" - Распознать приспособленцев)

Андрей Калинин рассказывает о Поиске Mail.Ru

Наши в журнале Forbs Woman. Вторая публикация.

А.А. Шалыто с докладом "Bзaимoдeйствиe с poссийским бизнeсoм кaк oснoвa сoxpанeния выдающиxся мoлoдыx пpoгpаммистoв в НИУ ИТМО" в расписании семинара сети университетов региона Балтийского моря в Санкт-Петербургском университете экономики и финансов "Сотрудничество университетов и бизнеса - инновации и развитие"

"Лифт в будущее". Профессор ИТМО Шалыто готовит уникальных программистов и ... сборщиков генома

Russian Code Cup в новостях телеканала "Россия 2"

"Хабрахабр". Чемпионат по программированию Russian Code Cup 2012: как это было

С. Казаков и В. Ульянцев претенденты на получение премии Правительства СПб за 2012 г. победителям конкурса грантов для студентов вузов, расположенных на территории Санкт-Петербурга. Поздравляем!

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

О выступлении А.А. Шалыто (журнал "Рекрутинг News")

О взаимоотношениях Mail.Ru и НИУ ИТМО. Интервью Алиева Рауфа по поводу Russian Code Cup, радио Голос России, программа «Сетевой дозор»

Васильев В.Н., Пафенов В.Г. и Шалыто А.А. на Russian Code Cup: видеофрагменты из прямой трансляции чемпионата

PC Week/RE о Russian Code Cup и "Заметках о мотивации"

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

На сборах в Петрозаводске. Андрей Станкевич и председатель государственной думы Сергей Нарышкин. ("Поиск" - Пожелал победы)

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

Добавлено свидетельство о регистрации программы "Программное средство для сборки квазиконтигов из парных чтений"

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

Министерство образования и науки РФ - конкурс на получение стипендии Президента Российской Федерации молодым ученым и аспирантам, осуществляющим перспективные научные исследования и разработки по приоритетным направлениям модернизации российской экономики

Все крутится вокруг генома ("Поиск" - Волшебники изумрудного острова. Ирландцы превратили Дублин в столицу европейской науки)

"Поиск": Секвенатор по-русски. Отечественные устройства позволят лучше и дешевле разобраться с геномом человека.

Юрий Мильнер учереждает небывалую премию ("Поиск" - Физика в почете. Российский олигарх учредил крупнейшую научную премию)

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

Средний срок пребывания ученого в российской науке шесть-семь лет. Не густо! ("Поиск" - Ощущение успеха. Может ли красивая научная карьера стать массовым явлением?)

На медиа-репутацию АФК "Система" повлияло, в том числе, и ООО "Стрим" ("ИнвестГУРУ" - АФК "Система", группа "Сумма" и ГК "Ренова" – наиболее публичные многопрофильные холдинги России)

Variety: «Стрим» идет в СНГ и заводит детей

Выступление А.А. Шалыто в расписании III ежегодного кадрового симпозиума "Человеческий капитал: модернизация экономики"

Владимир Николаевич Васильев - член экспертного совета при правительстве РФ. Поздравляем!

Интервью в журнале "Город 812": "Оброком легким заменил"

Что может сделать один человек! ("Огонёк" - Вятский мужичок)

Мой бывший аспирант Никита Шамгунов идет к мировому призванию ("PCWEEK" - MemSQL - самая быстрая РСУБД в мире?)

В июле 2012 г. в рамках Федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» на 2009–2013 годы мы вошли в число победителей конкурса на заключение государственного контракта на организацию НАУЧНО-ОБРАЗОВАТЕЛЬНОГО ЦЕНТРА по научному направлению «Науки о жизни (Живые системы)» в области «Геномные, протеомные и постгеномные технологии» по теме «Разработка методов сборки генома, сборки транкриптома и динамического анализа протеома».

«Убедительны только наделенные страстью люди. Самый простой человек, наделенный страстью, гораздо более убедителен, чем самый красноречивый, не обладающий ею» (Р. Декарт)

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

Шалыто А.А. Заметки о мотивации. Издание шестое. СПб.: Мозаика НК. Подписано к печати 10.07.2012. - 180 с. Тираж - 750 экз.

Выступление А.А. Шалыто в расписании «Открытой Стартап Школы SumIT»

Сенсация! Раньше только некоторые зарубежные политики (например, К. Райс) уходили после завершения карьеры на работу в университет, а теперь такое произошло и у нас: губернатор Пермского края будет работать в Высшей школе экономики!

Сергей Белоусов: Мы инвестируем в тех, кто хочет решить какую-то проблему, а не заработать деньги. Часть 1, часть 2

В рамках Федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» на 2009–2013 годы. Мероприятие 1.2.1. «Проведение научных исследований научными группами под руководством докторов наук» мы выиграли открытый конкурс на выполнение НИР по направлению «Информатика» по проблеме «Разработка методов построения управляющих конечных автоматов по обучающим примерам на основе решения задачи удовлетворения ограничений». При этом мы заняли первое место среди 55 организаций.

Обновлен раздел Дипломы. Тяхти А.С. Применение генетических алгоритмов и эволюционных стратегий для построения управляющих конечных автоматов по сценариям работы

Существуют многочисленные пересечения между физикой, топологией, логикой и теорией информатики. Читайте Баез Дж. К., Стэй М. Физика, топология, логика и теория вычислений: новый Розеттский камень

Академик К.Г. Скрябин о геноме ("Итоги" - Ген превосходства)

"Forbes": 10 самых известных в мире ученых русского происхождения

Автоматное программирование живет и медленно побеждает

Сергей Петрович Капица: "Люди должны почувствовать: отношение к ним изменилось, они снова нужны стране. Пока этого не заметно. У меня был разговор с Кудриным, нашим министром финансов. Он спросил, сколько, на мой взгляд, нужно платить российским ученым. Я ответил: «В долларах, как сейчас в рублях». Кудрин лишь усмехнулся: «Шутите?» Между тем сын моего знакомого окончил химфак МГУ, и ему предложили остаться в аспирантуре, пообещав назначить стипендию в полторы тысячи рублей. В итоге юноша подал документы в Колумбийский университет, куда его с радостью приняли, положив те же самые полторы тысячи. Но долларов. Через год молодой человек получал уже две с лишним тысячи... И о чем тут говорить?"
"Другое огорчает: состояние дел в современной науке. Чудовищный разрыв поколений! Молодой профессуры попросту нет. В 35 лет я был избран заведующим кафедрой физики в МФТИ, ведущем вузе страны. Сегодня подобное трудно представить. Студентов некому учить, старики ушли, а молодежь не торопится занять вакантные места. Лучше уехать за кордон. Кое-кто до сих пор по привычке ругает Ленина, выславшего сотню философов из страны. А сколько мы потеряли ученых в последние годы? Без всяких репрессий десятки тысяч людей фактически были выдавлены из России. Вот и результат. Плохо представляю, как восполнить потери"

Александров А. В., Казаков С. В., Мельников С. В., Сергушичев А. А., Царев Ф. Н., Шалыто А. А. Метод исправления ошибок в наборе чтений нуклеотидной последовательности //Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2011. № 5, с. 81–84.

Нам пишут: Switch-технология продолжает внедряться

Нам пишут отзывы о Switch-технологии

Труды конференции "World Wide Web 2012"

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

Как продать 20 долларов за 200?

Проектирование программных бортовых систем управления с поддержкой верификации. Применение автоматов при спецификации программ критикуется

Белоглазов Д.М., Машуков М.Ю., Непомнящий В.А. Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри // Моделирование и анализ информационных систем. Т. 18, №4 (2011), с. 144-156

Кузьмин Е.В., Соколов В.А. О верификации LD-программм логических контроллеров // Моделирование и анализ информационных систем. Т. 19, №2 (2012), с. 138-144

Обновлен раздел Articles. Zakonov A., Shalyto A. Automatic Extraction and Verification of State-Models for Web Applications // Informatics in Control, Automation and Robotics. Lecture Notes in Electrical Engineering. 2012. V.133. Part 1, pp. 157 – 160. http://www.springerlink.com/content/n600111522782576/

В.В. Путин о победе наших студентов ("Поиск" - Выступление Владимира Путина на общем собрании РАН)

Газета "Поиск" о нашей победе на финале чемпионата мира по программированию

Китайские физики побили рекорд квантовой телепортации ("Поиск" - Перепутали фотоны)

Министр образования об уходе от всеобщего бесплатного высшего образования ("Поиск" - В ту же реку. Дмитрий Ливанов вернулся в минобрнауки)

Mail.ru открыл технопарк в Бауманке ("PCWEEK" - “Технопарк”, который готовит разработчиков высоконагруженных онлайн-систем)

Дипломы каких иностранных вузов признаются в России ("Российская газета" - Распоряжение Правительства Российской Федерации от 21 мая 2012 г. N 811-р г. Москва)

Прекрасная фотография - дети испанских футболистов осыпают конфетти форварда сборной Испании Фернандо Торреса после финального матча Евро-2012

Обновлен раздел Articles. Afanasyeva A., Buzdalov M. Optimization with Auxiliary Criteria using Evolutionary Algorithms and Reinforcement Learning / In Proceedings of 18th International Conference on Soft Computing MENDEL 2012, Brno, Czech Republic, June 27-29, 2012. - Pp. 58-63.

Microsoft сражается с Apple ("PCWEEK" - Билл Гейтс считает, что Microsoft вновь поменяет правила игры)

Презентация нашей работы на GECCO-2012. Chivilikhin D., Ulyantsev V., Tsarev F. Test-Based Extended Finite-State Machines Induction with Evolutionary Algorithms and Ant Colony Optimization. GECCO-2012, Graduate Students Workshop, July 7, 2012

Что такое элита? ("Поиск" - Элита второй свежести? Наша верхушка не отличается ни высоким интеллектуальным уровнем, ни особыми моральными качествами)

"Открытые системы": на пути к экзафлопсу

США снова лидирует в суперкомпьютерной гонке ("Открытые системы" - США вернули себе первенство в суперкомпьютерном списке Top500)

"Время электроники": в России бум инвестиций в стартапы

Обновлен раздел Дипломы. Чернявский И.И. Извлечение отношений из текстов на естественном языке

Обновлен раздел Дипломы. Афанасьева А.С. Выбор вспомогательных оптимизируемых величин для ускорения процесса оптимизации с помощью машинного обучения

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

"Эксперт": 10 материалов, которые поменяют мир

Как вернуть уважение к работе в университетах ("Известия" - Восстановление университетского этоса)

Еще один тандем! Из письма А. Шмелева, бывшего сотрудника "НПО "Аврора", к А. Шалыто

Из журнала АФК "Система". "Облачный" Omlet: чего только нет!

У наших студентов и аспирантов приняли доклад на "Международную суперкомпьютерную конференцию "Научный сервис в сети интернет". Царев Ф.Н., Александров А.В., Казаков С.В., Мельников С.В., Сергушичев А.А., Федотов П.В. Параллельный алгоритм de novo сборки генома с использованием технологии MapReduce

"Время электроники": гендиректор Yota назначен замминистра связи

Еще одна статья о Шене ("Троицкий вариант" - Саша Шень – человек и пароход)

Денис Свердлов назначен заместителем министра связи и массовых коммуникаций! Поздравляем!

Интервью с Виталием Клебаном - финалистом Всероссийского конкурса "Телеком Идея" ("Лифт в будущее" - "Главное – найти своего куратора")

Максим Концевич стал лауреатом "азиатской" Нобелевской премии ("Поиск" - Узрел узлы. Выпускник мехмата МГУ стал лауреатом азиатской “нобелевки”)

Расшифрован микробиом человека ("Поиск" - Микроб не страшен)