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

Принципы разработки программного обеспечения с учетом необходимости его повторного использования, сопровождения и модификации и их поддержка в среде разработки IBM Rational Rhapsody

Разработка, проверка и согласование технических заданий на всех уровнях разработки программно-аппаратных систем с использованием формальных исполняемых моделей на языке моделирования UML 2.0 и среды разработки IBM Rational Rhapsody

Фирма IBM предлагает применять конечные автоматы при проектировании реаактивных ответственных систем

Идеи, которые изменят мир

Гниломедов И.И. Моделирование экономических агентов при помощи конечных автоматов

Если Вы не были в художественном музее Цюриха, то кликните сюда!

Веселые картинки - а ну-ка, догони!

Возникло не просто клиповое мышление, но и появилась целая клиповая культура. Ярослав Кузьминов об образовании

Способность порождать и ценить человеческий гений для сегодняшней России - вопрос национального выживания

Об островках творческой свободы

Страсть, позволяющая забыть о бренности сущего, - это и есть смысл существования

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

Yota и институт медиа, архитектуры и дизайна

"Ботаники" пошли в рост

Школе Microsoft по структурам данных и алгоритмам в Санкт-Петербурге в августе 2010 г.

Кто получит 10 млн. долларов за секвенирование геномов?

Медведев пообещал ускорить согласование с ФСО внедрения 4G в Москве

Медведев: все, что я говорю, в граните отливается

Егоров К.В., Царев Ф.Н. Совместное применение генетического программирования и верификации моделей для построения автоматов управления системами со сложным поведением /Сборник трудов конференции "Информационные технологии и системы(ИТ и С`09)". М.: ИППИ им. А.А. Харкевича РАН. 2009., с.77-88.

Янкин Ю.Ю. Применение автоматного подхода к управлению электроприводом

Дмитрий Медведев встретился с российскими студентами – победителями чемпионата мира по программированию

Съемка фильма "Алгоритм Берга"

Фотография, выложенная на нашем сайте пошла в народ!

Выпусников кафедры "Компьютерные технологии" Евгения Князева (год окончания - 2005 г.) и Олега Степанова (2006 г.) поздравляем с успешной защитой диссертаций!

Работа братьев Царевых "Программирование и футбол" вошла в число лучших инновационных проектов России

Дмитрий Медведев вручил выпускникам СПбГУ ИТМО - разработчикам коммуникатора Yota - Гран-при премии "Прорыв"

Прорыв 2009 - Yota сделали выпускники СПбГУ ИТМО

Александр Штучкин, Федор Царев,Евгений Южаков и "Yota" в воздухе "Олимпийского"

Президент РФ Дмитрий Анатольевич Медведев вручил главный приз года молодежи - Гран-при "Открытие" первой молодежной национальной премии "Прорыв" выпускникам СПбГУ ИТМО Евгению Южакову, Федору Цареву и Александру Штучкину за разработку первого в мире оммуникатора 4G WiMax "Yota"

Приглашение на I Всероссийский Форум победителей "ПРОРЫВ"

В разделе "Образование" размещен фотоотчет о посещении Цюриха

Шалыто А.А., Мандриков Е.А., Чеботарева Ю.К. Автоматное программирование и параллельные вычисления

А.А. Шалыто в научно-популярном фильме "Алгоритм Берга"

Скоро "Форум победителей", на который едут наши!

Встань и беги: смогут ли чемпионы по информатике перепрограммировать российских футболистов?

Шалыто "зажигает" на Hack Day в ИТМО 5 декабря 2009 г.

Наши доклады на конференции "Современные информационные технологии и ИТ-образование"

• http://2009.it-edu.ru/pages/cek1
• http://2009.it-edu.ru/pages/cek2

Открыт сайт по проектному обучению на основе автоматного программирования

Фильм "Алгоритм Берга" продают за 22 рубля!

