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

Лекции о сихронизируемых автоматах в ПОМИ

Создан консорциум по военной робототехнике

Ученые расшифровали код смерти

Как создавалась первая в СССР система боевого управления для дизельных подводных лодок

Зачем нужны профессора

"МК в Питере" об ИТ-образовании

Математик из Индии претендует на решение задачи тысячелетия

Физики замахнулись на одну из математических "задач тысячелетия"

Что такое настоящая ИТ-компания?

Шалыто А.А. Об отношении к жизни...

Россиянин получил "математическую Нобелевку"

Apple отнимает у Microsoft звание крупнейшей ИТ-компании

10 продуктов, полезных для сердца

Британский ученый заразил себя компьютерным вирусом

Apple отнимает у Microsoft звание крупнейшей ИТ-компании

Русский триггер

Фракталы

Математик, решивший «задачу тысячелетия», ошибся

Центру речевых технологий 20 лет

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

Медаль за 40 лет работы в ОАО "Концерн "НПО "Аврора"

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

Клебанов А.А. Применение шаблонов требований для формальной спецификации и верификации автоматных программ (презентация)

Законов А.Ю. Применение генетических алгоритмов к генерации тестов для автоматных программ

Законов А.Ю. Применение генетических алгоритмов к генерации тестов для автоматных программ (презентация)

Владислав Сурков: "Если первые десятки, сотни людей ПРИЕДУТ, потом это будет происходить само собой"
Анатолий Шалыто: "Если первые десятки, сотни людей НЕ УЕДУТ, потом это будет происходить само собой"

Кондолиза Райс музицирует

Зачем нас пугают Америкой?

Очень интересная статья режиссера Андрона Кончаловского!

Стыдно, когда не стыдно

Игры патриотов

Только свободные творческие личности могут создать новую экономику

Поколение сидящих на двух стульях

О букве "ё" в русском языке

Мы можем, наконец, заняться тем, ради чего рождены на свет. Потреблением

Последнее нет доктора Перельмана

Об уникальном хирурге!

Некогда ходить на выставки - зайдите сюда

О науке в России

Крупные компании не любят тестирование

Автоматное программирование в Челябинске, в котором живут суровые мужики :-)

Нам пишут

24.06.2010. Мастер-класс. Награждение в Смольном соборе

М. Дворкин, П. Маврин, А. Станкевич - лауреаты премии Правительства Санкт-Петербурга педагогам наставникам, подготовившим победителей и призеров международных и Всероссийских олимпиад школьников, за 2009 г.

Шалыто А.А. На ком держится Россия

Собрать из осколков

Идея, подсмотренная у Шалыто

Проводить модернизацию Медведеву будет не с кем

Вручение премии "Мастер"

Введение в биоинформатику

Капун Е.Д. Разработка метода сравнения нуклеотидных последовательностей путем разбиения на фрагменты

Капун Е.Д. Разработка метода сравнения нуклеотидных последовательностей путем разбиения на фрагменты (презентация)

Удивительное рядом

Поздравляем Евгения Князева и Олега Степанова с присвоением ученой степени "кандидат технических наук"

В. Исенбаев - второй, Е. Капун - седьмой, П. Маврин - восьмой в мире

Израиль блокирует сделку по беспилотникам с РФ

Zakonov A. A GA-based approach for test generation for automata-based programs

Онколог нашел лекарство от малярии

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

Дворкин М.Э. Методы минимизации необходимого числа цепей для секвенирования ДНК (презентация)

Дворкин М.Э. Методы минимизации необходимого числа цепей для секвенирования ДНК

Dvorkin M. Genomics Quick Start

Дворкин М.Э. Методы оптимизации доказательства NP-полноты двумерных локально зависимых задач

Генельт А.Е. Письмо о джазе

Обсуждение доклада Андрея Клебанова на SYRCoSE 2010

Интересное интервью с Вячеславом Колосковым о футболе в России

Klebanov A.A. On the Formal Specification of Automata-based Programs via Specification Patterns

Умер изобретатель банкомата

Семь вопросов академику К.Г. Скрябину

Поздравления с днем рождения 28.05.2010

