На сайте создан новый раздел "Соревнования по программированию"

Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Разработка библиотеки для генерации управляющих автоматов методом генетического программирования

На сайте создан новый раздел "Тестирование"

27 июня 2007 года студент группы 4538 нашего университета Царев Ф.Н. занял второе место в конкурсе претендентов на получение государственного контракта по программе "У.М.Н.И.К." ("Участник молодежного научно-инновационного конкурса"), проводимого Фондом содействия развитию малых форм предприятий в научно-технической сфере (при поддержке Федерального агентства по науке и инновациям и Федерального агентства по образованию) в СПбГЭТУ "ЛЭТИ" им. В.И. Ульянова (Ленина) в рамках X Международной конференции по мягким вычислениям и измерениям. Тема работы: "Применение генетического программирования для построения автоматов, управляющих системами со сложным поведением".

О верификации простых автоматных программ на основе метода Model Checking

"Знаменитые" IT-профессора отвечают на вопросы журнала "Компьютерра"

Одного из этих знаменитых IT-профессоров я знаю

25000$ и автоматы

На сайте создан новый раздел "Роботы и агенты"

Столбов С.А. Автоматизированное построение клеточного автомата на основе описания логики игры

Мысли: Кирилл Серебренников, режиссер

Мысли: Борис Гребенщиков

Мысли: Михаил Барщевский

Где находится источник жизненной энергии?

Новые люди

Шалыто А.А. Ну, какой же Вы программист

Мысли: Памяти Ильи Кормильцева, автора почти всех текстов «Наутилуса»

Мысли: Роман Виктюк, режиссер

Общекультурное значение автоматных понятий

Мысли: К экономике знаний

Мысли: Моцарт

Интервью с Вадимом Гуровым об инструментальном средстве UniMod

Опубликована презентация Korneev G., Shalyto A. State-Driven Programming for Computer Games

Победа в двух конкурсах по лотам в рамках Федеральной целевой программы «Исследования и разработкипо приоритетным направлениям развития научно-технологического комплекса России на 2007—2012 годы»

Switch-технология движется вперед. Статья. Части 5 и 6

Данилов В.Р., Варвалюк И.О. Автоматизированная система оплаты мобильного телефона

Ларионов А.В. Визуальный язык автоматного программирования для Microsoft Visual Studio 2005

Конечные автоматы в JavaScript: Часть 2: Реализация виджета

Конечные автоматы в JavaScript, Часть 1: Разработаем виджет

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

Поздравляем Льва Александровича Наумова с успешной защитой кандидатской диссертации

Инструментальное средство UniMod отмечено на Javakonkurs-2006

Открытие XIX Всероссийской олимпиады школьников по информатике

Санкт-Петербургские Ведомости - Социальные проблемы - Ракетостроители – люди мобильные

Призеры чемпионата мира по программированию на приеме у первого вице-премьера Правительства России Д.А. Медведева

Администрацией Санкт-Петербурга определены победители конкурса научно-педагогических и научных школ 2006 года, в том числе и наша

Известия.Ру: Дмитрия Медведева заставили написать объяснительную

Нам пишут

Еще одна статья про SWITCH-технологию

Нам пишут

Умер поэт Геннадий Григорьев. Читайте.

Татарчевский В.А. Применение SWITCH- технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 4

Призеры чемпионата мира по программированию (СПбГУ ИТМО) на приеме у губернатора Санкт-Петербурга В.И. Матвиенко

Программирование как спорт

Промышленность,образование и наука. Ситуация с кадрами. 1
Промышленность,образование и наука. Ситуация с кадрами. 2

О нас пишут

Нас включили в оргкомитет международной конференции «Компьютерные науки и информационные технологии» Саратовский государственный университет им. Н.Г. Чернышевского, 2—4 июля 2007 года

Сайт посетило 211 человек

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

И такое бывает. Алексей Зуев: Из милиции меня вытащили Ковалевски и Быстров

Миронов А.М. Математическая теория программных систем
Лифшиц Ю. Верификация программ и темпоральные логики. Лекция №3 курса «Современные задачи теоретической информатики»
Верификация программ и темпоральные логики — конспект лекции
Лифшиц Ю. Символьная верификация программ. Лекция №4 курса «Современные задачи теоретической информатики»
Символьная верификация программ — конспект лекции