Усилиями Михаила Царева Детско-юношеская спортивная школа Красносельского района Санкт-Петербурга стала победителем конкурса по качеству "Сделано в Санкт-Петербурге", организованного Правительством Санкт-Петербурга и СПбГУ "Центр контроля качества товаров (продукции), работ и услуг". Золотым знаком качества был отмечен проект "Применение информационных технологий и менеджмента в подготовке юных спортсменов". ГОУ ДОД ДЮСШ Красносельского района стала победителем конкурса по качеству "Сделано в Санкт-Петербурге", организованного Правительством Санкт-Петербурга и СПбГУ "Центр контроля качества товаров (продукции), работ и услуг". Золотым знаком качества был отмечен проект "Применение информационных технологий и менеджмента в подготовке юных спортсменов"

Фильм "Алгоритм Берга"

Компьютер на футбольном поле

Владыкин А. Декларативный язык описания алгоритмов извлечения данных их XML-документов

Что делать, чтобы стать героем?

Кадры о нас из фильма "Алгоритм Берга"

10 идей, которые изменяют мир

Серьезный разговор о российской науке

Президент РФ Д.А. Медведев о сталинских репрессиях

Художники Зверев и Матисс

Читать всем! Гурджиев Георгий Иванович. Путь к бессмертию.

СПбГУ ИТМО получил Премию Правительства Санкт-Петербурга в области инноваций

О работе братьев Царевых с экстравагантным названием

2 декабря 2009 года в 18-00 в Доме кино (в кинотеатре "Родина" рядом с Зимним стадионом и цирком) премьера фильма "Алгоритм Берга", в котором снимались преподаватели и студенты ИТМО, а музыку написал Максим Буздалов. Приглашаются все желающие.

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

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

Тихомиров А.В. Адаптивная модификация текстурной раскладки для карт освещенности

24.11.2009 в 23:55 по каналу "Культура" будут показывать фильм "Алгоритм Берга", в котором мы снимались, а музыка - Максима Буздалова