Участие в оргкомитете международной конференции "Fourth International Conference on Software Engineering Approaches For Offshore and Outsourced Development (SEAFOOD) 2010"

В Высшей школе экономики решили сохранять аспирантов! Наконец-то, еще кто-то, кроме нас, решил спасать молодежь!

03.06.2010 г. в Париже скончался выдающийся российский математик Игорь Владимирович Арнольд

Поздравление с днем рождения 28.05.2010

Я вас поздравляю с днем рождения! Желаю вам здоровья и еще больше сил! То, что вы делаете - феноменально! Спасибо вам большое за все! Я думаю к моему спасибо присоединятся еще многие и многие люди. Я постараюсь не подвести.

Петербург попрощался с выдающимся человеком - Витольдом Витальевичем Войтецким. Он много лет возглавлял НПО "Аврора". Скорбим!

Приняли доклад Акишева И.Р.и Дворкина М.Э.О построении минимальных детерминированных конечных автоматов, распознающих префиксный код заданной мощности на IX Сибирскую научную школу-семинар с международным участием "Компьютерная безопасность и криптография" – SIBECRYPT’10, которая будет проводиться в Тюменском государственном университете 6-11.09.2010 г.

Шалыто А.А. Сохраним лучших. Save the best! //Русский меценат. 2010. Вып. 7, с. 46-51.

Программируем футбол ////Русский меценат. 2010. Вып. 7, с. 52-55.

Щедрая помощь бизнеса университетам :-) Многие чиновники и даже их жены имеют годовой доход значительно больший, чем все российское бизнес-сообщество потратило на вузы страны! Хотело потратить 130 млн. рублей, а потратило 122 млн. рублей. Такие деньги легко мог бы потратить один богатый человек! Смех да и только!

• http://rsr-online.ru/doc/norm/367.doc
• http://strf.ru/organization.aspx?CatalogId=221&d_no=30954

Бактерию собрали из кусочков

Борисенко А.А. Интеграция верификации в интерактивный процесс разработки программ с явным выделением состояний

Радзиховский Л. Приоритеты. Почему в России трудно проводить модернизацию?

В Вятке придумали как сделать так, чтобы дети поступали в местные вузы. Когда в России придумают как сделать так, чтобы более старшие дети не уезжали учиться в зарубежные аспирантуры?

Книжная серия. История информатики. (Краткое содержание). Составитель Я.И.Фет. Новосибирск. Изд. ИВМ и МГСОРАН, 2009.

Шалыто А.А. Тяжелый коврик и автоматное программирование. Третья редакция

У меня не хватило смелости в статье "Распределенный "Город солнца" http://is.ifmo.ru/education/_gorod_solnca.pdf назвать будущий город в Сколково "Солнечным городом" как это было сделано в книге Носова, а у кого-то хватило ума сделать Незнайку символом экспозиции нашей страны http://newsland.ru/News/Detail/id/505482/ на Всемирной выставке ЭКСПО-2010, которая проходит сейчас в Шанхае!

"Spring/Summer Young Researchers' Colloquium on Software Engineering" (SYRCoSE-2010), который проводится Институтом системного программирования РАН 1,2 июня 2010 в Нижнем Новгороде http://syrcose.ispras.ru/node/12

Труды этой и предшествующих конференций http://syrcose.ispras.ru/node/13

Для сильного ученого совершенно необходима уверенность в завтрашнем дне!

Ректор "Высшей школы экономики" Я. Кузьминов о национальных исследовательских университетах, Сколково и...

В АФТУ делается фокус

Поздравляем Павловскую Татьяну Александровну, Корнеева Георгия Александровича, Столяра Сергея Ефимовича с премий Правительства Санкт-Петербурга за выдающиеся достижения в области высшего и среднего профессионального образования в 2010 году в номинации "Учебно-методическое обеспечение учебного процесса, направленное на повышение качества подготовки специалистов"

У Америки сегодня четыре приоритета - это наука, наука, наука и наука

Промышленность важнее армии

Москва обошлась без портретов Сталина

Почему для России хороша плоская шкала налогов

