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



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



   Главная / О нас (версия для печати)


О нас



Анатолий Шалыто

Инна Шалыто

Братья Царевы

Об автоматном программировании

Переписка и отзывы

Часть отзывов на докторскую диссертацию А.А. Шалыто

Биографические общества

Ссылки по теме


Знакомьтесь, команда ИТМО — вуза, где готовят лучших в мире программистов (внешняя ссылка: www.sobaka.ru)

Парфенов Владимир Глебович: он создал из фамилии имя (внешняя ссылка: gazeta.ifmo.ru)

Декан факультета ИТиП Парфенов В.Г. - почетный член ассоциации Russoft

Сайт нашего факультета (внешняя ссылка: fitp.ifmo.ru)

Надежда Поликарпова (внешняя ссылка: people.csail.mit.edu)

Белов Павел Александрович (внешняя ссылка: www.ifmo.ru)

Слайд-шоу о наших победах

Высказывания

Гуртовцев Аркадий Лазаревич

Луч света в темном царстве

Чтобы не было выжженной земли (внешняя ссылка: www.comnews.ru)

Работы А.А. Шалыто за 2013-2017 гг.

Обсуждение с Иваром Якобсоном, одним из создателей языка UML, того, что с помощью этого языка не описать очень сложную логику

Журнал «Хакер» (2004, № 12, с.137) о нашем сайте

Не зря пишем (внешняя ссылка: rsdn.ru)

Выступление на Open Source Forum

Sec(R) 2005 — Программа конференции (внешняя ссылка: 2005.secr.ru)

На хорошем сайте заметили (внешняя ссылка: elementy.ru)

Borland — развитие многополярной платформы разработки ПО (внешняя ссылка: www.interface.ru)

Газета «Информатика» (внешняя ссылка: inf.1september.ru)

Программист, который стал классным системным биологом (внешняя ссылка: spbvedomosti.ru)

Надежда Поликарпова - вот это карьера! (внешняя ссылка: news.ifmo.ru)

Поздравление Анатолия Абрамовича Шалыто с юбилеем 70 лет от Павла Егорова - генерального директора центра разработок EMC. (PDF)

Новые технологии, возможно, меняют человеческий мозг (внешняя ссылка: www.ladoshki.com)

Сборник цитат о жизни (внешняя ссылка: www.gumer.info)

Русак Алена Викторовна. Разработка алгоритмов управления и ориентации мобильных роботов (внешняя ссылка: www.dissercat.com)

Данилов Максим Васильевич. Системы автоматизированного проектирования КМУУ (внешняя ссылка: masters.donntu.edu.ua)

О сайтах ученых ИТ-мира

Зотов Игорь Валерьевич. Теоретические основы синтеза схем быстродействующих устройств распределенной децентрализованной координации параллельных микропрограмм в мультиконтроллерах (внешняя ссылка: www.dissercat.com)

Мельников А.А., Ушаков А.В. Двоичные динамические системы дискретной автоматики (внешняя ссылка: books.ifmo.ru)

В хорошей компании (PDF)

О старте проекта и формальных моделях

О статье А.А. Шалыто "Русский язык. Шутки в сторону"

Российско-европейская платформа компетенций экспертов и специалистов в области информационно-коммуникационных технологий (PDF)

Моя третья книга выложена не только у меня на сайте (внешняя ссылка: www.ict.edu.ru)

Журнал "Гироскопия и навигация". 1-я Российская мультиконференция по проблемам управления (внешняя ссылка: www.elektropribor.spb.ru)

Инженерное. Да просто гениальное... (внешняя ссылка: wvlad.livejournal.com)

Библиотека учебных курсов Microsoft (внешняя ссылка: www.microsoft.com)

Документирование программного обеспечения (внешняя ссылка: acm.mipt.ru)

А.А. Шалыто и Ф.Н. Царев в передаче "Игра ума" на Пятом канале (внешняя ссылка: youtube.com)

Анатолий Шалыто и Фёдор Царев в "Игре ума" (внешняя ссылка: www.biggdi.com)

From Simulation to Execution: on a Certain Programming Paradigm for Reactive Systems (внешняя ссылка: www.olsonet.com)

Вице-президент корпорации "Borland" о нас (внешняя ссылка: www.pcweek.ru)

Borland и мы (внешняя ссылка: www.bytemag.ru)

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

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

Научно-исследовательская лаборатория "Искусственный интеллект и роботы"

