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

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

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 год

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

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

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

"Деловый Петербург" об еще одном выпускнике кафедры "Компьютерные технологии"

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

Видео о Григории Перельмане

Физико-математический лицей № 239 по рейтингу "Российской газеты" лучшая школа России

Академик К.Г. Скрябин н 5-ом канале

Умер писатель Дмитрий Горчев. http://kazan.kp.ru/daily/24463/624186/. Очень жаль! http://gorchev.lib.ru/txt/misc/chetyre.shtml

А этот кабинетик у нас

Федор Царев в журнале Cosmopolitan

Карьеру нужно делать в России! "Известия", 25.03.2010

В России собираются строить долину мозгов

Выступление в "В клубе инноваторов" 23.03.2010. Приглашаются все желающие

Паращенко Д.А. Суффиксные автоматы с сохранением промежуточных версий и их приложений

Шалыто А.А. Новый инвестор

Дмитрий Быков. Это стоит смотреть

Шалыто А.А. Распределенный "Город Солнца"

Беседа с академиков Людвигом Дмитриевичем Фаддеевым

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

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

Книга по мотивации

О фотовыставке Инны Шалыто

Научно-технический отчет о выполнении Государственного контракта по теме "Методы повышения качества при разработке автоматных программ с использованием функциональных и объектно-ориентированных языков программирования"(этап 1)

Невероятная история

Путин: на Олимпиаду ездят не пропотеть, а победить
В науке тоже пропотеть не является главным (А.Ш.)

Встреча с академиком Алфёровым перед юбилеем

Baier Ch., Katoen J.-P. Principles of Model Checking

Поздравляем академика Жореса Ивановича Алфёрова с юбилеем!

Вручение Президентом РФ Д.А. Медведевым премии "Открытие" выпускникам кафедры "Компьютерные технологии" СПбГУ ИТМО Александру Штучкину, Федору Цареву и Евгению Южакову

Научно-технический отчет о выполнении Государственного контракта по теме "Разработка методов машинного обучения на основе генетических алгоритмов для построения управляющих конечных автоматов" (этап 1)

Царев Ф.Н. Разработка методов совместного применения генетического и автоматного программирования

Научно-технический отчет о выполнении Государственного контракта по теме "Применение методов искусственного интеллекта в разработке управляющих программных систем" (этап 1)

Форма и суть

В Швейцарии люди борются с возрастом

Дискуссия о принуждении к творчеству продолжается

Многое о "Сапсане"

Новое искусство

Павел Белов как победитель Олимпиады в Ванкувере

Шалыто А.А. Расширенный вариант статьи "ИТ-образование: государство или не только"

Шалыто А.А. ИТ-образование: государство или не только

Кочелаев Д.Ю. Проектирование, спецификация и реализация автоматизированных классов

Царев Ф.Н. Разработка метода совместного применения генетического программирования и конечных автоматов

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

Князев Е.Г. Автореферат

Академик РАН Халатников И.М. Как Сталин проиграл физикам

Академик РАН Халатников И.М. Псовая охота в науке

Семья дороже бизнеса - он может себе это позволить

Малаховски Я.М., Шалыто А.А. Конечные автоматы в чистых функциональных языках программирования

Шалыто А.А. Сохраним в университетах лучших!

Человек, который активно и полезно работает!

В стране должна быть четко выстроенная системы выращивания смены и гарантии успешно работающим профессорам

Определены пять вещей, делающие человека счастливым

Четырехкратный чемпион Олимпийских игр Александр Попов о неудачах Ванкувере

Малинин С.Н. Тестирование объектно-ориентированного программного обеспечения на основе моделирования конечными автоматами

Историческая эпоха метаматериализма

Научно-технический отчет о выполнении Государственного контракта по теме "Разработка методов совместного применения генетического и автоматного программирования для построения систем управления беспилотными летательными аппаратами" (этап 1)

Необычная фотовыставка

Выступление Павла Белова при вручении премии Президента РФ для молодых ученых

В январе 1992-го был выпущен на свободу самый многострадальный узник советского режима - рубль!

Проигравшие судят

О сериале "Школа"

В ПО современных автомобилей 100 млн. строк кода, и с этим никто не может справиться