Что можно успеть в 25 лет

«ВАК уполномочен заявить»

Образование 2.0

Шалыто А.А. Что останется после игры?

Поликарпова Н.И. Объектно-ориентированный подход к моделированию и спецификации сущностей со сложным поведением

Канжелев С.Ю., Шалыто А.А. Автоматическая генерация программного кода

Калугин Е.В. Система управления существом Yeti для игры Electric Jungle

Вельдер С.Э. Введение в верификацию автоматных программ на основе метода Model checking

Ткачев Ф.В. Система образования как фактор национального суверенитета в сфере информационных технологий

Татарчевский В. Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 2
Татарчевский В. Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 3

Еще один подход к применению автоматов в программировании

Евгений Гришковец о жизни

В разделе Работы опубликованы бакалаврские работы П. Маврина и Ю. Бедного

Электрические Джунгли: Цымбалюк Е.А., Шалыто А.А. Система управления существами «Хрюшки» для игры Electric Jungle

Адаптация принципов автоматно-ориентированного программирования к технологии CORBA

Непейвода Н.Н. Какая информатика нам нужна?

Журнал «Наука и жизнь» и автоматное программирование

DataArt об успехах использования Автоматного программирования на пресс конференции в СПбГУ ИТМО

Откуда появилось понятие «автоматное программирования»?

Вавилов К.В., Шалыто А.А. Что плохого в неавтоматном подходе к программированию контроллеров?

UniMod как любимый инструмент

Гуров В.С., Мазин М.А., Шалыто А.А. UniMod — Инструментальное средство для автоматного программирования

Котов А.Н., Шалыто А.А. Сравнение различных вариантов реализации на примере задачи о декодировании файлов формата GIF

Шалыто А.А. Победы и проблемы российской школы программирования

Е. Гришковец. Новые позитивные

Е. Гришковец. Хам в партере

Вице-президент РАН о состоянии Российской науки и Петре Митричеве

Пример одной диссертации

Шалыто А.А. Как получать научные результаты

Фаулер М. и Скотт К. о применении диаграмм взаимодействия для описания поведения

Президиум Высшей аттестационной комиссии Министерства образования и науки решил выдать диплом кандидата технических наук Корнееву Георгию Александровичу. Поздравляем!

Парфенов В.Г, Шалыто А.А. Финал командного чемпионата мира по программированию ACM 2005/06 гг. в Сан-Хосе (США)

Электрические Джунгли — новый раздел сайта

UniMod проект: Моделирование цифрового фотоаппарата на основе автоматного подхода к программированию

Как добиться успеха в науке

SWITCH-технология развивается

Сайт «Информатика в России»

Мне нужны постдоки для того, чтобы они были буфером между мною и аспирантами, я ведь не такой герой как Шалыто.
Из разговора Бертрана Мейера в СПбГУ ИТМО

Сколько должен получать профессор

Наш первый студент, который научился профессионально писать

Какая шахматная программа самая сильная?

Российское настоящее кино: «Возвращение»  Звягинцева, «Итальянец» А.Кравчука, «Четыре» И. Хржановского, «Изображая жертву» К. Серебренникова, «Эйфория» И. Вырыпаева, «Остров» П. Лунгина. А еще были «Хрусталев, в машину» А. Германа, «Настройщик» К. Муратовой, «Гарпастум» А.Герман-младшего и т.д.

Шалыто А.А. Победы и проблемы российской школы программирования

СПбГУ ИТМО ввели в программный комитет конференции Tools-Europe 2007

Прошел второй семинар по теме «Технологии программирования» с участием почетного доктора СПбГУ ИТМО Бертрана Мейера (Высшая Политехническая Школа в Цюрихе)

Новые гренадеры

Рецензия на статью Шалыто А.А. Писать по-русски

Шалыто А.А. Писать по-русски

В разделе «Статьи» введен подраздел «Встроенные системы» (программирование встроенных систем на основе автоматного программирования).

Государственный контракт:
Часть 3. Мобильные системы
Часть 4. Клиент-серверные системы
Часть 5. Интернет-системы