Молодежь, которой нечего делать - как движущая сила революций

Беседа с президентом "Skype"

Google - самый дорогой брэнд мира

Выступление на семинаре "Искусственный интеллект" (руководитель - докт. тех. наук Алексей Потапов)

Алексей Бобровский, Лауреат премии Президента РФ в области науки и инноваций для молодых ученых

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

Алфёров Ж.И. Трамвай 9-й номер (фрагмент)

ИТМО и подготовка арбитров по футболу

Жукова А.Р., Мазин М.А. Акторное расширение языка Java в среде MPS

Выступление на Восьмой Всероссийской конференции "Преподавание информационных технологий в России"

Соколов Д.О. Применение двухэтапного генетического программирования для построения автомата, управляющего моедлью танка в игре Robocode

Нас читают

Президент Д.А. Медведев о талантливых детях и молодежи

Потенциал страны – в одаренных подростках

Ярослав Кузьминов, ректор «Высшей школы экономики». Может ли появиться креативный класс без проведения научных исследований в вузах?

Фантастика: сколько платит Америка своим солдатам и генералам

Еще раз о хамстве - разные точки зрения

Можно ли надеяться на бюджетное финансирование науки http://www.rg.ru/2010/04/21/bio.html. Мы выиграли грант Российского фонда фундаментальных исследований - очень почетно, но просили 500 тыс.руб. в год, а получил 180 (!?) - грязными. Можно на это жить? Можно одному человеку и очень плохо! Несмотря на то, что мы выиграли и другие гранты, без инициативы "Сохраним в университетах лучших!" ребят не просодержать.

Polikarpova N.I., Tochilin V.N., Shalyto A.A. Method of Reduced Tables for Generation of Automata with a Large Number of Input Variables Based on Genetic Programming

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

Вручение Андрею Станкевичу молодежной премии Санкт-Петербурга за 2009 год

Зарплаты растут, а работать лучше мы не стали

Еще раз о Сколково

При университетах создаются фонды, но что из созданного фонда выделят именно нам? Мы пойдем своим путем!

Наука и нравственность - Бор и Гейзенберг

Шалыто А.А. Ну, Димуля, держись!

США делает ставку на беспилотники

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

У нас приняли доклад на Международный семинар "Семантика, спецификация и верификация программ: теория и приложения", который проходить в Казани 14 и 15 июня 2010 г. в рамаках 5th International Computer Science Symposium in Russia (CSR-2010)

Фундаментальная наука в Африке, где охота чуть ли не главная отрасль экономике. Почему во всем мире, кроме России, понимают, что ученые должны производить только новые знания?

За что дали премию Абеля этого года

Шалыто А.А. Как поссорились специалист по математической логике со специалистом по логическому управлению

Вельдер С.Э. Оптимальные укладки графов в пространстве и их приложения к задаче выполнимости

Диплом Клебанова Андрея за лучший доклад на секции "Автоматное программирование"

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

О кукле "круче" Барби!

110 лет СПбГУ ИТМО: как предотвратить «утечку мозгов»

Колеса будущей науки

Снова - здорово. Давно не регистрировали множительную технику!

Русский язык нужен в Америке

Какая бывает любовь

Третьеразрядные футболисты получают больше олимпийских чемпионов

Выступление А.А. Шалыто в Эрмитажном театре о движении "Сохраним в университетах лучших!"

Кулямин В., Корныхин Е. Формальная верификация: методы и приложения

Профессор С.П. Капица об инновациях в России

Наши опять в топе!

Еще раз о "Булаве"

Встреча с с первым заместителем главы Администрации президента В.Ю.Сурковым, на которой были наши

Классно написано про тень!

За что еще дадут миллион долларов

О нас на "Дне мецената"

Выступление А.А. Шалыто в клубе инноваторов

Результат выступления в клубе инноваторов (выделено красным)

19.03.2010 г. был рекорд сайта: 447 посетителей, 461 хост.
05.04.2010 г. на сайте было 1087 визитов.

Зарубежная благотворительность подходит к концу

Где находятся лидеры российской математики

Этот фонд будет большим! А остальные?

Студенты Бауманки и заграница