О нас пишут (PDF)

Конкурс по применению LabView (внешняя ссылка: www.labview.ru)

Это сайт моего двоюродного племянника, который перед поступлением в магистратуру решил объехать полмира! (внешняя ссылка: rolligor.shutterfly.com)

Нам пишут

Поможем компании Форд

Нам пишут

Найдут ли бизнесмены общий язык с технологами? (внешняя ссылка: matholimp.livejournal.com)

В хорошей компании и хорошем журнале (внешняя ссылка: www.mathnet.ru)

Знакомое лицо в жюри конкурса юмористической фантастики им. Ильи Варшавского (внешняя ссылка: varshavsky.info)

Пишем классические статьи :) (внешняя ссылка: www.kinnet.ru)

Форум разработчиков Russoft, день второй. Мобильное ПО и образование (внешняя ссылка: www.spbit.ru)

Пьедестал на двоих (внешняя ссылка: www.osp.ru)

Нам пишут

Программисты России (внешняя ссылка: ru.wikipedia.org)

Не зря писали (внешняя ссылка: ru.wikipedia.org)

Ученые Санкт-Петербурга (внешняя ссылка: ru.wikipedia.org)

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

Нам пишут

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

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

Скоро "Форум победителей", на который едут наши! (внешняя ссылка: www.ntv.ru)

Защита диссертации Олегом Степановым

Защита диссертации Евгением Князевым

Веселые картинки - а ну-ка, догони! (внешняя ссылка: fitp.ifmo.ru)

Премьера фильма "Алгоритм Берга" в Доме Кино

А этот кабинетик у нас (внешняя ссылка: www.spbvedomosti.ru)

"Деловой Петербург" об еще одном выпускнике кафедры "Компьютерные технологии" (внешняя ссылка: www.dp.ru)

Паши (Белов и Маврин) стреляли из пушки! (внешняя ссылка: www.ifmo.ru)

Владелец оригинала моей книги для Google Книги - Калифорнийский университет (внешняя ссылка: books.google.com)

День мецената прошел на ура! (внешняя ссылка: www.rusmecenat.ru)

О нас на "Дне мецената" (внешняя ссылка: www.dp.ru)

Нас читают (внешняя ссылка: kolmax.pp.ru)

Удивительное рядом (внешняя ссылка: www.gorodovoy.spb.ru)

Выступление на III сессии научной школы-практикума молодых ученых и специалистов «Технологии высокопроизводительных вычислений и компьютерного моделирования» (внешняя ссылка: escience.ifmo.ru)

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

Мысли вслух из журнала "Прочтение" (внешняя ссылка: prochtenie.ru)

O нас в каталоге MIT (внешняя ссылка: mit.worldcat.org)

Нас обсуждают (внешняя ссылка: raydac.livejournal.com)

Знай наших! (внешняя ссылка: www.metronews.ru)

Главное, Федя, воля к победе! (PDF)

Проект о людях, которые своими идеями, словами и поступками оказывают влияние или активно участвуют в жизни Москвы. Горжусь! (внешняя ссылка: globalmsk.ru)

По поводу приезда иностранцев на работу в России существуют разные мнения и у Шалыто тоже (внешняя ссылка: www.dp.ru)

Максим Мазин на Code Fest (внешняя ссылка: codefest.ru)

Наши в "Коммерсанте" (внешняя ссылка: kommersant.ru)

Архив дипломных работ кафедры "Системное программирование" СПбГУ (внешняя ссылка: se.math.spbu.ru)

Мазин М. Language Oriented Programming в действии. Как мы это делаем в JetBrains. на конференции JavaOne - Oracle Develop (внешняя ссылка: www.oracle.com)

Максим Мазин - становится евангелистом MPS. Выступление на "Application Developer Days" (внешняя ссылка: www.addconf.ru)

Д.А. Медведев поздравил В.Н. Васильева (внешняя ссылка: nw.rian.ru)

Как не надо писать статьи (внешняя ссылка: www.rsdn.ru)

Президент РФ Д.А. Медведев поздравляет В.Н. Васильева с шестидесятилетием

В СПбГУ ИТМО может открыться кафедра Mail.Ru (внешняя ссылка: www.rbcdaily.ru)

Наши и Президент РФ Д.А. Медведев (Медиапортал ИТМО - СМИ о Университете) (внешняя ссылка: media.ifmo.ru)