Вавилов К.В., Шалыто А.А. LabVIEW и SWITCH-технология

Свидетельство о регистрации программы для ЭВМ (встраиваемый модуль UniMod для Eclipse)

Ярцев Б.М., Шалыто А.А. Система программной эмуляции роботов Lego Mindstorms (Проект Isenguardemu)

О нас пишут

Маврин П.Ю., Корнеев Г.А., Шалыто А.А. Формальная семантика диаграмм состояний, удобная для практического применения

Презентация PowerPoint: Паращенко Д.А., Царев Ф.Н., Шалыто А.А. Применение автоматного программирования для моделирования группового управления движением одного класса беспилотных летательных объектов

Поздравляем Федора Царева с присуждением специальной стипенции Правительства Санкт-Петербурга

UniMod-проект Решетников Е.О., Смачных М.В. Система управления пассажирским лифтом

UniMod-проект Киракозов А.Х., Шалыто А.А., Яминов Б.Р. Система управления автомобильной сигнализацией

Shopyrin D.G., Shalyto A.A. A Graphical Notion of State-Based Classes' Inheritance
Канжелев С.Ю., Шалыто А.А. Автоматическая генерация кода программ с явным выделением состояний
Канжелев С.Ю., Шалыто А.А. Автоматическая генерация кода программ с явным выделением состояний

Шалыто А.А. Боль

Курс Юрия Лифшица "Современные задачи теоретической информатики", читавшийся на кафедре "Компьютерные технологии" СПбГУ ИТМО, признан компанией "Яндекс" одним из восьми лучших курсов России по информационному поиску и смежным областям.
http://company.yandex.ru/class/courses/lifshits.xml

Новый проект: Система программной эмуляции роботов Lego Mindstorms (Проект Isenguardemu)

Студент МГУ выиграл три из трёх крупнейших турниров по программированию 2006 года

Студент МГУ стал лидером мирового рейтинга по программированию

И это стоит прочесть

Это стоит прочесть

Корнеев Г.А. Диссертация на тему Автоматизация построения визуализаторов алгоритмов дискретной математики на основе автоматного подхода

Дмитриев С. Языково-ориентированное программирование: следующая парадигма

Татарческий В. Некоторые мысли по поводу программирования встроенных систем

Новая книга: Шидловский С.В. Автоматическое управление. Перестраиваемые структуры.

Победители TopCoder Collegiate Challenge-2006

TopCoder Collegiate Challenge - 2006 finalists

О нас пишут

Отзыв читателя на текст «О понимании жизни»

Что-то не хочется таких успехов

Это можно прочесть

UniMod-проект: Моделирование работы «умного» светофора

UniMod-проект: Моделирование работы автоматического путеукладчика на основе автоматного программирования

UniMod-проект: Козлов В.А., Комалёва О.А. Моделирование работы банкомата

Очередная польско-российская победа
Шалыто А.А. Кому нужны ИТ-таланты

Корнеев Г.А., Шалыто А.А. Построение системы конечных автоматов по программному коду

Надежда Поликарпова за работу «Объектно-ориентированный подход к моделированию и спецификации сущностей со сложным поведением» награждена дипломом первой степени на Всероссийском конкурсе инновационных проектов аспирантов и студентов по приоритетному направалению развития науки и техники «Информационно-телекоммуникационные системы», который проводился в 2006 г. Федеральным агентством по науке и инновациям.

http://ict.edu.ru/itkonkurs/
http://ict.edu.ru/itkonkurs/module.php?QP_From=40&a=itconc&c=getForm&r=itconcList&d=mod&id_conc=1&id_n_conc=2&s_fio=1&rows_on_page=10
http://www.ict.edu.ru/itkonkurs/1257/
http://www.ict.edu.ru/itkonkurs/photo/2006/p1020115.jpg

Поздравляем Георгия Корнеева с успешной защитой кандидатской диссертации

Шалыто А.А. О понимании жизни

Шалыто А.А. Как правильно?

Маврин П.Ю., Корнеев Г.А., Станкевич А.С., Шалыто А.А. Моделирование жизненного цикла компоненты программного комплекса с использованием диаграмм состояний

