УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»
События и факты
Научная работа в 2005 году Научная работа в 2006 году Научная работа в 2007 году Научная работа в 2008 году Научная работа в 2009 году Научная работа в 2010 году Научная работа в 2011 году
Основные показатели научно-педагогической деятельности кафедры «Компьютерные технологии» в 2011 году (PDF) Научная работа в 2012 году Основные показатели научно-педагогической деятельности кафедры «Компьютерные технологии» в 2012 году (PDF) Научная работа в 2013 году Основные показатели научно-педагогической деятельности кафедры «Компьютерные технологии» в 2013 году (PDF) Основные показатели научно-педагогической деятельности кафедры «Компьютерные технологии» в 2014 году (PDF) Основные показатели научно-педагогической деятельности кафедры «Компьютерные технологии» в 2015 году (PDF) Основные показатели научно-педагогической деятельности кафедры «Компьютерные технологии» в 2016 году (PDF)
Персональная страничка Максима Буздалова (внешняя ссылка: rain.ifmo.ru) Персональная страничка Арины Буздаловой (внешняя ссылка: rain.ifmo.ru) Персональная страничка Владимира Ульянцева (внешняя ссылка: rain.ifmo.ru) Персональная страничка Даниила Чивилихина (внешняя ссылка: rain.ifmo.ru) Персональная страничка Игоря Бужинского (внешняя ссылка: rain.ifmo.ru) Персональная страничка Алексея Сергушичева (внешняя ссылка: rain.ifmo.ru) Anatoly Shalyto - Google Scholar Citations (внешняя ссылка: scholar.google.ru) Работы по биоинформатике и вычислительной биологии сотрудников, аспирантов и студентов кафедры «Компьютерные технологии» Университета ИТМО (PDF) Заявка на конкурс исследовательских проектов в области автоматизации проектирования интегральных схем, проводимый компанией "Intel" и Московским физико-техническим институтом (техническим университетом) Результаты конкурса CAD - Intel Письмо с конкурса Intel (PDF) Диплом с конкурса Intel (PDF) Shalyto A.A. Cognitive Properties of Hierarchical Representations of Complex Logical Structures (PDF) Результаты конкурса исследовательских проектов в области автоматизации проектирования интегральных схем, 2003 год (PDF) Программа конференции (PDF) Оглавление трудов конференции (PDF) Automata Theory for Multi-Agent Systems Implementation (PDF) Theoretical Aspects of Multi-Agent Systems (PDF) Приглашение Фрагмент программы конференции Methods of Object-Oriented Reactive Agents Implementation on the Basis of Finite Automata (KIMAS 2005) (PDF) Automata-Based Programming of the Reactive Multi-Agent Control Systems (KIMAS 2005) (PDF) Новая инициатива в программировании. Движение за открытую проектную документацию (PDF) Язык автоматного программирования с компиляцией в Microsoft CLR (PDF) Аннотация докторской диссертации Шалыто А.А. 2005 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications - CIMSA 2005 2006 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications - CIMSA 2006 Программа конференции CIMSA 2006 (PDF) CIMSA-2006 (PDF) Уведомление о принятии доклада «Executable UML for Eclipse Platform» в качестве стендового (PDF) Тезисы доклада «Executable UML for Eclipse Platform» (PDF) OpenSource Forum Выступление на OpenSource Forum Программа UniMod: Method and Tool for Development of Reactive Object-Oriented Programs with Explicit States Emphasis (PDF) Журнал «Известия Уральского государственного университета». Серия «Компьютерные науки и информационные технологии» МСО 2003 (внешняя ссылка: old.lvk.cs.msu.su) МСО 2005: Программа конференции (внешняя ссылка: old.lvk.cs.msu.su) Метод преобразования программ в систему взаимодействующих конечных автоматов (PDF) UniMod: Метод и средство разработки реактивных объектно-ориентированных программ с явным выделением состояний (PDF)ЛОТ 2.
ИТ-13.4/004. Технология автоматного программирования: применение и инструментальные средства.
Информация о победителе конкурса — Государственное образовательное учреждение высшего профессионального образования «Санкт-Петербургский государственный университет информационных технологий, механики и оптики» (СПбГУ ИТМО), (ОПФ — учреждение), г. Санкт-Петербург.
http://www.fasi.gov.ru/fcp/technika/konkurs/it/izv-it-6.doc
Информация о лоте (внешняя ссылка: contest.informika.ru) «Наука и инновации»: Выбраны лучшие инновационные проекты России (внешняя ссылка: www.rsci.ru) КоммерсантЪ: Волшебный сундучок Роснауки (PDF) КоммерсантЪ: Заграница нам поможет (PDF) Часть 3. Мобильные системы (PDF) Часть 4. Клиент-серверные системы (PDF) Часть 5. Интернет-системы (PDF) О научных конкурсах Проекты, отмеченные в Роснауке Отчет о патентных исследованиях (PDF) Указ Президента РФ «О мерах государственной поддержки работников организаций оборонно-промышленного комплекса РФ» (внешняя ссылка: document.kremlin.ru) Постановление Правительства Российской Федерации от 24 июня 2004 г. № 309 г. Москва О стипендии работникам организаций оборонно-промышленного комплекса Российской Федерации (внешняя ссылка: www.rg.ru) Workshop по автоматному программированию (внешняя ссылка: logic.pdmi.ras.ru) Приоритетные направления развития науки, технологий и техники и критические технологии Российской Федерации (1996) (внешняя ссылка: www-sbras.nsc.ru) Приоритетные направления развития науки, технологий и техники и критические технологии Российской Федерации (2002) Приоритетные направления развития науки, технологий и техники и критические технологии Российской Федерации (2005) (внешняя ссылка: www-sbras.nsc.ru) Доклад на конференции .NET Technologies'2006 (внешняя ссылка: dotnet.zcu.cz) .NET Technologies 2006. Short communication papers proceedings (внешняя ссылка: dotnet.zcu.cz)Секция Д3. Системы логического управления. Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. UniMod - инструментальное средство для автоматного программирования.
Секция Е5. Нейронные сети и нейроподобные сети. Аничкин И.М. Применение нейронной сети для управления мотоциклом.
У нас приняли доклад на конференцию в МГУ (PDF) Девятая международная конференция "Интеллектуальные системы и компьютерные науки" (Мехмат МГУ) (внешняя ссылка: intsys.msu.ru) У нас приняли доклады на конференцию "Software Engineering Conference (Russia) — 2006" (SECR-2006) (внешняя ссылка: 2006.secr.ru)
Шопырин Д.Г., Шалыто А.А. Графическая нотация наследования автоматных классов Shopyrin D.G., Shalyto A.A. A Graphical Notion of State-Based Classes' Inheritance (PDF) Канжелев С.Ю., Шалыто А.А. Автоматическая генерация кода программ с явным выделением состояний (презентация) Канжелев С.Ю., Шалыто А.А. Автоматическая генерация кода программ с явным выделением состояний (PDF) Маврин П.Ю., Корнеев Г.А., Шалыто А.А. Формальная семантика диаграмм состояний, удобная для практического применения (PDF) Нас включили в программный комитет симпозиума The Second AIS SIGSAND European Symposium on Systems Analysis and Design. University of Gdansk, Poland, 2007 (внешняя ссылка: sigsand.univ.gda.pl) У нас приняли доклады на 1-ю Российскую мультиконференцию по проблемам управления (PDF) Паращенко Д.А., Царев Ф.Н., Шалыто А.А. Применение автоматного программирования для моделирования группового управления движением одного класса беспилотных летательных объектов http://ict.edu.ru/itkonkurs/ (внешняя ссылка: ict.edu.ru) http://ict.edu.ru/itkonkurs/module.php?QP_From=40&a=itconc&c=getForm&r=itconcList&d=mod&id_conc=1&id_n_conc=2&s_fio=1&rows_on_page=10 (внешняя ссылка: ict.edu.ru) http://www.ict.edu.ru/itkonkurs/1257/ (внешняя ссылка: www.ict.edu.ru) http://www.ict.edu.ru/itkonkurs/photo/2006/p1020115.jpg (внешняя ссылка: www.ict.edu.ru) Новые гренадеры - Федор Царев ("Петербургский дневник" - В поддержку науки российской) (внешняя ссылка: www.spbdnevnik.ru) СПбГУ ИТМО ввели в программный комитет конференции Tools-Europe 2007 (внешняя ссылка: tools.ethz.ch) Программа Международной научной конференции «Компьютерные науки и информационные технологии», посвященной памяти профессора А. М. Богомолова 2 - 4 июля 2007 г. (внешняя ссылка: knit2007.sgu.ru) Победа в двух конкурсах по лотам в рамках Федеральной целевой программы «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на Царев Ф.Н. стал одним из победителей конкурса грантов 2007 г. для студентов и аспирантов ВУЗов Санкт-Петербурга (внешняя ссылка: www.rshu.ru) Федору Цареву назначена стипендия Правительства РФ (внешняя ссылка: www.ifmo.ru)У нас приняли пять докладов на конференцию "Многопроцессорные управляющие и вычислительные системы (МВУС-2007)", которая проводится в рамках международной научно-технической конференции "Проблемы информационно-компьютерных технологий и мехатроника" (ИКТМ-2007)
Наши доклады на конференции SEC(R) 2007 (внешняя ссылка: 2007.cee-secr.org) Наше участие в Первом Санкт-Петербургском конгрессе "Профессиональное образование, наука, инновации в XXI веке" (внешняя ссылка: www.ifmo.ru) Доклад на конференции «Имитационное моделирование. Теория и практика» ИММОД-2007 (внешняя ссылка: www.gpss.ru)2007 год http://tools.ethz.ch/tools2008/tools2007/people.html
2008 год http://tools.ethz.ch/tools2008/committees.html
2009 год http://tools.ethz.ch/committees.html
1 место - Чемпионы России Дмитрий Абдрашитов, Дмитрий Паращенко, Федор Царёв;
4 место - Максим Буздалов, Всеволод Опарин, Владислав Исенбаев
6 место - Игорь Ахметов, Владимир Данилов, Игорь Синев.
Поздравляем и гордимся!
Царев Федор Николаевич стал одним из победителей открытого конкурса на предоставление грантов для студентов, аспирантов вузов и академических институтов, расположенных на территории Санкт-Петербурга (внешняя ссылка: www.rshu.ru) Еще один наш выпускник заканчивает диссертацию по программированию Научная конференция по программированию (PDF) Наше участие в конференции "Научное программное обеспечение в образовании и научных исследованиях". Санкт-Петербуг. Санкт-Петербургский государственный политехнический институт. 30,31 января 2008 года (PDF) Наши доклады на конференции по экстремальной робототехнике (внешняя ссылка: www.rtc.ru) В Стокгольме вручена престижная премия Кроуфорда математику из Химок (внешняя ссылка: www.rg.ru) Программа "Четвертой международной конференции по проблемам управления" (внешняя ссылка: www.ipu.ru) Статья "Автоматное программирование" - один из победителей Всероссийского конкурса обзорно-аналитических статей по приоритетному направлению "Информационно-телекоммуникационные системы" (внешняя ссылка: www.ict.edu.ru) Кто способен попасть на эту конференцию? (PDF) На конференции SECR-2008 будет докладывать не только Эрих Гамма, но и Артем Астафуров! (внешняя ссылка: 2008.cee-secr.org) Диплом за активное участие во II международной выставке "Перспективные технологии" Медаль "За успехи в научно-техническом творчестве" Итоговая конференция "Информационно-телекоммуникационные технологии - положение на сегодняшний день и пути дальнейшего развития" (внешняя ссылка: www.informika.ru) Наше участие в "Итоговой конференции ФЦП "Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007-2012 г." (внешняя ссылка: it-fcntp.uriit.ru) Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование Наше участие в III международной научно-практической конференции "Современные информационные технологии и ИТ-образование"Нас включили в программный комитет конференции "47th International Conference Objects, Models, Components, Patterns" (TOOLS-EUROPE 2009). И больше никого из России
Какие статьи могут пройти в рецензируемый журнал http://2008.it-edu.ru/pages/day3-sec2 (внешняя ссылка: 2008.it-edu.ru) http://2008.it-edu.ru/pages/sec-3-2 (внешняя ссылка: 2008.it-edu.ru) Зачем нужна фундаментальная наука? Наши на 11 Международной конференции CSTB-2009 (внешняя ссылка: www.cstb.ru) Нас включили в программный комитет конференции "Компьютерные науки и информационные технологии", которая проводится в саратовском государственном университете им. Н.Г. Чернышевского (внешняя ссылка: knit2009.sgu.ru) Мы в редколлегии журнала RSDN (внешняя ссылка: rsdn.ru) У нас приняли доклад на симпозиум IFAC Davydov A., Sokolov D., Tsarev F., Shalyto A. Application of Genetic Programming for Generation of Controllers Represented by Automata /13th IFAC Symposium on Information Control Problems in Manufacturing, June 3 - 5, 2009, Moscow, Russia (внешняя ссылка: ifac.papercept.net) У нас приняли доклад Столяров Л.В. (ученик восьмого класса лицея "Вторая школа", Москва), Дединский И.Р., Шалыто А.А. "Трансляция описаний автоматов, представленных в формате Microsoft Visio, в исходный код на языке C" на "Восьмую Сибирскую научную школу-семинар "Компьютерная безопасность и криптография" (SIBECRYPT'09), которая будет проводиться 8-11 сентября 2009 г. в Омском государственном техническом университете (внешняя ссылка: www.tpu.ru) Наше участие на конференции "Одаренные дети" (PDF) Нужны ли России информационные технологии? (PDF) А.А. Шалыто на II сессии научной школы-практикума "Технологии высокопроизводительных вычислений и компьютерного моделирования" (внешняя ссылка: escience.ifmo.ru) Надя Поликарпова публикуется с Бертраном Мейром! (внешняя ссылка: www.cse.msu.edu) 20% докладов наших студентов на научно-практической конференции студентов, аспирантов, молодых ученых и специалистов "Интегрированные модели, мягкие вычисления, вероятностные системы и комплексы программ в искусственном интеллекте" (ИММВИИ-2009) г. Коломна, 26-27 мая 2009 г. У нас приняли пять докладов (20% докладов на конференции) на SYRCoSE (Spring Young Researchers Colloquium on Software Engineering. May 28-29, 2009, Higher School of Economics, Moscow) и организовали секцию "Automata-Based Programming and Its Applications"Мы победили (http://www.spbvedomosti.ru/article.htm?id=10258558@SV_Articles) - Президент РФ Д.А. Медведев назвал стратегические информационные технологии среди пяти направлений инновационного развития российской экономики http://www.rbc.ru/rbcfreenews/20090618150508.shtml
Доклад Столярова Л.В. (школьник девятого класса), Дединский И.Р., Шалыто А.А. (Москва, Санкт-Петербург). Трансляция описаний автоматов, представленных в формате Microsoft Visio, в исходный код на языке C на ВОСЬМОЙ СИБИРСКОЙ НАУЧНОЙ ШКОЛЕ-СЕМИНАРЕ С МЕЖДУНАРОДНЫМ УЧАСТИЕМ "КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ И КРИПТОГРАФИЯ" (SIBECRYPT'09) 8-11 сентября 2009 г., Омский государственный технический университет (внешняя ссылка: sibecrypt.tsu.ru)Клебан В.О., Стрюк Л.Е., Шалыто А.А. Микрооперационная система реального времени для управления мобильным роботом
- Шалыто А.А. Автоматное программирование. Новые задачи
- Царев Ф.Н. Построение автоматов управления системами со сложным поведением на основе тестов с помощью генетического программирования
- Маврин П.Ю., Корнеев Г.А. Компонентная модель с поддержкой динамической реконфигурации
- Буздалов М.В. Применение генетических алгоритмов для определения неэффективных решений олимпиадных задач по программированию (на примере задачи о рюкзаке).
- Попов С.И., Попов Ю.И., Шалыто А.А. Задача о муравьеде и муравьях.
- Чеботарева Ю.К. Применение генетических алгоритмов для генерации функций, описывающих движение, на примере шага вперед человекоподобного робота.
Парфенов В.Г. и Шалыто А.А. выступают 23.09.2009 г. в 15-00 на круглом столе "Образование и информационные технологии" на Санкт-Петербургском научном форуме с участием Нобелевских лауреатов "Наука и общество. Информационные технологии". СПб., 21-25.09.2009 г. (внешняя ссылка: scientificforum.spb.ru)- Davydov A., Sokolov D., Tsarev F., Shalyto A. Application of Genetic Programming for Generation of Agent Controllers Represented by Automata
- Gnilomedov I., Nikolenko S. Agent-Based Economic Modeling With Finite State Machines
- Губин Ю., Шалыто А. Neuro-Automata Based Controlling
- Борисенко А., Федотов П., Степанов О., Шалыто А. Reliable Software with Complex Behavior Development (второй доклад не заслушивается, а только опубликуется в сборнике трудов)
- Davydov A., Sokolov D., Tsarev F., Shalyto A. Application of Genetic Programming for Generationof Agent Controllers Represented by Automata
- Gnilomedov I., Nikolenko S. Agent-Based Economic Modeling With Finite State Machines
Анатолий Шалыто и Надежда Поликарпова в числе организаторов 4th International Conference on Software Engineering Approaches For Offshore and Outsourced Development (SEAFOOD 2010) (внешняя ссылка: seafood.inf.ethz.ch) Научные школы СПбГУ ИТМО (внешняя ссылка: faculty.ifmo.ru) Gurov V. Practical Web Development with Language-Oriented Programming. Выступление на конференции Jfokus 2010 (Стокгольм, январь 2010 г.) (внешняя ссылка: www.jfokus.se) Архангельский Ю.Б. Из истории клавишной машины "Нева" (PDF)О ситуации в российской науке
Науку у нас в Новосибирске сохранили, даже в несильно потрепанном виде: лаборатории работают, молодые учатся, защищают диссертации. Одна великая проблема, что молодь (и не только, начали забирать уже 40-50-ти летних), как горячие пирожки расхватывают западные университеты, и тут ничего не поделаешь. Ведь действительно, на те зарплаты, даже с грантами, даже с западными, прожить трудно, а заработать на квартиру совсем нереально, вот и убегают они, талантливые, кто в "бусинес", а чаще на запад. Есть проблема, что с каждым годом выпускники ВУЗов становятся все менее образованными (в целом), и никто особенно в науку идти не хочет (обрекать себя на нищету). Старые, образованные кадры, которые могут научить, еще есть, но и они уходят постепенно, нужно принимать СРОЧНЫЕ меры по "сплаву" квалифицированных кадров и талантливой молодёжи, иначе никак!
Комментарий к материалу http://newsland.ru/News/Detail/id/483178/
P.S. А мы уже меры приняли. http://www.savethebest.ru
У нас приняли доклад на Международный семинар "Семантика, спецификация и верификация программ: теория и приложения", который проходить в Казани 14 и 15 июня 2010 г. в рамаках 5th International Computer Science Symposium in Russia (CSR-2010) (внешняя ссылка: csr2010.antat.ru) "Spring/Summer Young Researchers' Colloquium on Software Engineering" (SYRCoSE-2010), который проводится Институтом системного программирования РАН 1,2 июня 2010 в Нижнем Новгороде (внешняя ссылка: syrcose.ispras.ru) Труды этой и предшествующих конференций (внешняя ссылка: syrcose.ispras.ru) Приняли доклад Акишева И.Р.и Дворкина М.Э.О построении минимальных детерминированных конечных автоматов, распознающих префиксный код заданной мощности на IX Сибирскую научную школу-семинар с международным участием "Компьютерная безопасность и криптография" – SIBECRYPT’10, которая будет проводиться в Тюменском государственном университете 6-11.09.2010 г. (внешняя ссылка: sibecrypt.tsu.ru) Участие в оргкомитете международной конференции "Fourth International Conference on Software Engineering Approaches For Offshore and Outsourced Development (SEAFOOD) 2010" (внешняя ссылка: seafood.inf.ethz.ch) II Международная научно-практическая конференция "Объектные системы-2010" (зимняя сессия) (внешняя ссылка: is.ifmo.ru) Доклад А.Законова, О.Степанова и А.Шалыто GA-based and design by contract approach to test generation for EFSMs на конференции IEEE EAST-WEST DESIGN & TEST SYMPOSIUM 2010 St. Petersburg, Russia, September 17-20, 2010 (внешняя ссылка: www.ewdtest.com) Пленарный доклад Шалыто А.А. "Автоматное программирование" на конференции "Технические и программные средства систем управления, контроля и измерения" в Институте проблем управления РАН им. В.А. Трапезникова (внешняя ссылка: cmm.ipu.ru) Победитель конкурса на лучшую магистерскую диссертацию СПбГУ ИТМО 2010 года - Андрей Клебанов. Лауреаты этого конкурса - Михаил Дворкин, Кирилл Егоров и Андрей Законов. Поздравляем! (внешняя ссылка: www.ifmo.ru) Они будут выступать на конференции, посвященной 60-летию Бертрана Мейра (внешняя ссылка: fose.ethz.ch) Наши доклады на XL научной и учебно-методической конференции СПбГУ ИТМО, проводимой 1–4.02.2011 г., приведены на страницах 8, 11, 12, 14 программы конференции (внешняя ссылка: www.ifmo.ru) Федор Царев в хорошей компании. Так держать! Программа секции «Технологии распределенных вычислений и компьютерного моделирования в образовании и науке» на конференции Телематика-2011, 23 июня 2011 г. (PDF) Программа IV сессии научной школы-практикума «Технологии высокопроизводительных вычислений и компьютерного моделирования» (PDF) Программа работы секции «Автоматное управление, эволюционные алгоритмы, верификация на моделях» на 2-ой Межвузовской научной конференции по проблемам информатики (СПИСОК – 2011) Место проведения – матмех СПбГУ 10-00 29.04.2011 (PDF) Кафедра КТ заняла призовое место на конкурсе кафедр университета (внешняя ссылка: www.ifmo.ru) Оргкомитет рад сообщить, что доклад Григория Чикишева принят на школу-семинар SIBECRYPT'12 (внешняя ссылка: sibecrypt.tsu.ru) Программа семинара "Программные семантики, спецификации и верификация (PSSV)" (проводится с совместно с конференцией "Computer Science Simposium (Russia)" 1-2 июля 2012, Нижний Новгород) (внешняя ссылка: pssv-conf.ru)| © 2002—2025 | По техническим вопросам сайта: alexvatyan@gmail.com |