Владимир Николаевич Васильев - член-корреспондент РАН ("Информационно-управляющие системы", №2, 2012) (PDF)

Владимир Николаевич Васильев - член экспертного совета при правительстве РФ. Поздравляем! (внешняя ссылка: xn--80abeamcuufxbhgound0h9cl.xn--p1ai)

А.А. Шалыто с докладом "Bзaимoдeйствиe с poссийским бизнeсoм кaк oснoвa сoxpанeния выдающиxся мoлoдыx пpoгpаммистoв в НИУ ИТМО" в расписании семинара сети университетов региона Балтийского моря в Санкт-Петербургском университете экономики и финансов "Сотрудничество университетов и бизнеса - инновации и развитие" (PDF)

Исполнительный директор компании JetBrains Максим Шафиров о компании и инициативе "Сохраним в университетах лучших!" (внешняя ссылка: bit.samag.ru)

Доклад Шалыто А.А. "Автоматное программирование и мотивация" на VI сессии научной школы-практикума молодых ученых и специалистов "Технологии высокопроизводительных вычислений и компьютерного моделирования: технологии eSCIENCE" (PDF)

Наш выпускник CEO Jetbrains Олег Степанов о компании и ее продуктах (внешняя ссылка: www.pcweek.ru)

Стипендия имени Виктора Александровича Годунова в области информационных технологий для студентов и аспирантов кафедры "Компьютерные технологии" НИУ ИТМО (PDF)

В.Н. Васильев о будущем НИУ ИТМО (внешняя ссылка: www.strf.ru)

Коробкова Е.Н. Методы и алгоритмы анализа и синтеза цифровых устройств, основанные на представлении логических функций в обобщенной форме (внешняя ссылка: www.kstu.kursk.ru)

Приглашение к участию в I Петербургском Международном Молодежном Форуме (PDF)

Чемпионы ИТМО тренируют студентов из Китая (внешняя ссылка: www.ifmo.ru)

С.Е. Рукшин рассказывает об образовании. Что такое школьное образование в России сегодня (внешняя ссылка: spbroditeli.ru)

Реестр ведущих научных и научно-педагогических школ Санкт-Петербурга (PDF)

Технические проекты и инициатива "Сохраним в университетах лучших!" (bigrobot.ru) (внешняя ссылка: bigrobot.ru)

Рождение кафедры "Компьютерные технологии" НИУ ИТМО в потоке мировых событий в области ИТ (внешняя ссылка: www.computer-museum.ru)

Наша научная школа включена в реестр ведущих научных и научно-педагогических школ Санкт-Петербурга (PDF)

Автоматизация в промышленности и заметки о мотивации нашли друг друга (внешняя ссылка: avtprom.ru)

Мы выиграли грант РФФИ по конкурсу инициативных научных проектов (конкурсу «A»). Тема проекта - «Разработка муравьиных алгоритмов для построения управляющих конечных автоматов», руководитель - Шалыто А.А.

Реакция на книгу Васильева В.Н., Парфенова В.Г. Истории кафедры "Компьютерные технологии" (PDF)

А. Шалыто читает "Заметки о мотивации" на Радио Мегабайт (PDF)

А.А. Шалыто - член программного комитета VI Всероссийской научно-практической конференции "Нечеткие системы и мягкие вычисления–2014" (НСМВ–2014) (внешняя ссылка: www.spiiras.nw.ru)

Снова об автоматном программировании (PDF)

Игры престолов. Журнал "Newtone". 2014. № 16, май - июнь, с. 34, 35. (PDF)

Курс на Атлантику. Журнал "Newtone". 2014. № 16, май - июнь, с. 42. (PDF)

Программисты поздравляют программистов (внешняя ссылка: www.ifmo.ru)

Соляников Юрий Владимирович (внешняя ссылка: oglaskaspb.com)

Призеры премии «Эксперт в инновационно-промышленной сфере» (внешняя ссылка: expert.ru)

В.Н. Васильев о развитии Университета ИТМО (внешняя ссылка: www.kommersant.ru)

«Руссофт» определил лучшие ИТ-университеты России (внешняя ссылка: biz.cnews.ru)

Братья Кудиновы впереди на лихом коне! (внешняя ссылка: kommersant.ru)

IEEE DIAS 2015 - Workshop on Distributed Intelligent Automation Systems (PDF)

О TAP TAP Мити Гориловского! (внешняя ссылка: www.russianelectronics.ru)