Лобанов П.Г., Шалыто А.А. Использование генетических алгоритмов для автоматического построения конечных автоматов в задаче о «флибах»

Алексей Герман-младший

Программирование с явной реализацией моделей

А.А. Шалыто. Лучше поздно, чем никогда

Петрошенко П.А., Корнеев Г.А., Шалыто А.А. Реализация игры «Морской бой» на основе автоматного подхода

Автореферат кандидатской диссертации Корнеева Г.А.

У нас приняли доклады на 1-ю Российскую мультиконференцию по проблемам управления

Исполняемый UML, UniMod, SWITCH-технология

В. Гуров и А. Шалыто включены в программный комитет симпозиума The Second AIS SIGSAND European Symposium on Systems Analysis and Design. University of Gdansk, Poland, 2007

У нас приняли доклады на конференцию "Software Engineering Conference (Russia) — 2006" (SECR-2006)

Наш доклад приняли на «Девятую международную конференцию „Интеллектуальные системы и компьютерные науки”», которую проводит мехмат МГУ

UniMod-проект: Яковлев А.В., Лукин М.А., Шалыто А.А. Реализация классической игры "Ним" на основе автоматного подхода

Автоматное программирование заметили в очередной раз

Бертран Мейер — почетный доктор Санкт-Петербургского государственного университета информационных технологий, механики и оптики

UniMod-проект: Вокин А.В., Пименов И.А., Шалыто А.А. Имитация работы автоматической коробки передач

Григорий Перельман, доказавший гипотезу Пуанкаре

Шалыто А.А. Доброе слово не только кошке приятно

Шалыто А.А. О цитируемости

Четыре новые статьи в разделе «Визуализаторы»:
Корнеев Г.А., Шалыто А.А. Vizi — язык описания логики визуализаторов алгоритмов
Корнеев Г.А. Технология разработки визуализаторов алгоритмов
Корнеев Г.А., Шалыто А.А. Построение визуализаторов алгоритмов дискретной математики
Корнеев Г.А. Метод преобразования программ в систему взаимодействующих автоматов

Майя Плисецкая, балерина. Объяснение в любви

Владимир Евтушенков. Председатель совета директоров АФК «Система»

Как работает Google

Шутки

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

Автоматное описание живописи (А. Матисс)

Шалыто А.А. Об оценке профессионалами

UniMod-проект: Реализация алгоритма Лампорта на основе автоматного подхода

UniMod-проект: Технология моделирования одного класса мультиагентных систем на основе автоматного программирования на примере игры «Соревнование летающих тарелок»

Эхо Москвы: Россиянин решил знаменитую математическую задачу

Долой ОС, даешь автоматы

Нам пишут

Шалыто А.А. Не люблю, когда унижают!

У нас приняли доклад на конференцию в МГУ

Академия Борланд приглашает студентов третьих курсов ВУЗов СПб на вступительные испытания для поступления на первый курс Академии.

На хорошем сайте заметили

Правильная библиотека :-)

Классное (!) чтение

Победители живут рядом

Автоматы — это очень просто

Игорь Горынин, академик РАН

Егор Кончаловский, кинорежиссер

Сергей Минаев

Нобелевский лауреат о российской науке

Switch-технология в Wikipedia

Очередная польско-российская победа

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

.NET Technologies 2006. Short communication papers proceedings

У нас приняли доклад на семинар «Наукоемкое программное обеспечение»

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

Благодарственные письма Бертрана Мейера

Опубликован новый рассказ А.А. Шалыто «О благотворительности»

Участие в конференции CIMSA 2006

10 people who don't matter — 10 людей, которые не играют роли

Абдрашитов Д.С. Система управления персонажем в многопользовательской ролевой игре

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

Опубликована статья-программа Д. Павлова «Автоматный серпентарий»

Жданов А.Д., Коломейцева Т.М., Шалыто А.А. Реализация надежного протокола передачи данных

Опубликован проект «Бодрое Утро»

Опубликована статья М. Мазина и А. Шалыто Анимация. Flash-технология. Автоматы

Опубликован новый проект «Мультиагентная система дорожного движения»

Шалыто А.А. Занимательные вопросы

А. Шалыто. Почему у нас трудности с инновациями?