УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»
САЙТ ПО АВТОМАТНОМУ ПРОГРАММИРОВАНИЮ И МОТИВАЦИИ К ТВОРЧЕСТВУ
| В науке слава достается тому, кто убедил мир, а не тому, кто первый набрел на идею. Ф. Дарвин |
«Я создаю атмосферу успеха»: профессор ИТМО Анатолий Шалыто — о наставничестве и подготовке IT-специалистов (внешняя ссылка: news.itmo.ru) ITMO Professor Anatoly Shalyto on Mentorship for IT Students (внешняя ссылка: news.itmo.ru) Поздравление с юбилеем (внешняя ссылка: www.youtube.com) Шалыто А.А. Универсальные советы защищающимся (внешняя ссылка: vk.com) Shalyto A.A. Automata-Based Programming and Automata-Based Control. 2009 (внешняя ссылка: is.ifmo.ru) Введение в автоматное программирование от компании Beeptec Engineering (на русском) (внешняя ссылка: www.youtube.com) Введение в автоматное программирование от компании Beeptec Engineering (на английском) (внешняя ссылка: www.youtube.com) Лекция Шалыто А.А. Избранное 2. Мои результаты (внешняя ссылка: www.youtube.com) YouTube-канал Шалыто (внешняя ссылка: www.youtube.com) Русский код | Тизер (внешняя ссылка: www.youtube.com) Шалыто А.А. Лекция "Избранное 1. Мои результаты". 2019 год (внешняя ссылка: www.youtube.com)
Подарок на шестидесятилетний юбилей А.А. Шалыто от авторов передачи "Игра ума", которая была на Пятом канале
Статья о Гене и нас (PDF) Новая лекция по автоматному программированию (внешняя ссылка: youtu.be) Геннадий Короткевич на сайте "Коммерсантъ" (внешняя ссылка: www.kommersant.ru) «ОН УЖЕ ВОШЕЛ В ИСТОРИЮ ЧЕЛОВЕЧЕСТВА» (PDF) Университет ИТМО вошел в число 400 лучших университетов мира. Ура! (внешняя ссылка: news.ifmo.ru) 28.09.2016 г. опубликован предметный рейтинг университетов мира Times Higher Education. Computer Science: МГУ - 43 место, ИТМО - 56 (!!!). Art и гуманитарные науки: МГУ - 66 место. Физика: МФТИ - 78 место. Науки о бизнесе: ВШЭ - 83 место. Все! (внешняя ссылка: www.timeshighereducation.com)16 октября 2019 г. Университет ИТМО в четвертый раз подряд (!) попал в 100 (на самом деле в 80) лучших университетов мира в предметном рейтинге THE по CS, заняв 74 место. При этом Университет ИТМО вновь выполнил Указ Президента РФ по обеспечению конкурентоспособности вузов России в мире. При этом мы заняли первое место среди российских вузов. За нами МФТИ – 95 место. МГУ в этом рейтинге занял 101-125 место, первый раз за последние годы, не войдя в сотню лучших (http://news.ifmo.ru/ru/university_live/ratings/news/8873/).
Итак, за последние годы в предметном рейтинге THE по CS имели место следующие результаты: 2016: МГУ – 43, ИТМО – 56; 2017: МГУ – 60, МФТИ – 67, ИТМО – 76; 2018: ИТМО – 71, МГУ –– 78, МФТИ – 101-125; 2019: ИТМО – 74, МФТИ – 95, МГУ – 101-125.
Это, конечно, еще не семь побед, как у команд нашего университета на чемпионатах мира по программированию, и не шесть побед подряд, как у Гены Короткевича на Google Code Jam, но, как сказал Гоша Корнеев, эти достижения, видимо, связаны.
Обращаю внимание, что в мире вузов более 28 тысяч (https://www.webometrics.info/en/node/54), а по другим сведениям – их и того больше (43 тысячи).
26 октября 2019 г. стало известно об очередном выдающемся достижении Университета ИТМО. По итогам заседания совета по повышению конкурентоспособности ведущих университетов РФ среди ведущих мировых научно-образовательных центров (совет проекта 5-100) Университет ИТМО занял второе (!) место в первой группе из семи вузов (https://ria.ru/amp/20191026/1560257843.html): перед нами – ВШЭ, после нас – МИФИ, МФТИ, МИСИС, Томский ГУ и НГУ.
Во вторую группу вошли: Томский политех, Казанский ФУ, Первый медицинский университет им. И.М. Сеченова, Санкт-Петербургский политех, Уральский ФУ, РУДН и Тюменский ГУ, а в третью: Нижегородский ГУ, Дальневосточный ФУ, Южно-Уральский ГУ, ЛЭТИ, Калининградский ФУ, Самарский ГУ и Сибирский ФУ.
В первой группе по сравнению с 2018 г. произошло два серьезных изменения: Университет ИТМО переместился с пятого места на второе, а НГУ опустился с четвертого места на седьмое. Во второй группе серьезных изменений нет. В третьей – заметно поднялся Южно-Уральский ГУ, а Сибирский ФУ снизил свои позиции. Как отмечается в официальном сообщении «Проекта 5-100» (https://www.5top100.ru/news/112180/), при распределении вузов на группы учитывалась оценка по трем параметрам: достижения в рейтингах, значения показателей, характеризующих научно-образовательную, международную и финансовую деятельность университетов, а также оценка, полученная вузами от членов Совета (http://news.ifmo.ru/ru/university_live/achievements/news/8898/).
Шалыто Анатолий Абрамович (внешняя ссылка: www.ifmo.ru) Шалыто Анатолий Абрамович Anatoly Shalyto's CV (PDF) Фотографии Шалыто Анатолия Абрамовича А.А. Шалыто. Наши публикации про булевы функции, формулы, логические схемы, арифметические полиномы, автоматы и программные реализации на английском языке (PDF)
Труды А.А. Шалыто с 1972 по 2011 год Shalyto A.A. Publications В.Н. Васильев, В.Г. Парфенов. XXV ЛЕТ: ИСТОРИИ КАФЕДРЫ «КОМПЬЮТЕРНЫЕ ТЕХНОЛОГИИ» (PDF) В.Н. Васильев, В.Г. Парфенов. Технологии успеха (PDF) Репрессии не обошли и мою семью! (PDF)Информация о кафедре
25 мая 2004 г. доктор технических наук, профессор Шалыто А.А., ранее руководивший кафедрой «Информационные системы», избран заведующим кафедрой «Технологии программирования». Шалыто, Анатолий Абрамович (внешняя ссылка: ru.wikipedia.org) Anatoly Shalyto (внешняя ссылка: en.wikipedia.org) О работах по биоинформатике в лаборатории «Компьютерные технологии» Университета ИТМО (PDF) Работы по биоинформатике и вычислительной биологии сотрудников, аспирантов и студентов кафедры «Компьютерные технологии» Университета ИТМО (PDF) Буклет международной лаборатории "Компьютерные технологии" (рус.) (PDF) Буклет международной лаборатории "Компьютерные технологии" (англ.) (PDF) Буклет факультета информационных технологий и программирования 2015 г.(рус.) (PDF) Буклет факультета информационных технологий и программирования 2015 г.(англ.) (PDF) Буклет факультета информационных технологий и программирования 2018 г. (PDF) Всемирная школа программирования чемпионов мира из Университета ИТМО (внешняя ссылка: vk.com) Группа "Лаборатория "Компьютерные технологии" ВКонтакте (внешняя ссылка: vk.com) Автоматное программирование продолжается... (внешняя ссылка: new.corezoid.com)Книги А.А.Шалыто
Шалыто А.А. Заметки о мотивации. Текущая версия (30.07.24) (PDF) Шалыто А.А. Мои счастливые годы жизни на кафедре «Компьютерные технологии» СПбГУ ИТМО (к двадцатилетию кафедры). Текущая версия PDF (PDF) Шалыто А.А. Мои счастливые годы жизни на кафедре «Компьютерные технологии» Университета ИТМО (к двадцатипятилетию кафедры) (без картинок) Шалыто А.А. Мои счастливые годы на кафедре «Компьютерные технологии» Университета ИТМО (к двадцатипятилетию кафедры) Мои счастливые годы на кафедре «Компьютерные технологии» Университета ИТМО (к тридцатилетию кафедры). Том 1. Мои счастливые годы на кафедре «Компьютерные технологии» Университета ИТМО (к тридцатилетию кафедры). Том 2. Мои счастливые годы на кафедре «Компьютерные технологии» Университета ИТМО (к тридцатилетию кафедры). Том 3. Мои счастливые годы на кафедре «Компьютерные технологии» Университета ИТМО (к тридцатилетию кафедры). Том 4. Шалыто А.А. Мои счастливые годы на кафедре «Компьютерные технологии» Университета ИТМО (к тридцатилетию кафедры) Текущая версия от 03.03.2024. Звездочками отмечены откорректированные или новые фрагменты текста. Глава 36 – новая. (PDF) Шалыто А.А. Тексты обо мне, моем университете и моей стране. Текущая версия (27.01.22) (PDF) Шалыто А.А. Крохотки и тексты чуть подлиннее. Текущая версия (27.01.22) (PDF) Шалыто А.А. Высказывания и мысли (чужие) (PDF) Шалыто А.А. Мои мысли и шутки (PDF) Шалыто А.А. Люди (PDF) Шалыто А.А. Как биоинформатика и системная биология появились на кафедре «Компьютерные технологии» Университета ИТМО (PDF) Шалыто А.А. Борьба за спасение ЛНМО (PDF) Шалыто А.А. Об образовании (PDF) Шалыто А.А. О федерации спортивного программирования в России (PDF) Шалыто А.А. Автоматное программирование (PDF) Васильев В.Н., Парфенов В.Г. Путь к вершине (PDF) Парфенов В.Г., Шалыто А.А. Подготовка высококвалифицированных специалистов в области производства программного обеспечения и развитие технологий программирования на кафедре "Компьютерные технологии" // Университет XXI века. СПбГУ ИТМО. 2011, с.53 - 126. (PDF) Васильев В.Н., Парфенов В.Г. Истории кафедры «Компьютерные технологии» НИУ ИТМО (PDF) Васильев В.Н., Парфенов В.Г. Технологии успеха: опыт участия вузов в олимпиадах программистов ACM ICPC (PDF) Буклет для финала чемпионата мира по программированию 2013 года в Санкт-Петербурге (PDF) Президент НП "Руссофт" В. Макаров: "Cвоим подвигом они создают честь и славу всей индустрии, всей стране" (внешняя ссылка: www.russoft.ru) В одном рукопожатии до Президента (внешняя ссылка: d-russia.ru) Известные выпускники Университета ИТМО (PDF) Radomir S. Stanković, Jaakko T. Astola, Anatoly A. Shalyto & Alexander V. Strukov (eds.). Reprints from the Early Days of Information Sciences: Early Work in Switching Theory and Logic Design in USSR. Tampere International Center for Signal Processing, Tampere, 2016. (PDF) Anatoly A. Shalyto, Radomir S. Stanković, Jaakko T. Astola, Alexander V. Strukov. Early work in Switching Theory and Logic Design of Gavrilov School in former Soviet Union (PDF) Научные школы Университета ИТМО (внешняя ссылка: research.ifmo.ru) Международная научная лаборатория "Компьютерные технологии" (внешняя ссылка: irc.ifmo.ru) Страница лаборатории "Компьютерные технологии" на vk.com (внешняя ссылка: vk.com) Сайт инициативы "Сохраним в университетах лучших!" (внешняя ссылка: www.savethebest.ru) Сможем ли мы сохранить в университетах лучших? (внешняя ссылка: www.pcweek.ru) Инициатива "Сохраним в университетах лучших!" поддержана Президентом РФ Д.А.Медведевым (внешняя ссылка: www.kremlin.ru) Инициатива "Сохраним в университетах лучших!" была изложена Президенту РФ Дмитрию Анатольевичу Медведеву на встрече с победителями студенческого командного чемпионата мира по программированию 2009 г., которая проходила в Барвихе 06.05.2009 г., и была им одобрена (PDF) Шалыто А.А. Об улучшении ситуации в ИТ-образовании в России (PDF) Кадры для ИТ-индустрии: найти и удержать (PDF) Шалыто А.А. Зачем нужны автоматы? (PDF) Ульянцев В., Шалыто А. О сложности верификации простых автоматов (внешняя ссылка: is.ifmo.ru) Программы – не стихи, их надо проектировать, а не писать (PDF) http://www.osp.ru/os/2008/06/5345473/ (внешняя ссылка: www.osp.ru) http://is.ifmo.ru/works/turing/ Что такое автомат? Посмотрите здесь Шалыто А.А. Автоматное программирование, водка и буква Ё (PDF) Трудно ли было придумать, что перед операцией надо мыть руки? ("Город 812" - Почему доктора не хотят мыть руки) (внешняя ссылка: www.online812.ru) Шалыто А.А. Тяжелый коврик и автоматное программирование Чем отличается автоматное программирование от программирования с применением автоматов? (PDF) Новая инициатива для ИТ-отрасли России «Сохраним в университетах лучших!» (PDF) Шалыто А.А. Скромное обаяние автоматного программирования Автоматное программирование в Wikipedia (внешняя ссылка: en.wikipedia.org) Справедливость требует не тому отдать наибольшую научную славу, кто первым высказал истину, а тому, кто сумел убедить в ней других, показал ее достоверность и сделал ее применимой в науке. Д.И. Менделеев Круглый стол в газете "Санкт-Петербургские ведомости" на тему "Нужны ли России информационные технологии?" (внешняя ссылка: www.spbvedomosti.ru) Шалыто Анатолий Абрамович в Wikipedia (внешняя ссылка: ru.wikipedia.org) Switch-технология в Wikipedia (внешняя ссылка: ru.wikipedia.org) Шалыто А.А. Триединая задача одного педагогического эксперимента в области ИТ-образования
Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования» Шалыто А.А. Автоматное программирование Шалыто А.А. Автоматное программирование (PDF) Автоматное программирование. Лекция А.А. Шалыто (внешняя ссылка: www.youtube.com) Янкин Ю.Ю., Шалыто А.А. Метод создания программного обеспечения модулей, выполненных на основе программируемых логических интегральных схем (для просмотра презентации её необходимо предварительно скачать). Презентация так же доступна на YouTube по ссылке, указанной в следующей строке. (внешняя ссылка: is.ifmo.ru) Видео-презентация на YouTube (внешняя ссылка: www.youtube.com) Шалыто А.А. Введение в автоматное программирование (PDF) Справка о внедрении результатов кандидатской диссертационной работы Большакова Олега Андреевича (Schneider Electric) (PDF) Справка о внедрении результатов кандидатской диссертационной работы Большакова Олега Андреевича (АНХ-ИНЖИНИРИНГ) (PDF) Шалыто А.А. Термин "автоматное программирование" на английском языке КоммерсантЪ: Волшебный сундучок Роснауки (внешняя ссылка: www.kommersant.ru) Сотрудничество кафедры «Технологии программирования» и компании eVelopers eVelopers подружились с ИТМО (внешняя ссылка: www.spbit.ru) UniMod — инструмент, поддерживающий SWITCH-технологию (внешняя ссылка: unimod.sourceforge.net) Инструментальное средство UniMod для поддержки автоматного программирования (внешняя ссылка: www.youtube.com) Мнения об инструментальном средстве UniMod (PDF) Гуров В., Нарвский А., Шалыто А. Исполняемый UML из России (PDF) В Польше вышла книга про UML 2.0, в которой среди инструментальных средств для платформы Eclipse упомянут UniMod. Открытый проект UniMod опубликован на диске — приложении к этой книге (внешняя ссылка: helion.pl) Инструментальное средство "UniMod", разработанное нами, используется при бакалаврской подготовке в Италии. Предполагается его применение при магистерской подготовке и при обучении PhD-студентов. Ricca F., Leotta M., Reggio G., Tiso A., Guerrini G., Torchiano M. Using UniMod for Maintenance Tasks: An Experimental Assessment in the Context of Model Driven Development (внешняя ссылка: softeng.disi.unige.it) В ЗАО «Морские навигационные системы» используется автоматное программирование «Самостоятельное внедрение SWITCH-технологии в сложном процессе» «К чему я стремлюсь в программировании!» (PDF) Никлаус Вирт — почетный доктор СПбГУ ИТМО (PDF) Новая область применения автоматного программирования (PDF) Шалыто А.А. Автоматное программирование начинает новую жизнь (PDF) Неожиданное рядом. Автор этой статьи надеется, что автоматное программирование должно со временем стать стилем и стандартом программирования и проектирования для всех трейдеров. Я не возражаю :-) (внешняя ссылка: www.mql5.com) Печальная карьера – это когда они идут работать в Facebook или в Google (PDF) Виртуальная лаборатория для первоначального обучения проектированию автоматных программ (внешняя ссылка: rain.ifmo.ru) А.А. Шалыто попал в очень хорошую компанию: «Bertrand Meyer's Gallery of Computer Scientists» (внешняя ссылка: se.inf.ethz.ch)Инициатива "За открытую проектную документацию"
27.11.2002 на торжественном открытии полуфинальных соревнований командного чемпионата мира по программированию АСМ (Северо-Восточный Европейский регион) в Санкт-Петербургском городском Дворце творчества юных профессор СПбГУ ИТМО Шалыто А.А. объявил об организации инициативы «За открытую проектную документацию», которое является развитием «Движения за открытые программные источники» (Foundation for Open Project Documentation). В рамках этой инициативы делается упор на документацию проектов создания программ. Об этом движении — в разделах «Статьи», «Проекты» и «Визуализаторы». Д.И. Менделеев. О науке «Новая инициатива в программировании. Инициатива за открытую проектную документацию» «Еще раз об открытой проектной документации» «Технология автоматного программирования» «В чем кроется коренная причина проблемы нехватки квалифицированных ИТ-кадров в России?» «Как вам это нравится?» «А нравится ли Вам это?» (PDF) Обсуждение с Иваром Якобсоном, одним из создателей языка UML, того, что с помощью этого языка не описать очень сложную логику Switch-технология продолжает внедряться Автоматное описание живописи (А. Матисс) Применение конечных автоматов при программировании мобильных устройств Программирование с явной реализацией моделей Откуда появился понятие «автоматное программирования»? (внешняя ссылка: old.intuit.ru) Об автоматном программировании, инструментальном средстве UniMod и движении за открытую проектную документацию Автоматное программирование как парадигма програмирования (внешняя ссылка: acm.mipt.ru) Стили программирования (внешняя ссылка: acm.mipt.ru) Автоматное программирование используется во Флориде (внешняя ссылка: vikerlabs.com) Masters In Mathematics And Computer Science, ITMO (внешняя ссылка: www.masterstudies.com)Я считаю, что так произошло с автоматным программированием, которое распространяется все шире и шире - http://www.state-machine.com/about/customers.php. Название нашего сайта уже много лет связано с автоматным программированием, у этого сайта даже понятие автомат даже входит в его название. Обратите внимание, каким компаниям нужны инструменты для автоматного программирования! А мне все не верили, как оно важно.
Customers of Quantum Leaps (внешняя ссылка: www.state-machine.com)Ссылки и благодарности
Портал университета размещен по адресу www.ifmo.ru.Некоторые из приведенных на сайте материалов опубликованы также на сайтах www.softcraft.ru и www.avrorasystems.com.
Разработчики сайта благодарны Александру Ивановичу Легалову, создателю сайта www.softcraft.ru, за поддержку в течение длительного времени автоматного программирования.
Контакты:
shalyto@mail.ifmo.ru (Шалыто)Сайт создан студентом кафедры «Компьютерные технологии» СПбГУ ИТМО Александром Наумовым (gooroo@bk.ru). До 2007 года сайт поддерживался Сергеем Столбовым (stolbov@gmail.com). C 2007 года до мая 2011 года сайт поддерживался Михаилом Царевым (mikhail.tsarev@gmail.com). С мая 2011 года по 2012 год сайт поддерживался Владимиром Ульянцевым (vl.ulyantsev@gmail.com).
| © 2002—2024 | По техническим вопросам сайта: alexvatyan@gmail.com |