Награждение «Почетным знаком Святой Татьяны» в Смольном соборе (внешняя ссылка: www.ifmo.ru)

Правильная газета (внешняя ссылка: gazeta.ifmo.ru)

В ожидании Терминатора (Санкт-Петербургские ведомости) (внешняя ссылка: www.spbvedomosti.ru)

Интервью с А.А.Шалыто (внешняя ссылка: 1-line.spbu.ru)

Switch-технология (энциклопедия "Традиция") (внешняя ссылка: traditio-ru.org)

Об успехах в спортивном программировании в Университете ИТМО (внешняя ссылка: www.facebook.com)

Наш человек в Google Research - выпускник кафедры КТ 2010 года Саша Мордвинцев (внешняя ссылка: googleresearch.blogspot.co.uk)

Выпускница Университета ИТМО получила стипендию ACM-W Scholarship (внешняя ссылка: www.ifmo.ru)

Паша Маврин - большой начальник (внешняя ссылка: минобрнауки.рф)

Доклады аспирантов Университета ИТМО признаны лучшими на cтуденческой секции конференции GECCO (внешняя ссылка: www.ifmo.ru)

Правила поступления: Университет ИТМО (внешняя ссылка: www.ucheba.ru)

Шалыто А.А. - член технического комитета "IEEE Industrial Informatics" (внешняя ссылка: www.ieee-tcii.org)

Международный семинар по распределенным интеллектуальным системам автоматизации (внешняя ссылка: www.ifmo.ru)

Абсолютный чемпион (внешняя ссылка: www.ifmo.ru)

Award presented to Professor Anatoly Shalyto as workshop organizer of 1st IEEE International Workshop on Distributed Intelligent Automation Systems held in conjunction with IEEE ISPA-15, August 20-22, 2015, Helsinki, Finland (PDF)

Program Synthesis from Refinement Types by Nadia Polikarpova (внешняя ссылка: research.microsoft.com)

Мотивирую первокурсников Университета ИТМО (внешняя ссылка: www.ifmo.ru)

Президент РФ В.В. Путин первого сентября снова говорил об успехах студентов Университета ИТМО. На этот раз на встрече в образовательном центре "Сириус" в Сочи, организованном по его инициативе для раннего выявления, развития и дальнейшей профессиональной поддержки одаренных детей, проявивших выдающиеся способности в области искусств, спорта, естественнонаучных дисциплин, а также добившихся успеха в техническом творчестве.

Озадачить гения (внешняя ссылка: old.spbvedomosti.ru)

Встреча Делового Клуба ChiefTime: "Как удалось создать в Университете ИТМО систему взращивания команд-чемпионов мира по программированию. Что необходимо для привлечения и удержания молодых талантов. На примере СПбГУ ИТМО"

А. Шалыто приглашен на Russian Code Cup (внешняя ссылка: spbit.ru)

Daniil Chivilikhin - 2nd Place Best Paper Award - GECCO 2015, Student Workshop (PDF)

Arina Buzdalova - 3rd Place Best Paper Award - GECCO 2015, Student Workshop (PDF)

Интересная встреча с интересным человеком :-) (PDF)

Inside ITMO — the Small University Producing Big IT Talent (внешняя ссылка: article.digital-russia.com)

Зимняя сессия: эпизод 115. Преподы наносят ответный удар

Зимняя сессия: эпизод 115. Преподы наносят ответный удар - Анатолий Абрамович Шалыто

Как ректор ИТМО Васильев ради студентов стал Дартом Вейдером (внешняя ссылка: m.fontanka.ru)

Интервью с Максимом Буздаловым в журнале NewTone (PDF)

Чему учат на кафедре "Компьютерные технологии" Университета ИТМО (внешняя ссылка: neerc.ifmo.ru)

Максим Буздалов - руководитель Workshop «Algorithms and Data Structures for Evolutionary Computation» на «Genetic and Evolutionary Computation Conference» (GECCO 2016). Denver, USA, July 20-24 2016. (внешняя ссылка: gecco-2016.sigevo.org)

Эволюция гениев // Журнал "NewTone". 2013. № 12 (PDF)

Железный человек // Журнал "NewTone". 2013. № 12 (PDF)

Васильев В. Конечные автоматы, как программировать без запарок. 2014 (внешняя ссылка: popayaem.ru)

Применение теории автоматов. 2010 (внешняя ссылка: teorya.hut.ru)