29.10.2009 года вице-президент Rational Software IBM Software Group Steve Robinson (http://www.ibm.com/developerworks/blogs/page/SteveRobinson) посетил СПбГУ ИТМО

Шалыто А.А. Принуждение к творчеству

Шалыто А.А. Задача, которую не смогли решить чемпионы мира

Шалыто А.А. Последний учитель

"Митьки" и натюрморты

Официальный прогноз ИТ-кадрового голода

СПбГУ мечтает попасть в 50 лучших университетов мира

Кто куда поступал в этом году

VoIP для мобильного WiMAX

Зачем нужны толстые журналы

Широков Ф.В. Как делается настоящая наука

15 млн руб. за "глубокие нравственные страдания"

Почему в нашем исследовательском университете не изучается эта проблема?

Бедное животное

Студенты живут в отеле "Балчуг"!

Федотов П.В. Подход к безопасному внесению изменений в графы переходов автоматных систем

Жена Брина за 399$ определяет предрасположенность к болезням по геному(https://www.23andme.com/)

Канжелев С.Ю. Назначение технологии Windows Workflow Foundation - планы и реализация. Обзор

О нас пишут так

На полке в Санкт-Петербургском Доме книге: Д. Кнут, Н.Поликарпова, А.А.Шалыто и Б.Мейер

Победители Санкт-Петербургского четвертьфинала чемпионата мира по программированию сезона 2009-2010

Вручение премии Правительства России в области образования

И в Google тоже публикуют статьи

Чеботарева Ю.К. Применение генетических алгоритмов для генерации функций, описывающих движение, на примере шага вперед человекоподобного робота

Джон Хопкрофт и книга Н. Поликарповой и А. Шалыто "Автоматное программирование"

Футбол с программированием признали

Восьмиклассник Л.В. Столяров (лицей "Вторая школа") опубликовал работу в журнале Прикладная дискретная математика. Приложение. 2009. № 1, с.81-83,который выпускается Томским государственным университетом

Джон Хопкрофт - почетный доктор СПбГУ ИТМО

Автономный вертолет с интеллектуальной навигацией

Это интересно - образовательный портал: математика, кибернетика и программирование

Да были Люди в наше время...

Попов С.И., Попов Ю.И., Шалыто А.А. Задача о муравьеде и муравьях

Инновационная Россия

Нуклеидования гонка

Буздалов М.В. Применение генетических алгоритмов, выявляющих неэффективные решения олимпиадных задач по программированию, на примере задачи о рюкзаке

В.Н. Васильев о национальных исследовательских университетах

Россия ждет ученых-наших соотечественников, которые готовы работать на тех же условиях, что и мы!

Почему в России не построили одну из самых мощных ЭВМ в мире

Мировая цифровая библиотека

Интернет разрушает язык - говорит директор Библиотеки Конгресса США Джеймс Биллингтон

Смирнов Е.В. Приведение объектно-ориентированных программ к автоматному виду

Школа программирования и футбола на НТВ

Бедный Ю.Д., Шалыто А.А. Применение генетических алгоритмов для создания системы управления танком в игре Robocode / Сборник трудов четвертой Международной конференции по проблемам управления. М.: ИПУ РАН. 2009, с.1521-1528

Почему турбины летают

Шалыто А.А. Проектный подход при обучении разработке программ

Письмо о книге

У нас организуется национальный исследовательский центр по технологиям программирования и искусственного интеллекта и появлятся социалдарвинизм!

"Проблемы "Булавы" не в пиропатронах, а в качестве программирования"

Disney подключился к русскому WiMAX!!!

О роли личности в истории - как Михаил Прохоров стал ерундинцем

Переписка докт. физ.-мат. наук Е.О. Степанова и докт. техн. наук А.А. Шалыто

Клебан В.О., Шалыто А.А. Применение автоматного программирования во встраиваемых системах

СПбГУ ИТМО - национальный исследовательский университет информационных и оптических технологий!!!

Состав конкурсной комиссии по отбору программ развития университетов, в отношении которых устанавливается категория "Национальный исследовательский университет"

Федор и Михаил Царевы - лауреаты премии Правительства Санкт-Петербурга на лучший инновационный проект (в номинации "Для обеспечения интересов молодежи")

Нобелевские лауреаты на пароходе

Круглый стол «Информационные технологии и образование»

Санкт-Петербургский научный форум «Наука и общество. Информационные технологии. IV Петербургская встреча лауреатов Нобелевской премии» 21–25 09 2009

Shalyto A. Automata-Based Programming and Automata-Based Control

М. Ковальчук, директор Российского научного центра "Курчатовский институт", член-корреспондент РАН

Селифонов Е.В. Оптимизация работы программ для графического процессора

Тайны человеческого организма, не разгаданные наукой

О Нобелевской премии

Видео о посещении Великими СПбГУ ИТМО

Первопроходцы цифрового мира

Вернуть мозги

Человек освобождающийся

Ученые, уехавшие на Запад, подали SOS о российской науке

У нас приняли два доклада на пятую Восточно-Европейскую конференцию "Разработка ПО 2009" (CEE-SECR 2009). М.: 28-29.10.2009 http://cee-secr.org/:

• Губин Ю., Шалыто А. Neuro-Automata Based Controlling
• Борисенко А., Федотов П., Степанов О., Шалыто А. Reliable Software with Complex Behavior Development (второй доклад не заслушивается, а только опубликуется в сборнике трудов)

Шалыто А.А. Сколько высококвалифицированных программистов можно готовить стране в год?

Шалыто А.А. Одна из причин, почему трудно построить экономику, основанную на знания

Нам пишут

Нобелевский лауреат Дэвид Гросс и лауреат премии Тьюринга Джон Хопкрофт в СПбГУ ИТМО

Они открыли, а другие стали известны как авторы

Памяти кинорежиссера Ивана Дыховичного

Выпускники кафедры "Компьютерные технологии" Павел Белов и Юрий Шполянский выиграли гранты Президента РФ для государственной поддержки молодых российских ученых - кандидатов наук (МК-2009), но к сожалению, не по компьютерным технологиям, а по разделу "Физика и астрономия". Этот же грант по разделу "Технические и инженерные науки" выиграл наш новый соавтор - Сергей Чепинский. Поздравляем!

Парфенов В.Г., Шалыто А.А. Тезисы докладов «Наука и общество. Информационные технологии» Инициатива в ИТ-образовании России «Сохраним в университетах лучших!»

Применение автоматов при проектировании больших интегральных схем!

Научно-образовательный центр СПбГУ ИТМО "Искусственный интеллект и робототехника"

Определены финалисты конкурса «Национальный исследовательский университет»

Как было с инновациями в стране три года назад http://is.ifmo.ru/belletristic/innov/ и как дело с инновациями обстоят сейчас http://www.ras.ru/digest/showdnews.aspx?id=a041cfd1-b29b-4c60-9f2e-77f04234dd5b&_Language=ru

У нас приняли доклад на конференцию «Гражданская электроника России: Стратегия возрождения», (CIV EL-2009). М.: 1.10.2009: Клебан В., Шалыто А. Применение автоматного программирования во встроенных системах

24.09.2009 г. в 12-40 состоится вручение диплома и мантии Почетного доктора СПбГУ ИТМО лауреату премии Тьюринга, профессору компьютерных наук Корнельского университета Джону Хопкрофту

У нас приняли два доклада на "International Confereence Knowledge Intensive Multi-Agent Systems (KIMAS 2009)". St.Louis. 2009. 11-14 октябрь:

• Davydov A., Sokolov D., Tsarev F., Shalyto A. Application of Genetic Programming for Generation of Agent Controllers Represented by Automata
• Gnilomedov I., Nikolenko S. Agent-Based Economic Modeling With Finite State Machines

На сайте в разделе "Книги" опубликованы опечатки и неточности к первому тиражу книги Поликарпова Н.И., Шалыто А.А. Автоматное программирование. СПб.: Питер, 2009, 176 с.

Опубликован второй тираж Поликарпова Н.И., Шалыто А.А. Автоматное программирование. СПб.: Питер, 2010, 176 с. с исправленными опечатками и неточностями первого тиража

Сможем ли мы сохранить в университетах лучших?

Д.А. Медведев, Президент РФ, Российская газета. 11.09.2009 г., фрагменты

Федор Царев на Первом канале в "День программиста" (на видео)

Решена классная задача в области криптографии

Как вера влияет на приверженность к свободнму коду

Событийный подход при построении информационных систем

«Лаборатория Касперского» вошла в рейтинг мировых лидеров софтверной индустрии

Шалыто А.А. Термин «автоматное программирование» на английском языке

Парфенов В.Г. и Шалыто А.А. выступают 23.09.2009 г. в 15-00 на круглом столе "Образование и информационные технологии" на Санкт-Петербургском научном форуме с участием Нобелевских лауреатов "Наука и общество. Информационные технологии". СПб., 21-25.09.2009 г.

Мы заняли первое место на конкурсе: "Федеральная целевая программа "Научные и научно-педагогические кадры инновационной России" на 2009 - 2013 годы. Направление 1. "Стимулирование закрепления молодежи в сфере науки, образования и высоких технологий". Мероприятие 1.3.1. "Проведение научных исследований молодыми учеными - кандидатами наук". Выполнение поисковых научно-исследовательских работ по проекту (лоту): "Проведение поисковых научно-исследовательских работ по направлению "Информатика". Тема: "Разработка методов совместного применения генетического и автоматного программирования для построения систем управления беспилотными летательными объектами". Регистрационный номер: НК-178/12".

С Днем программиста поздравляю!

Алексиевич С. Как встретить конец жизни?

У нас приняли три доклада на Всероссийскую научную конференцию "Нечеткие системы и мягкие вычисления", которая состоится 21-24 сентября 2009 г. в Волгограде (СЕКЦИЯ 3. Эволюционное моделирование и генетические алгоритмы; нейронные сети и нейроинтеллект, модели адаптивного поведения и нейроэволюции):

1. Буздалов М.В. Применение генетических алгоритмов для определения неэффективных решений олимпиадных задач по программированию (на примере задачи о рюкзаке).
2. Попов С.И., Попов Ю.И., Шалыто А.А. Задача о муравьеде и муравьях.
3. Чеботарева Ю.К. Применение генетических алгоритмов для генерации функций, описывающих движение, на примере шага вперед человекоподобного робота.

Морозов Ю. Время "Горбушки"

Губернатор Санкт-Петербурга В.И. Матвиенко, вице-губернатор Санкт-Петербурга А.Ю. Манилова, ректор СПбГУ ИТМО В.Н. Васильев, студенты СПбГУ ИТМО Царев Ф.Н. и Царев М.Н.

Балахничев В. Как побеждать

Davydov A., Sokolov D., Tsarev F., Shalyto A. Application of Genetic Programming for Generation of Controllers represented by Automata

Лаборатория HP в Санкт-Петербурге

Корпорация "Интел" в Нижнем Новгороде

Почему экономисты проморгали кризис

Три столпа медицины

Технический гений сына русского купца

Любимые вирусы Дмитрия Лозинского

Отличная книга С. Столяра и А. Владыкина

Как на сборах в Петрозаводске выступали команды различных университетов

Штучные программисты-2

Штучные программисты

Конкурс ISEF

Матвиенко в ИТМО подарили обучающий диск футбольного арбитра

Java реального времени

Чернявский И.И. Генерация автоматных лексических анализаторов по регулярным выражениям

Бедный Ю.Д., Шалыто А.А. Создание системы управления танком для игры Robocode с использованием генетических алгоритмов

Шалыто А.А. Синхронное плавание

Зачем программисту грамотно писать по-русски?

Яснов М. Кто такой Хоттабыч?

Андрей Лопатин (СПбГУ) победил в соревнованиях TopCoder (раздел "Марафон")

Данилов В.Р., Шалыто А.А. Представление функции переходов линейными бинарными графами при генерации управляющих автоматов с помощью генетического программирования

Официальная хроника. Чемпионы мира по программированию Максим Буздалов, Федор Царев и примкнувшие к ним Денис Буздалов и Анатолий Шалыто слышали, как кричит малютка-привидение

Шалыто А.А. Об инновациях

Андрей Станкевич - один из лучших в мире тренеров по спортивному программированию

«Как можно запустить инновационное развитие в нашей стране? На наш взгляд, только если государство сможет стать агентом «принуждения к инновациям» большинства участников рынка». В. Иноземцев Инновации с принуждением //Российская газета. 23. 07. 2009. Не правда ли, как похоже на мое принуждение к качественному выполнению курсовых проектов и всего остального?

Интервью с генеральным директор Yota StarLab А. Штучкиным

Как живут в Северной Корее

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

Интервью с Михаилом Бабушкиным - выпускником кафедры КТ СПбГУ ИТМО, генеральным директором компании DevExperts

Роботы на сборочном производстве отступают человеку

Ф.Н. Царев, Н.Н. Красильников, П.Ю. Маврин - победители конкурса грантов для студентов и аспирантов вузов Санкт-Петербурга. Поздравляем!

Нескромный Ларри

В порядке обсуждения. 28 причин почему Linux не имеет будущего

В один и тот же день Президент РФ Д. А. Медведев и замглавы Минэкономразвития А. Н. Клепач озвучили РАЗЛИЧНЫЕ приоритетные направления модернизации российской экономики! Причем в первом перечне информационные технологии есть, а во втором - их нет! В общем, мы победили! (http://www.spbvedomosti.ru/article.htm?id=10258558@SV_Articles)

Вручение дипломов выпускникам 2009 года

Из речи Президента РФ Д. А. Медведев при вручении государственных премий в области науки, технологий и культуры 12.06.2009 г.

Шалыто А.А. Как победить китайцев?

Нам пишут

Наши и не только на банкете ACM Awards 2009

Наши доклады на Международной научной конференции "Компьютерные науки и информационные технологии". Саратов: СГУ, 2009:

• Шалыто А.А. Автоматное программирование. Новые задачи
• Царев Ф.Н. Построение автоматов управления системами со сложным поведением на основе тестов с помощью генетического программирования
• Маврин П.Ю., Корнеев Г.А. Компонентная модель с поддержкой динамической реконфигурации

Музыка композитора Максима Буздалова, который заодно выиграл и чемпионат мира по программированию