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

Cергей Брин в Москве

Большинство людей просто не любит напрягаться. А Вы?

Награждение чемпионов мира по программированию в исследовательской лаборатории IBM

Организации, участвующие в Движении в ИТ-отрасли России "Сохраним в университетах лучших"

А.А. Шалыто в полуфинале передачи "Игра ума" сезона 2007-2008 гг. на 5 канале

А.А. Шалыто в ЗАКЛЮЧИТЕЛЬНОЙ (ее ЗАКРЫЛИ) передаче "Игра ума" на 5 канале

Виртуальная лаборатория для первоначального обучения проектированию автоматных программ

Главком СВ: танк будущего будет без танкистов

Интернет взял высокую "Йоту"

Прочтите эти статьи, и природа автоматного программирования станет яснее!

http://www.osp.ru/os/2008/06/5345473/
http://is.ifmo.ru/works/turing/

Статья "Автоматное программирование" - один из победителей Всероссийского конкурса обзорно-аналитических статей по приоритетному направлению "Информационно-телекоммуникационные системы".

000 "Скартел" первой в России запустила сеть WiMax для предоставления услуг под брендом Yota (http://www.yota.ru/ru/)! Основной акционер - кипрская WiMax Holding Ltd. (http://www.rian.ru/economy/20080903/150913385.html), также контролирующая компании разработчик мобильных сервисов "Скартел стар лаб" (генеральный директор - выпускник кафедры "Компьютерных технологий" СПбГУ ИТМО А.А.Штучкин http://is.ifmo.ru/projects/calc/) и агрегатора медиаконтента "Моrе" (генеральный директор - И.А. Шалыто)!!!

Лекция ИТМО и программирование по контракту Бертрана Мейра

Стрюк Л.Е., Дахин О.А., Шалыто А.А. Решение задачи движения робота по линии с применением автоматного подхода (проект RoboChuck)

Enterprise Java Community: Asynchronous Processes Modeled as Persistent Finite State Machines

Фетисов уедет, а с чем останемся мы?

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

Такие жены достаются только гениям? Или не только? И как известно из истории не всем!

Как расстреливали генетику

Разговоры о Model Checking

В поисках надежного кода

Молодой человек 1981 года рождения Шидловский Станислав Викторович, работающий в Томском государственном универоситете систем управления и радиолектроники, утвержден ВАК Минобрнауки РФ доктором технических наук.

По этому университету издали приказ (после его защиты кандидатской диссертации в 23 года), что людям защитившим кандидатскую диссертацию до 24 лет выплачивают 250 т. руб (!), а докторскую до 28 лет - 500 т. руб (!!!).

Поздравляем от всей души!

Женщины Билла Гейтса

Точилин В.Н. Метод сокращенных таблиц для генерации автоматов с большим числом входных воздействий на основе генетического программирования

ICFP 2008 Programming Contest - Построение системы управления марсоходом

Условия задачи: http://smlnj.org/icfp08-contest/task.html
Пример решения: http://www.youtube.com/watch?v=Ee3Bnhm2eU4

Hoffman L. In Search of Dependable Design

Hoffman L. Q&A Talking Model-Checking Technology

Одному из автором АВЛ-деревьев, на повторной защите которого я был, 85 лет. Поздравляем!

Astafurov A.A., Shalyto A.A. Declarative Approach to Implementing Automata Classes in Imperative Programming Languages

Котов А.Н. Моделирование дорожного движения на многополосной магистрали при помощи двумерного вероятностного клеточного автомата с тремя состояниями

Егоров К.В. Разработка верификатора автоматных программ

Акишев И.Р. Разработка и анализ параллельных поисковых структур данных, нечувствительных к размеру кеша

Абдрашитов Д.С. Применение деревьев для представления строковой информации

Акишев И.Р. Об опыте участия в командных соревнованиях по программированию формата ACM ICPC

Шалыто А.А. Зачем нужны автоматы?

Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики включен в перечень ВАК Минобранауки РФ

Поздравляем Анатолия Никитина с наградой на Imagine Cup

http://www.cybersecurity.ru/prognoz/51221.html
http://imaginecup.com/about/news.aspx
http://imaginecup.com/about/news.aspx

The Engineering Excellence Achievement Award, sponsored by Microsoft's Enterprise Engineering Center, is designed to recognize three outstanding teams from the Software Development category that have created solutions that demonstrate the potential to be developed to scale with focused guidance from a Microsoft engineer, was won by the following:

Bulgaria - Team Atlas
Team Members: Boryana Miloshevska, Dobromira Ivanova, Martin Damyanov, Yordan Pavlov

USA - Team Sparx
Team Members: Adam Risi, Zachery Shivers, Ziyan Zhou

Russia - Team Ignition
Team Members: Anatoly Nikitin, Roman Belov, Daria Elkina

Хобби российских чемпионов мира последних лет - любят сниматься с Дональдом Кнутом (2006 год - http://ivanromanov.livejournal.com/788.html#cutid1, 2008 год - http://is.ifmo.ru/programming_competitions/champ&knuth)

А.А.Шалыто в пятый раз в "Игре ума"

Наши среди великих (страница 14)

Kurbatsky E. Verification of automata-based programs

Иринев А.В. Генерация вероятностных автоматов методами стимулирующего обучения

Kulev V.A., Mandrikov E.A. Development of Software System for State Machine Generation Using Genetic Algorithm

Михаил Царев и Евгений Мандриков вошли в состав победителей конкурса "Умник". Поздравляем!

Отчет по контракту о применении генетических алгоритмов для генерации автоматов. Третий этап.

Чеботарева Ю.К. Визуальное редактирование автоматов в "Виртуальной лаборатории для первоначального обучения проектированию программ"

Лагунов И.А. Разработка текстового языка автоматного программирования и его реализация для инструментального средства UniMod на основе автоматного подхода

"Бог - это графический редактор для рисования конечных автоматов"

Борисенко А.А., Пенкин Д.М. Моделирование работы электронной автомобильной сигнализационной системы

За что дают технологического "нобеля"

Давыдов А.А., Соколов Д.О., Царев Ф.Н., Шалыто А.А. Применение островного генетического алгоритма для постороения автоматов Мура и систем взаимодействующих автомтаов Мили на примере задачи об "Умном муравье"

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

Данилов В.Р., Шалыто А.А. Метод генетического программирования для генерации автоматов, представленных деревьями решений

Поздравления от Бертрана Мейра

Очень немногие люди на земле два раза получали ACM AWARDS. Это, например, Кнут, Дейкстра, Харел, Кларк, Хольцман, Парфенов и Станкевич. Двое последних - в номинации "ACM International Collegiate Programming Contest"

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

Продолжение темы о родстве Балмера и Дворкина

Являются ли Стив Балмер и Миша Дворкин родственниками?

Халл Э., Джексон К., Дик Дж. Разработка и управление требованиями

Работа, похожая на UniMod (только хуже)

Поздравляем Виталия Клебана, Илью Колыхматова, Андрея Бреслава, Константина Рубинова, Дмитрия Суясова, Олега Степанова - студентов и аспирантов нашей кафедры с победой в конкурсе на предоставление в 2008 году грантов для студентов, аспирантов вузов и академических институтов, расположенных на территории Санкт-Петербурга

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

Юрий Владимирович Матиясевич и Виктор Петрович Иванников избраны академиками Российской академии наук. Поздравляем!

Методическая разработка по применению верификатора Spin

Видеолекции по верификации

Очень интересные лекции по верификации

О нас пишут

Еще два доклада (Клебан В.О., Шалыто А.А. на темы "Автоматный подход к проектированию многоуровневых систем управления мобильными роботами" и "Компонентная архитектура программного обеспечения мобильного робота") приняты Программным комитетом "Четвертой международной конференции по проблемам управления" (МКПУ-IV). Москва. Институт проблем управления РАН. Дата проведения: 26.01.2009. Он будет представлен в направлении "Управление в промышленности, энергетике и на транспорте", на секции "Системы логического управления".

Об "Игре ума" пишут

Применение автоматного программирования при создании автоответчика

Работы по визуальному программированию

Фотографии А.А. Шалыто

Доклад Ю.Д. Бедного и А.А. Шалыто на тему "Применение генетических алгоритмов для создания системы управления танком в игре "Robocode" принят Программным комитетом "Четвертой международной конференции по проблемам управления" (МКПУ-IV). Москва. Институт проблем управления РАН. Дата проведения: 26.01.2009. Он будет представлен в направлении "Управление в гибридных и других сложных моделях динамических и интеллектуальных систем", на секции "Искусственный интеллект в управлении".

Обсуждение автоматного программирования

Скаков П.С. Классификация поведения одномерных клеточных автоматов

В.И.Варшавский в хорошей компании

Журнал "Хакер" о победе на чемпионате мира по программированию

Подарок А.А. Шалыто от передачи "Игра ума" - "Beloved Expert - Анатолий Абрамович Шалыто"

Как написать 85000 книг?

Сайт, посвященный научно-технических проблемам отечественного тактического ДПЛАстроения

5 июня 2008 года сайт посетило 216 пользователей

Вторая в истории человечества :-) конференция, на которой была секция "Автоматное программирование" ("Automata-Based Programming"). http://syrcose.ispras.ru/program.html.

Впервые такая секция была на конференции "The International Computer Science Symposium in Russia, CSR-2006" http://unimod.sourceforge.net/wiki/index.php/CSR2006_ABP_WORKSHOP

А.А. Шалыто в передаче "Игра ума" на "Пятом канале". Передача 4

Дональд Кнут (профессор Стэнфордского университета) избран в мае 2008 года иностранным членом РАН

Поздравляем Анатолия Абрамовича Шалыто с шестидесятилетием!

Желаем ему здоровья, благополучия, успехов в научной и педагогической работе!

Оружие должны делать молодые люди

О нас помнят

В Стокгольме вручена престижная премия Кроуфорда математику из Химок

Давыдов А.А., Соколов Д.О., Царев Ф.Н. Применение генетических алгоритмов для генерации автоматов Мура и систем взаимодействующих автоматов Мили в задаче об "Умном муравье"

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

Царев М.Н., Царев Ф.Н. Графический язык описания игровых эпизодов в футболе

Автоматное программирование продолжает двигаться в народ

Важно и интересно: cовременные языки программирования и computer science

State Chart XML (SCXML): State Machine Notation for Control Abstraction

IBM Modeling and Integration Tools for State Chart XML

Automata-Based Programming

Чемпионы мира по программированию на приеме у губернатора Санкт-Петербурга В.И. Матвиенко (фотография)

Награда за "Игру ума"

Дворкин М.Э., Станкевич А.С., Шалыто А.А. О применении автоматов при реализации алгоритмов дискретной математики (на примере АВЛ-деревьев)

Шалыто А.А. Ум должен быть с "кулаками"

Клебан В.О., Шалыто А.А. Использование автоматного программирования для построения систем управления мобильными роботами

Маврин П., Шалыто А. Зачем нам чемпионы мира по программированию

Шалыто А.А. Кому нужна игра ума?

В.A. Королева - А.А. Шалыто

Открылся сайт проекта GAAP (Genetics Algorithms for Automata-based Programming), выполняемого студентами кафедры КТ. Ведущие проекта - Евгений Мандриков (mandrikov@rain.ifmo.ru) и Владимир Кулев (kulev@rain.ifmo.ru).

Присоединяйтесь: http://gaap.net.ru:8080/

Хотите иметь цифровую копию жизни?

Чемпионы мира по программированию на приеме у губернатора Санкт-Петербурга В.И. Матвиенко

My baby, the finite state machine

Третий семинар по программной инженерии с Бертраном Мейером

Перечень ведущих рецензируемых научных журналов и изданий, в которых должны быть опубликованы основные научные результаты диссертации на соискание ученой степени доктора и кандидата наук (редакция апрель 2008 года)

Как у нас любят чужие успехи

В хорошей компании!

Почему Паскаль?

Berry G. Synchronous Programming Techniques for Embedded Systems

Доклад Е.А.Мандрикова и В.А.Кулева на V Всероссийской межвузовской конференции молодых ученых "Разработка инструментального средства для автоматической генерации конечных автоматов с использованием генетических алгоритмов"

А.А. Шалыто Зачем нам чемпионы по программированию? Пятнадцать аргументов в пользу программистских олимпиад

Из обсуждения статьи "Сохраним в университетах лучших!" на сайте http://www.pcweek.ru/themes/detail.php?ID=108777

Чем займутся чемпионы мира по программированию

Еще одна победа наших студентов

R. Breukelaar, Th. Back Использование генетических алгоритмов для прослеживания поведения в многомерных клеточных автоматах

Шалыто А.А. в третьей передаче "Игра ума"

В. Мошников - А. Шалыто

В. Б. Яковлев - А. А. Шалыто

На "Вторую молодежную Всероссийскую конференцию по программной инженерии", которая будет проходить 29-30 мая 2008 г. на матмехе СПбГУ у нас приняли восемь (!) докладов и сообщений (из них семь по автоматному программированию)

Долматов А.Г., Петров А.С. Утилита разработки конечных автоматов StateCAD

Поздравляем А.А. Шалыто, который за лекцию "Автоматное программирование" на научной школе "Технологии высокопроизводительных вычислений и систем" получил оценку слушателей 4,75. Выше оценка только у кофебрейка - 4,82.

Поздравляем Анатолия Никитина студента кафедры КТ с грандиозной победой на полуфинальных (Всероссийских) соревнованиях ImagineCup, которые проходили в Москве. А за одно - "Знай наших".

Поздравляем Михаила Царева с третьим местом на конкурсе "У.М.Н.И.К." ("Участник молодежного научно-инновационного конкурса"), проводимого Фондом содействия развитию малых форм предприятий в научно-технической сфере (при поддержке Федерального агентства по науке и инновациям и Федерального агентства по образованию), который проходил в рамках V Всероссийской межвузовской конференции молодых ученых

Поздравляем студентов кафедры КТ Михаила Царева и Евгения Мандрикова с награждением дипломами I степени за лучшие доклады на соответствующих секциях на V Всероссийской межвузовской конференции молодых ученых.

Триумф российской школы программирования

"Сохраним в университетах лучших" на сайте еженедельника PCWEEK/RE

В Цюрихском политехническом институте новый ректор - женщина

О национальной капитуляции

Наша История

Какие компьютеры делали в СССР!

Новое движение для ИТ-отрасли России «Сохраним в университетах лучших»

Наши студенты - Дмитрий Абдрашитов, Дмитрий Паращенко и Федор Царев (тренер - Андрей Станкевич) стали чемпионами мира и Европы по программированию! Поздравляем!

Новые специалисты новой России

Лучшие программисты теперь живут в Питере

Д.А.Медведев, триумф российской школы программирования и сохраним в университетах лучших

Еще одна российская инициатива

Финал чемпионата по программированию 2008 года.

По информации из Канады, команда СПбГУ ИТМО сдала 8 задач (A,B,E,F,G,I,J,K) и стала чемпионом мира 2008 года. Команды MIT, ИжГТУ, Львовского НУ, МГУ, Stanford U, Tsinghua U, U of Zagreb, Waterloo U - 7 задач. Возможно, этот список неполон. Среди команд, решивших по 6 задач - СПбГУ, ПетрГУ, БГУ, МФТИ, Орловский ГТУ, Ставропольский ГУ, Warsaw U. У команд НГУ и УрГУ 5 задач, у команды Алтайского ГТУ 4 задачи.

Предварительный подсчёт даёт следующее распределение медалей. Золото - у СПбГУ ИТМО, и скорее всего - у МИТ, Ижевского ГТУ и Львовского НУ. Серебро - у МГУ и скорее всего, у Stanford U, Tsinghua U, U of Zagreb. Распределение бронзовых медалей зависит от "скрытых семёрок". По 6 задачам лучшее время у команды ПетрГУ, за ними следует команда СПбГУ. В случае, если приведённый список команд, решивших 7 задач, полный, бронзовые медали получит ещё одна команда, решившая 6 задач.

У старшего преподавателя кафедры КТ Андрея Станкевича восьмой рейтинг в мире по спортивному программированию, у студента группы 4539 Михаила Дворкина - 27, у студента группы 6539 Павла Маврина - 37-ой. Первое место из 7238 участников, имеющих мировой рейтинг, с большим отрывом занимает другой российский программист - Петр Митричев, который в прошлом году закончил МГУ. http://www.topcoder.com/tc?module=AlgoRank

Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования //Научно-технический вестник. Вып. 42. Фундаментальные и прикладные исследования информационных систем и технологий. СПбГУ ИТМО. 2007, с. 29-32

Терехов А. Российская индустрия программирования

Верификация моделей как основа новых методологий разработки ПО, способных гарантировать работу программ в точном соответствии с требованиями к ним

Microsoft избавит программирование от написания кода

Поздравляем студента группы 4539 Анатолия Никитина и возглавляемую им команду с победой в полуфинале (Северо-Западный Федеральный округ) ежегодного технологического конкурса "Кубок Технологий" ("Imagine Cup"), проводимого корпорацией Microsoft http://corp.cnews.ru/news/line/index.shtml?2008/03/18/292536

Тема работы: "Система поддержки принятия решений при борьбе с лесными пожарами "Арина" http://qd.ifmo.ru/view/projects?page=1

Свидетельство о государственной регистрации программы для ЭВМ "Транслятор автоматной Unimod-модели во входной язык верификатора Spin"

Свидетельство о государственной регистрации программы для ЭВМ "Расширение верификатора Bagor для верификации автоматных Unimod-моделей"

Technology of Automata-based programming

Попали в библиографию Вольфрама

22 результата по Switch-технологии

Microsoft и автоматы

Нашествие безграмотности

Когда у наших студентов есть потребность души, то они могут писать и такое! Статья признана хорошей! http://ru.wikipedia.org/wiki/Manowar

А на все связанное с программированием, особенно автоматным, надо загонять силой!

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

Программная инженерия в Высшей школе экономики

Дети могут успешно руководить ИТ-компаниями

Шалыто А.А. Автоматное программирование, водка и буква Ё

Решетников О.Е. Инструментальное средство для визуального проектирования автоматных программ на основе Microsoft Domain-Specific Language Tools

Конечные автоматы в JavaScript. Часть 3: Тестируем виджет (исходники)

Пишем!

Данилов В.Р. Технология генетического программирования для генерации автоматов управления системами со сложным поведением

У нас на кафедре учится много очень способных людей, которые любят и умеют решать задачи, но задач должно быть много - 10-11 и таких, чтобы их все можно было решить часов за пять. Одной задачи, которую быть может можно решить за большее время им мало! Некоторое время Роман Анатольевич Елизаров (новость на сайте от 29.06.2007 г.) сказал многим из нaших любителей решать задачи, что ему стала известна задачка на 25 тысяч долларов в очень простой формулировке - существует ли универсальная машина Тьюринга с двумя состояниями и тремя входными символами. Никому из наших любителей решать задачи, видимо, деньги были не нужны, или одной задачи было мало, или она имела слишком простую формулировку или ... В общем, ее решил студент третьего курса Бирмингемского университета Алекс Смит, изучающий электротехнику (http://www.lenta.ru/news/2007/10/24/math/), и посмотрите как он оформил доказательство (http://www.wolframscience.com/prizes/tm23/TM23Proof.pdf). Видимо, по собственной инициативе, без насилия и понуканий!

Приняли доклад "Рубинова К.В., Веденеева В.В., Шалыто А.А. Метод разработки тестов для программных интерфейсов приложений на основе конечно-автоматной модели тестирования" на конференцию "Технологии Microsoft в теории и практике программирования". Южно-Уральский государственный университет. 11-13.03.2008

Гарри Львиное Сердце, или Приключения титулованной особы

Между Фоменко и обезьяной

Математика, которую нельзя запретить

Уравнение злого духа

Пикирующее крыло Нортропа

Осталось пять лет

Организованная лженаука

Индустрия недоверия

Умер Егор Летов

Хазановский А.Ю., Шалыто А.А. Применение автоматного программирования в системе беспилотного управления автомобилем

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

И вы можете сделать что-то подобное...

Еще раз о поиске в раскрашенных лабиринтах

Автоматы не спят!

Паша Маврин и Рома Сатюков вышли в финал соревнования 2008 TopCoder Open, который пройдет Лас Вегасе. Поздравляем!

А.А. Шалыто в "Игре ума" на Пятом канале. Часть 2

А.А. Шалыто и Ф.Н. Царев в передаче "Игра ума" на Пятом канале

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

Наука - дело непростое!

Модели с переключением режимов (regime switching models) - это применение конечных автоматов в экономике (см. начиная со стр. 34)

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

Наумов Л., Трофимов Д. Реализация клеточного автомата WireWorld с помощью инструментального средства CAME&L и его зональная оптимизация

2007 год - урожайный для автоматов. Microsoft делает Windows Workflow, ACM дает премию за Statemate, а премию Тьюринга - за верификацию программ на основе моделей

Красильников Н.Н., Парфенов В.Г., Царев Ф.Н., Шалыто А.А. Виртуальная лаборатория для первоначального обучения проектированию программ

Царев Ф.Н., Шалыто А.А. Применение генетических алгоритмов для построения автоматов с минимальным числом состояний для задачи об "Умном муравье"

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

Образование, несовместимое с жизнью

Второй раз присудили премию Тьюринга по верификации. В первый раз в 1996 году - за темпоральную логику, в 2007 году - за model-checking.

Shalyto A.A. Logic Control and "Reactive" Systems: Algorithmization and Programming

Старость излечима

Классная шутка!

Рыбаков Г.М., Шалыто А.А. Моделирование работы системы интеллектуального здания