Рабочая программа дисциплины "Автоматное программирование". Томский государственный университет. Факультет прикладной математики и кибернетики. 2014 (внешняя ссылка: www.fpmk.tsu.ru)

Торговые роботы и автоматное программирование на StockSharp (внешняя ссылка: rusalgo.com)

Шелехов В.И. Автоматное программирование. 2015 (внешняя ссылка: www.youtube.com)

Лукин М., Буздалов М., Шалыто А. TMPA-2014: Verification of 800 Automata Based Programs Built by means of Genetic Programming (внешняя ссылка: www.youtube.com)

D. Chivilikhin, V. Ulyantsev, A. Shalyto. Solving Five Instances of the Artificial Ant Problem with Ant Colony Optimization (внешняя ссылка: www.ifac-papersonline.net)

I. Buzhinsky, V. Ulyantsev, A. Shalyto. Test-Based Induction of Finite-State Machines with Continuous Output Actions (внешняя ссылка: www.ifac-papersonline.net)

GECCO-2016 Workshop on Algorithms and Data Structures for Evolutionary Computation (внешняя ссылка: genome.ifmo.ru)

Наука, да и только. Журнал "Мегабайт", № 203, апрель 2016 (PDF)

Петербург стал самым привлекательным для трудоустройства IT-специалистов. «Деловой Петербург», 11 мая 2016 (PDF)

Пятнадцать лет побед: Андрей Станкевич – обладатель награды ACM ICPC Senior Coach Award (внешняя ссылка: www.ifmo.ru)

Тренер ИТМО по спортивному программированию получил престижную международную награду (внешняя ссылка: www.fontanka.ru)

Забавное зрелище (внешняя ссылка: sketchfab.com)

Г. Ткаченко: "Чем хорош хороший стартап?" (внешняя ссылка: www.ifmo.ru)

И. Арбузов: "Гении остаются в университете" (внешняя ссылка: www.ifmo.ru)

Д. Чивилихин: "Почему стоит работать на кафедре" (внешняя ссылка: www.ifmo.ru)

Студентка Университета ИТМО вошла в десятку победительниц Google Code Jam to I/O for Women (внешняя ссылка: www.ifmo.ru)

Статья о Лидии Перовской в журнале NewTone (PDF)

Статья о Алексее Сергушичеве в журнале NewTone (PDF)

Знай наших! (внешняя ссылка: www.the-village.ru)

В хорошей компании (внешняя ссылка: www.mvl.jpn.org)

Workshop on Algebraic and Combinatorial Methods in Signal and Pattern Analysis. EUROCAST 2017, Las Plamas, Canary Islands, Spain (PDF)

Workshop on Pioneers and Landmarks in The Development of Information and Communication Technologies. EUROCAST 2017, Las Plamas, Canary Islands, Spain (PDF)

Студенты И. Закирзянов, А. Лобода, Н. Ханжина и аспиранты А. Буздалова и Е. Путин - претенденты 2016 г. на получение премии Правительства Санкт-Петербурга победителям конкурса грантов для студентов вузов, расположенных на территории Санкт-Петербурга, аспирантов вузов, отраслевых и академических институтов, расположенных на территории Санкт-Петербурга. В список претендентов вошли 43 студента и 70 аспирантов Университета ИТМО, 77 студентов и 41 аспирант Санкт-Петербургского политехнического университета Петра Великого, пять студентов и девять аспирантов Санкт-Петербургского государственного электротехнического университета «ЛЭТИ» им. В.И. Ульянова (Ленина)» и 19 студентов и 14 аспирантов СПбГУ! (внешняя ссылка: knvsh.gov.spb.ru)

О рейтинге TIMES (внешняя ссылка: gtmarket.ru)

Лучшие кадры для региона: Университет ИТМО будет обучать талантливых школьников из Мордовии (внешняя ссылка: news.ifmo.ru)

В Nature Index отметили, что сотрудники университета ИТМО стали весьма активно публиковаться в широко известных в мире 68 журналах. Там также была отмечена и наша лаборатория, так как наши ребята опубликовались в следующих журналах из указанного списка: Genome Research, Cell Host & Microbe, Immunit, Cell Metabolism, Molecular Cell, Nature Genetics! Я поблагодарил за это со-руководителя нашей лаборатории Максима Артемова из университета Вашингтона в Сант-Луизе, и получил ответ: "Класс! То ли еще будет! Мы на этом останавливаться не намерены :-) Спасибо Вам большое за ребят и поддержку!". Ура!