Мечтаю продавать китайские машины по всему миру, вместо того чтобы иностранные машины ездили по всему Китаю. Ли Шуфу, основатель концерна Geely, который договорился с Ford о покупке Volvo!

О Катыни и не только

День мецената прошел на ура!

Михаил Царев в полуфинале конкурса бизнес-кейсов Changellenge Cup 2010

О ситуации в российской науке

Науку у нас в Новосибирске сохранили, даже в несильно потрепанном виде: лаборатории работают, молодые учатся, защищают диссертации. Одна великая проблема, что молодь (и не только, начали забирать уже 40-50-ти летних), как горячие пирожки расхватывают западные университеты, и тут ничего не поделаешь. Ведь действительно, на те зарплаты, даже с грантами, даже с западными, прожить трудно, а заработать на квартиру совсем нереально, вот и убегают они, талантливые, кто в "бусинес", а чаще на запад. Есть проблема, что с каждым годом выпускники ВУЗов становятся все менее образованными (в целом), и никто особенно в науку идти не хочет (обрекать себя на нищету). Старые, образованные кадры, которые могут научить, еще есть, но и они уходят постепенно, нужно принимать СРОЧНЫЕ меры по "сплаву" квалифицированных кадров и талантливой молодёжи, иначе никак!

Комментарий к материалу http://newsland.ru/News/Detail/id/483178/

P.S. А мы уже меры приняли. http://www.savethebest.ru

Молодежь сразу хочет комфорта. Так многого не достигнем...

Поснов М.Н., Архангельский Ю.Б., Мараховский В.Б., Чугуев Г.П. Настольная полноклавишная релейная вычислительная машина "Нева-3"

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

Страна непрофессионалов

Будет создаваться еще один научный центр

Доклад о российской научной диаспоре

Игорь Иртеньев о Григории Перельмане

Движение за возрождение Российской науки

Г. Малинецкий - об инновациях глубоко и серьезно

Ценности в жизни, предложенные Ш. Шварцем

Владелец оригинала моей книги для Google Книги - Калифорнийский университет

Вернулся из бани розовый Шалыто. В руке он держпал утюг, от которого недавно избавилась вдова

Через Google Книги я узнал, что Шалыто - "да живет долгие добрые годы"

"Шалыто встревожился и начал искать следователя" (Автор этой строки режиссер Эльдар Рязанов писал сценарии с Эмилем Брагинским, который был женат на двоюродной сестре моего отца. Так фамилии попадают в художественные книги)

Они не могли не уволить великого актер

Перельман сформировал проблему тысячелетия: "Как можно отказаться от миллиона долларов?"

Что балет, что наука... Что получается без принуждения к творчеству...

Поздравляем Станислава Викторовича Шидловского (Томский государственный университет)с присуждением медали Российской академии наук для молодых ученых за 2009 год за работу "Перестраиваемые вычислительные структуры в системах автоматизации" (http://is.ifmo.ru/aboutus/shidl/)

Архангельский Ю.Б. Из истории клавишной машины "Нева"

Жить по-другому и ради другого. Григорий Перельман отказался от денег!

О науке

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

Григорию Перельману присудили премию Клэя

Бизнесмен спас Малый оперный театр!

Инновации: Россия-стартап

Судьбы российской математики

Город будет?

Еще один автор считает, что без принуждения в модернизации ничего не добиться

Они успели написать картину!

В экономическом соревновании "Россия - Бразилия" побеждает последняя

Паши (Белов и Маврин) стреляли из пушки!

Быков Д. Минидернизация!

Почему побеждали наши параолимпийцы?

Миллиардер в 25 лет!

Пусто место. Проект без фундамента

Музыканты многих российских симфонических оркестров похоже живут хуже ученых и преподавателей

Российские компании делают нормальные чипы

Поздравляем Сергея Николенко с грантом Президента РФ для молодых кандидатов наук за 2010 год

Поздравляем Алексея Потапова с грантом Президента РФ для молодых докторов наук за 2010 год

Карьера ученого в России

Два Паши и Федя о СПбГУ ИТМО

Судьба российской науки