МГУ и ИТМО вошли в топ-100 мирового рейтинга вузов Times Higher Education в области компьютерных наук (внешняя ссылка: d-russia.ru)

Университет ИТМО приблизился к мировому рекорду рейтинга THE по доходам от НИОКР (внешняя ссылка: tass.ru)

МФТИ попал в топ-100 рейтинга вузов Times по физике, МГУ и ИТМО - по IT (внешняя ссылка: ria.ru)

ИТМО вошел в список лучших вузов мира (внешняя ссылка: www.sobaka.ru)

ИТМО вошел в предметный список лучших вузов мира (внешняя ссылка: www.sobaka.ru)

Предметный рейтинг университетов России (внешняя ссылка: urfu.ru)

МГУ и ИТМО вошли в топ-100 мирового рейтинга вузов Times Higher Education в области компьютерных наук (внешняя ссылка: d-russia.ru)

Буздалов М. Мои счастливые годы жизни в университете ИТМО (внешняя ссылка: lnmo.ru)

О нас пишут в газете из Голландии (PDF)

Статья о нас в журнале "Собака.ru" (PDF)

Колонка главного редактора журнала "Собака.ru" (PDF)

Оглавление из журнала "Собака.ru" (PDF)

Ректор ИТМО Владимир Васильев: Петербург – это наша лаборатория (внешняя ссылка: www.topspb.tv)

Как бы на Украине не разбирались с «Приватбанком», но мне эта заметка нравится: «Let me share a reading list for people, who'd like to start diving deeper into Corezoid and PrivatBank Privat24 services. These are some basics:
1. Lloyd S. Programming the Universe: A Quantum Computer Scientist Takes on the Cosmos;
2. Hopcroft J., Motwani R., Ullman J. Introduction to Automata Theory, Languages, and Computation;
3. Deitel H., Deitel P., Choffnes D. Operating Systems;
4. Wiener N. Cybernetics. The Control and Communication in the Animal and the Machine»;
5. Get accustomed with such concepts as Conway's Game of Life;
6. Turing machine;
7. Mandelbrot set.
8. Ullman J. (Stanford University) There is also a wonderful free basic course on finite automata theory on Coursera.
9. Shalyto A.A., Tukkel N.I. SWITCH-Technology: An Automated Approach to Software, 27(5), 2001.
10. Shalyto A.A. Logic Control and «Reactive» Systems: Algorithmization and Programming» //Automation and Remote Control. 2001. № 1» (S. Danylenko).

Университет ИТМО готовится к зимней сессии (внешняя ссылка: www.the-village.ru)

30.11.2016 г. был опубликован еще один рейтинг – Times Higher Education BRICS & Emering Economics (БРИКС и развивающиеся страны) University Ranking, в котором наш университет занял высокое место, особенно среди российских вузов: 1. МГУ — третье место; 2. МФТИ — 12 место; 3. МИФИ — 19 место; 4. Университет ИТМО — 27 место; 5. СПбГУ — 30 место; 6. Новосибирский госуниверситет — 38; 7. ВШЭ — 48; 8. Томский политетехнический университет — 56 место; 9. Томский госуниверситет — 60 место; 10. Казанский федеральный университет — 66; 11. Политех — 107 место; 12. Баумана — 147 место (https://www.timeshighereducation.com/world-university-rankings/2017/brics-and-emerging-economies-university-rankings#!/page/0/length/25/sort_by/scores_overall/sort_order/asc/cols/stats).

В рейтинге Round University Ranking (RUR) шесть предметных: естественные, гуманитарные, социальные, медицинские и технические науки, а также науки о жизни. В эти рейтинги попали 700 вузов из 74 стран мира. По техническим наукам среди российских университетов наш университет третий: 1. МГУ (164 место в рейтинге); 2. Томский госуниверситет (267); 3. Университет ИТМО (287); 4. МАИ (288); 5. МФТИ (289); 6. МИСиС (311); 7. МИФИ (314) и т. д. В 2015 г. мы в этом рейтинге были пятыми среди российских вузов (после МГУ, Томского госуниверситета, Баумана и МФТИ) и занимали 340 место.

Кто-то написал, что еще немного, и Университет ИТМО перейдет через ноль и выскочит в отрицательную часть национального рейтинга университетов, в котором в этом году занял 12 (!) место (http://univer-rating.ru/rating_common.asp), а еще наш университет занял второе место по востребованности среди технических вузов страны (https://vid1.ria.ru/ig/ratings/Engen-2016.htm).

Тинькофф Банк учредил именную стипендию для студента ИТМО — двукратного чемпиона мира по программированию (внешняя ссылка: www.tinkoff.ru)

Статья о нас в журнале Собака.ru в сборе (внешняя ссылка: www.sobaka.ru)

Алгоритмы любви: он, она и наука (внешняя ссылка: news.ifmo.ru)

Программа как инженерный проект, или зачем заказчику понимать структуру ПО изнутри (внешняя ссылка: news.ifmo.ru)

Со скромностью у меня дело обстоит плохо (внешняя ссылка: hightech.fm)

«Лекарство от болезни»: Автоматное программирование (внешняя ссылка: habrahabr.ru)

Женщины и наука: "сейчас важен результат, а не гендерная принадлежность" (внешняя ссылка: ria.ru)

Номинанты премии журнала Собака.ru — о факторах успеха, работе с максимальной отдачей и о том, каким должно быть современное образование (внешняя ссылка: news.ifmo.ru)

О нас пишут

Наши умеют не только выигрывать чемпионаты мира по программированию (внешняя ссылка: www.spbvedomosti.ru)

Человек, активно интересующийся книгами об успехе, о "Заметках о мотивации" (внешняя ссылка: www.easyposts.ru)

Статья в Санкт-Петербургских Ведомостях "Не соврать мотив, ребята!" (внешняя ссылка: www.spbvedomosti.ru)

"Лифт в будущее". Профессор ИТМО Шалыто готовит уникальных программистов и... сборщиков генома (статья была опубликована на предыдущей версии сайта "Лифт в будущее") (PDF)

Мой бывший аспирант Никита Шамгунов идет к мировому призванию ("PCWEEK" - MemSQL - самая быстрая РСУБД в мире?) (внешняя ссылка: www.pcweek.ru)

Моя идея проникает в массы! ("PCWEEK" - Почему ИТ-компании не используют опыт футбольных клубов? К беседе Марка Цукерберга с Дмитрием Медведевым) (внешняя ссылка: www.pcweek.ru)

Большая статья о Никите Шамгунове и его деле (внешняя ссылка: www.wired.com)

НИУ ИТМО идет дальше (внешняя ссылка: www.poisknews.ru)

Наши выпускники еще умеют собирать деньги под проекты (внешняя ссылка: www.kickstarter.com)

Наши выпускники (Дмитрий Гориловский, а в ролике и Сергей Пак) сделали возможным тактильное общение на больших расстояниях (внешняя ссылка: www.lookatme.ru)

Газета "The Washington Post" об инновации наших выпускников (внешняя ссылка: www.washingtonpost.com)

И Forbes заметил TapTap (внешняя ссылка: www.forbes.com)

А теперь и "Daily Mail" о браслетах TapTap (внешняя ссылка: www.dailymail.co.uk)

Герои питерского ноногарварда (внешняя ссылка: 1-line.spbu.ru)

Прикасаясь к технологиям будущего (Университет XXI века) (PDF)

Магистр йота (Санкт-Петербургские ведомости) (внешняя ссылка: www.spbvedomosti.ru)

Новогоднее поздравление от В. Макарова (PDF)

Статья на русском языке о Гене Короткевиче и о нас в альманахе "Русский меценат" (PDF)

Ссылки на нас

Family of fast linearly independent ternary arithmetic transforms (внешняя ссылка: ieeexplore.ieee.org)

A note on the polynomial form of Boolean functions and relatedtopics (внешняя ссылка: ieeexplore.ieee.org)

A note on the polynomial form of Boolean functions and relatedtopics (внешняя ссылка: ieeexplore.ieee.org)

Family of fast linearly independent ternary arithmetic transforms (внешняя ссылка: ieeexplore.ieee.org)

Spectral techniques in binary and multiple-valued switching theory. A review of results in the decade 1991-2000 (внешняя ссылка: ieeexplore.ieee.org)

DeepLab.Технологии (внешняя ссылка: www.deeplab.ru)

Wolfram Science (внешняя ссылка: www.wolframscience.com)

A New Approach on Interactive SOA Security Model Based on Automata (внешняя ссылка: ieeexplore.ieee.org)

Основы менеджмента программных проектов: Литература (внешняя ссылка: old.intuit.ru)

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

ИТ-образование. Поговорим о главном. Отклик на статью

Образование и наука - фундамент университета (внешняя ссылка: newspaper.ifmo.ru)

Б. Мейер, Д. Гришин, ИТМО на "Эхо Москвы" (Точка: IT-образование в России и за рубежом) (внешняя ссылка: echo.msk.ru)

Журнал "Инженерное образование". Наши авторы (внешняя ссылка: aeer.cctpu.edu.ru)

Система образования как самоорганизующаяся среда (внешняя ссылка: www.pcweek.ru)

Образование и IT. Образование или IT? (внешняя ссылка: stump-workshop.blogspot.com)

"МК в Питере" об ИТ-образовании (внешняя ссылка: mk-piter.ru)

Разговор в РИА "Новости" об ИТ-образовании (внешняя ссылка: rian.ru)

Наши достижения

Новости СПбГУ ИТМО (внешняя ссылка: www.ifmo.ru)

Два проекта наших аспирантов -- "CloudGenomics - облачный интернет-сервис для обработки и хранения геномных данных" (руководитель - Ф. Царев) и "Конструктор M2M-систем - программа-конструктор систем телеметрии" (руководитель - В. Клебан) прошли в финал конкурса "Бизнес Инновационных Технологий 2012 - Северо-Запад" (БИТ 2012 - Северо-Запад) (http://bit-konkurs.ru/Severo-Zapad/Podrobno/Final_BIT-Severo-Zapad). Проект Виталия Клебана занял третье место и вышел в полуфинал Всероссийского конкурса "БИТ 2012". Поздравляем!

Аспирант кафедры "Компьютерные технологии" Виталий Клебан с проектом "Коструктор систем телеметрии (М2М систем)" участвовал в финале Всероссийского конкурса "Телекомидея", проводимого компанией МТС и Высшей школой экономики (внешняя ссылка: telecomideas.ru)

С. Казаков и В. Ульянцев претенденты на получение премии Правительства СПб за 2012 г. победителям конкурса грантов для студентов вузов, расположенных на территории Санкт-Петербурга. Поздравляем! (внешняя ссылка: www.rshu.ru)

26 октября состоялся финал первого конкурса научно-исследовательских и инновационных проектов среди студентов и аспирантов НИУ ИТМО «The Big Bang». Третье место занял проект студентов кафедры "Компьютерные технологии" И. Бужинского и В. Ульянцева. (внешняя ссылка: studsovet.ifmo.ru)

Кафедра "Компьютерные технологии" НИУ ИТМО стала победителем конкурса "Лучшие образовательные программы инновационной России" 2011 г. по "Прикладной математике и информатике". Бакалавриат. Магистратура.

Наша выпускница Юлия Чеботарева – одна из сотрудниц резидента Фонда «Сколково» российско-американской компании News360, которая признана лучшим мировым стартап-проектом в номинации M-media and News (масс-медиа и новости) престижного мирового конкурса World Summit Award – Mobile Content (WSA-Mobile). Поздравляем! (внешняя ссылка: community.sk.ru)

Максим Буздалов победил на Осенней школе фандрайзинга Fund-IT НИУ ИТМО (внешняя ссылка: www.ifmo.ru)

Владимир Ульянцев и Федор Царев вошли в число победителей конкурса "Молодые ученые НИУ ИТМО" 2012 года. Поздравляем! (внешняя ссылка: www.ifmo.ru)

Четыре наших проекта в финале конкурса The Big Bang 2 (внешняя ссылка: www.m2ies.com)

В 2008 г. в конкурсе "Молодые. Дерзкие. Перспективные" в разделе "Бизнес-идея" победили братья Царевы. В 2013 г. в финал этого конкурса в разделе "Научно-исследовательский проект" вышла Арина Буздалова. Поздравляем! Болеем! (внешняя ссылка: spbinvest.ru)

Результаты Кубка Вызова 2013: наш проект «Easy Genomics» принес победу Санкт-Петербургу (PDF)

Письмо В.Н. Васильеву о победе команды НИУ ИТМО в "Кубке Вызова" 2013 года (PDF)

О победе в «Кубке вызова» 2013

Проект НИУ ИТМО принес победу Санкт-Петербургу (внешняя ссылка: www.ifmo.ru)




© 2002—2024 По техническим вопросам сайта: alexvatyan@gmail.com