Отчет по результатам самообследования отдельной профессиональной образовательной программы высшего профессионального образования

Скачать 1.29 Mb.

Название	Отчет по результатам самообследования отдельной профессиональной образовательной программы высшего профессионального образования
страница	5/12
Дата публикации	10.11.2014
Размер	1.29 Mb.
Тип	Отчет

100-bal.ru > Право > Отчет

1 2 3 4 5 6 7 8 9 ... 12

4. Организация научно-исследовательской работы

4.1 Формирование и развитие основных научных направлений (научных школ), соответствие основных научных направлений профилю подготовки по представленным к аккредитации ООП ВПО.

Авдошин С.М., руководитель отделения программной инженерии, руководит и участвует в следующих научных исследованиях:

2011-2012 “Исследование и разработка инновационных комплексных моделей интеллектуальной системы ситуационного реагирования и контроля безопасности железных дорог современной России” Государственный контракт 07.514.11.4039 от 26 сентября 2011 г. по по лоту № 2011-1.4-514-045 "Разработка алгоритмов и программных систем для решения задач хранения и обработки сверхбольших наборов научных данных и сбора потоков данных в реальном времени" в рамках мероприятия 1.4 федеральной целевой программы «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007-2013 годы» (руководитель)

2010-2012 "Исследование и разработка методов оценки эффективности использования криптографических средств защиты информации в сфере бизнеса и финансов" Государственный контракт № П965 на выполнение поисковых научно-исследовательских работ для государственных нужд от 27 мая 2010 г. (исполнитель)

2009 – 2010 “Технологии и продукты Microsoft в обеспечении информационной безопасности” грант Microsoft на разработку курса (исполнитель)

2008 – 2010 “Исследование бинарных моделей знаний с нечеткой информацией” проект РФФИ 08-01-00465-а (исполнитель)

2007 – 2010 “Practice oriented EU-RU Master in Business Informatics (POMBI)” grant Tempus CD_JEP-27208-2006 (RU) (исполнитель)

Ахметсафина Р.З., заместитель заведующего отделением программной инженерии, является исполнителем в следующих научных исследованиях:

2011 – 2012 “Исследование и разработка инновационных комплексных моделей интеллектуальной системы ситуационного реагирования и контроля безопасности железных дорог современной России” Государственный контракт 07.514.11.4039 от 26 сентября 2011 г. по лоту № 2011-1.4-514-045 "Разработка алгоритмов и программных систем для решения задач хранения и обработки сверхбольших наборов научных данных и сбора потоков данных в реальном времени" в рамках мероприятия 1.4 федеральной целевой программы «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007-2013 годы» (исполнитель)

2011 г. «Подготовка и переподготовка профильных специалистов на базе центров образования и разработок в сфере информационных технологий в Центральном федеральном округе» Государственный контракт 07.Р20.11.0031 от 07.09.2011г. в рамках реализации мероприятия 4 «Поддержка развития объединений образовательных учреждений профессионального образования (кластерного типа) на базе вузов» задачи 2 «Приведение содержания и структуры профессионального образования в соответствие с потребностями рынка труда» Федеральной целевой программы развития образования на 2011–2015 годы, утвержденной постановлением Правительства Российской Федерации от 7 февраля 2011 г. №61 (исполнитель)

Воронова Л.И., профессор кафедры УРПО, имеет грант Минобрнауки России (2012-2013 гг);

Гостев И.М. руководит проектом РФФИ «Разработка параллельных алгоритмов и реализация программного обеспечения для распределенной среды по обработке высокоскоростных потоков графической информации для выделения из нее фрагментов имеющих характерные признаки».

Ломазова И.А. участвует в следующих проектах:

Фонд образовательных инноваций НИУ ВШЭ, гранты на чтение курсов "Формальные методы программной инженерии" (2010-11, 2011-12 уч.годы) и "Системы управления бизнес-процессами" (2011-12 уч. г.) на английском языке, создание проекта совместной магистерской программы "Системная и программная инженерия" (2011 г.), разработку концепции НИС "Верификация моделей программ" в бакалавриате (2011 г.).

РФФИ, грант 11-01-00737-а "Разработка и исследование многоуровневого ресурсно-ориентированного формализма для моделирования и анализа мультиагентных систем с динамической структурой" (2011-13 гг.)

Научный фонд НИУ ВШЭ, грант 10-09-0031 Софинансирование гранта РФФИ "Разработка и исследование многоуровневого ресурсно-ориентированного формализма для моделирования и анализа мультиагентных систем с динамической структурой" (2011-12 гг.)

Научный фонд НИУ ВШЭ, гранты на участие в конференциях

- 6th International Computer Science Symposium in Russia (CSR-2011). The Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011). Санкт-Петербург, июнь 2011 г.

- International Conference "Concurrency, Specification and Programming. CS&P'2011", 28 - 30. September 2011. Pułtusk, Poland.

- 7th International Computer Science Symposium in Russia (CSR-2012). The Third Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012). Нижний Новгород, июль 2012 г.

- International Conference "Concurrency, Specification and Programming. CS&P'2012", 26 - 28. September 2012. Berlin, Germany.

Научный фонд НИУ ВШЭ, грант 11-01-0032 Индивидуальный исследовательский проект "Методы анализа семантических свойств распределенных систем с объектной структурой" (2012-13 гг.)

Дворянский Л.В. и Фрумин Д.И. являются исполнителями гранта РФФИ 11-01-00737-а "Разработка и исследование многоуровневого ресурсно-ориентированного формализма для моделирования и анализа мультиагентных систем с динамической структурой" (2011-13 гг.).

4.2. Наличие и соотношение фундаментальных и прикладных научных исследований, внедрение и тиражирование разработок.

Помимо перечисленных в п.4.1. грантов и научных исследований на отделении были реализованы следующие проекты:

№ п/п	Название темы	Сроки проекта	№ контракта
1	Исследование проблем интеграции разнородных программных компонент и разработка средств компонентного определения типов объектов при проектировании программного обеспечения	1.07.09 – 16.11.09	ТЗ-70 ЦФИ
2	Новые подходы к созданию полимерных композитов на основе реакционноспособных макромолекул	4.08.09 – 4.08.09	П476
3	Разработка и реализация декларативного языка для динамического описания составных типов объектов из java-компонент	1.02.10 – 16.11.10	ТЗ-61.2
4	Разработка и исследование многоуровневого ресурсно-ориентированного формализма для моделирования и анализа мультиагентных систем с динамической структурой	1.01.11 – 31.12.13	№11-01-00737а

Сведения о сотрудниках, участвующих в научных исследованиях и разработках структурного подразделения:

ФИО	Роль	Проект
Гринкруг Ефим Михайлович	Руководитель	Исследование проблем интеграции разнородных программных компонент и разработка средств компонентного определения типов объектов при проектировании программного обеспечения
Максименкова Ольга Вениаминовна	Участник	Исследования и разработка алгоритмов решения распределенных задач оптимизации на основе теории многоагентных систем
Максименкова Ольга Вениаминовна	Участник	Исследование проблем интеграции разнородных программных компонент и разработка средств компонентного определения типов объектов при проектировании программного обеспечения
Подбельский Вадим Валериевич	Участник	Исследование проблем интеграции разнородных программных компонент и разработка средств компонентного определения типов объектов при проектировании программного обеспечения
Авдошин Сергей Михайлович	Руководитель	Исследование и разработка методов оценки эффективности использования криптографических средств защиты информации в сфере бизнеса и финансов
Ахметсафина Римма Закиевна	Участник	Разработка и реализация декларативного языка для динамического описания составных типов объектов из java-компонент
Гринкруг Ефим Михайлович	Руководитель	Разработка и реализация декларативного языка для динамического описания составных типов объектов из java-компонент
Максименкова Ольга Вениаминовна	Участник	Разработка и реализация декларативного языка для динамического описания составных типов объектов из java-компонент

4.3. Эффективность проводимой научно-исследовательской работы (издание монографий, защиты диссертаций, статьи в ведущих рецензируемых журналах, патенты, финансирование научных школ/направлений).

Изданные сотрудниками подразделения монографии перечислены в Приложении 12.

Темы кандидатских диссертаций:

№ п/п	ФИО диссертанта	Тема диссертации	Место защиты	руковод.	специальность
1	Савельева Александра Александровна	Модели и методы комплексной оценки аппаратно-программных средств обеспечения конфиденциальности и целостности информации	Московский государственный институт электроники и математики	Авдошин Сергей Михайлович	05.13.18 Математическое моделирование, численные методы и комплексы программ

Объекты интеллектуальной собственности

№ п/п	Наименование	Тип	Авторы
1.	BPF калькулятор IEEE-754 / 2008	Программы для ЭВМ, базы данных, топологии интегральных микросхем, зарегистрированые в Роспатенте	Авдошин Сергей Михайлович, Марон Максим Аркадьевич
2.	Программа построения сводных таблиц для принятия решения при компьютерном конструировании неорганических соединений	Программы для ЭВМ, базы данных, топологии интегральных микросхем, зарегистрированые в Роспатенте	Киселева Надежда Николаевна, Подбельский Вадим Валериевич, Акулов Михаил Михайлович
3.	Эмулятор машины Поста	Программы для ЭВМ, базы данных, топологии интегральных микросхем, зарегистрированые в Роспатенте	Авдошин Сергей Михайлович, Пронин Сергей Андреевич

Сведения о статьях в зарубежных научных журналах:

№ п/п	Автор(ы)	Название работы	Наименование журнала	Год	Страна
1.	Башкин Владимир Анатольевич, Ломазова Ирина Александровна	Resource Driven Automata Nets	Fundamenta Informaticae	2011	Нидерланды
2.	Башкин Владимир Анатольевич, Ломазова Ирина Александровна	Modelling multiagent systems with the help of generalized nets of active resources	Cybernetics and System Analysis	2011	Украина
3.	Литманович Аркадий Давидович, Подбельский Вадим Валериевич, Кудрявцев Ярослов Викторович	Lateral Ordering during Self Organization of Statistical Multiblock Copolymers	POLYMER SCIENCE Series A	2011	США
4.	Башкин Владимир Анатольевич, Ломазова Ирина Александровна	Cellular Resource-Driven Automata	Fundamenta Informaticae	2012	Нидерланды
5.	Дворянский Леонид Владимирович, Ломазова Ирина Александровна	On Compositionality of Boundedness and Liveness for Nested Petri Nets	Fundamenta Informaticae	2012	Нидерланды

Сведения о статьях в российских научных журналах:

№ п/п	Автор(ы)	Название работы	Наименование журнала	Год	ВАК
1.	Авдошин Сергей Михайлович, Горбатовский Михаил Сергеевич, Чернов Александр Владимирович	Концепция создания интеллектуальной системы ситуационного реагирования и обеспечения безопасности железных дорог современной России	Бизнес-информатика	2011	Да
2.	Авдошин Сергей Михайлович, Песоцкая Елена Юрьевна	Информационные технологии для управления финансовыми рисками	Бизнес-информатика	2011	Да
3.	Авдошин Сергей Михайлович, Савельева Александра Александровна	Методика подготовки и проведения семинарских занятий по информационной безопасности на основе изучения конкретных ситуаций	Открытое образование	2011	Да
4.	Башкин Владимир Анатольевич, Ломазова Ирина Александровна	Моделирование мультиагентных систем с помощью обобщенных сетей активных ресурсов	Кибернетика и системный анализ	2011	Нет
5.	Воронова Лилия Ивановна, Григорьева М.А.	Разработка информационной модели физико-химических свойств расплава для исследовательского программного комплекса MD-SLAGMELT	Межотраслевая информационная служба	2011
6.	Воронова Лилия Ивановна, Григорьева М.А., Воронов Вячеслав Игоревич	РАЗРАБОТКА МЕТОДОВ КОМПЬЮТЕРНОГО МОДЕЛИРОВАНИЯ НАНОСТРУКТУРЫ МНОГОКОМПОНЕНТНЫХ РАСПЛАВОВ	Фундаментальные исследования	2011
7.	Воронова Лилия Ивановна, Трунов А.И.	Оптимизация параллельного алгоритма подсистемы распределенного молекулярно-динамического моделирования	Межотраслевая информационная служба	2011
8.	Воронов В.И., Григорьева М.А., Воронова Лилия Ивановна	Разработка методов компьютерного моделирования наноструктуры многокомпонентных расплавов	Фундаментальные исследования	2011
9.	Григорьева М.А., Воронова Лилия Ивановна	Теоретико-графовая модель наноструктуры полимеризующихся оксидных систем	Электронный журнал "Исследовано в России"	2011
10.	Гринкруг Ефим Михайлович, Шакуров Амир Рафаилович	Компонентная архитектура с определением типов во время исполнения	Бизнес-информатика	2011	Да
11.	Дворянский Леонид Владимирович	О моделировании счётчиков с бесконечным числом значений в обыкновенных сетях Петри.	Труды Института системного программирования Российской Академии Наук	2011
12.	Литманович Аркадий Давидович, Подбельский Вадим Валериевич, Кудрявцев Ярослов Викторович	О латеральном упорядочении при самоорганизации статистических мультиблок сополимеров	Высокомолекулярные соединения. Серия А	2011
13.	Малов Дмитрий Николаевич, Ульянов Михаил Васильевич	Метод получения функции трудоёмкости рекурсивных алгоритмов на основе анализа порожденного дерева рекурсии	Известия высших учебных заведений. Проблемы полиграфии и издательского дела	2011	Да
14.	Набебин Алексей Александрович	Системы линейных уравнений в конечных полях для информатики.	Социальная политика и социология.	2011
15.	Подбельский Вадим Валериевич, Петрова Л.И., Гранаткина Ю.В., Земцов В.С., Соколов О.В., Скипидаров С.Я., Курганов В.Я., Иванова Лариса Дмитриевна	Materials Based on Bismuth and Antimony Chalcogenides for Thermoelectric Cooler Stages	Inorganic Materials	2011	Да
16.	Соловьев Сергей Юрьевич	Структура контекстно-свободных языков	Информационные процессы	2011	Нет
17.	Соловьев Сергей Юрьевич, Стельмашенко Дарья Евгеньевна	Подходы к исследованию формальных контекстов	Информационные процессы	2011	Нет
18.	Столяренко Андрей Вячеславович, Киселева Надежда Николаевна, Рязанов Владимир Васильевич, Подбельский Вадим Валериевич	A System for Computer_Assisted Design of Inorganic Compounds	--	2011	Нет
19.	Авдошин Сергей Михайлович, Савельева Александра Александровна	Междисциплинарный подход к изучению информационной безопасности на основе анализа конкретных ситуаций	Информационные технологии	2012	Да
20.	Дворянский Леонид Владимирович, Ломазова Ирина Александровна	Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools	Моделирование и анализ информационных систем	2012	Да
21.	Денисова Ю. И., Кренцель Л. Б., Перегудов А. С., Литманович Е. А., Подбельский В.В., Литманович А.Д., Кудрявцев Я.В.	О статистике цепи мультиблок-сополимеров винилацетат–виниловый спирт	Высокомолекулярные соединения	2012	Да
22.	Лукин В.Н., Сидоров С.И., Фомин Сергей Сергеевич, Чернышов Лев Николаевич	Проектирование программных систем: дистанционное обучение	Информатизация образования и науки	2012	Да
23.	Моросанова Наталья Александровна, Соловьев Сергей Юрьевич	Формальные свойства схемы Шортлиффа	Управление большими системами. Электронный сборник научных трудов Института проблем управления	2012	Да
24.	Патаракин Евгений Дмитриевич, Ярмахов Борис Борисович, Буров Василий Владимирович	Продвижение социальных инноваций через общественное конструирование документов	Образовательные технологии и общество	2012	Да
25.	Подбельский В.В., Максименкова О.В., Казаков М.А.	Визуализация структуры педагогического теста	Ярославский педагогический вестник	2012	Да

Научно-исследовательская работа активно ведется также в Международной научно-учебной лаборатории процессно-ориентированных информационных систем, активно сотрудничающей с Техническим университетом Эйндховена, имеющей в ряду своих сотрудников иностранных профессоров. Научным руководителем лаборатории является профессор Вил ван дер Аалст – профессор кафедры математических и компьютерых наук Технического университета Эйндховена (TU/e), Нидерланды; адъюнкт-профессор Квинслендского Технического Университета, Австралия.
4.4. Участие преподавателей в НИР (публикации, участие в конференциях, конкурсах, выставках и т.д.).

Сведения о научно-исследовательских работах и проектах, выполненных за 2008-2013 годы, представлены в приложении 10. Участие в конференциях подробно отражено выше в пункте 3.2.

В 2011 году Авдошин С.М., руководитель отделения программной инженерии, стал победителем в конкурсе IBM Faculty Award (http://public.dhe.ibm.com/software/dw/university/facultyawards/2011_faculty_recipients.pdf).

Савельева А.А., доцент кафедры УРПО, является победителем конкурса грантов Microsoft "Разработка курсов по информационным технологиям-2009" (в соавторстве с В.А.Сердюком и С.М.Авдошиным, курс «Технологии и продукты Microsoft в обеспечении информационной безопасности»), победителем Международной конференции по проблемам компьютерной безопасности 'IT Security for the Next Generation - 2011', победителем конкурса оригинальных моделей проведения семинарских занятий Фонда образовательных инноваций НИУ ВШЭ, победителем конкурса «Преподаватели факультетов/отделений 2010 года» в номинации «Молодой преподаватель факультета/отделения» НИУ ВШЭ, имеет диплом за лучший доклад на VI Всероссийской научно-технической конференции «Технологии Microsoft в теории и практике программирования» для студентов, аспирантов и молодых ученых РФ в 2009 г., является стипендиатом правительства РФ (2007-2008, 2009-2010), президента РФ (2006-2008), Ученого совета МАТИ-РГТУ (2006-2008).

Зыков С.В., доцент кафедры УРПО, имеет следующие сертификаты в области программной инженерии: CarnegieMellon Certified iCarnegie Instructor (SSD1: Introduction to Information Systems, 2008), CarnegieMellon Certified iCarnegie Instructor (SSD9: Software Specification, Testing and Maintenance, 2008), Process Mining: Concepts and Applications (TU/e, Netherlands, 2012), Development and Implementation of Dual Master Program in Software and System Engineering (TU/e, Netherlands, 2012).
4.5. Участие студентов в НИР (публикации, участие в конференциях, конкурсах, выставках, деятельности проектно-учебных групп (ПУГ), проектно-учебных лабораторий (ПУЛ), международных лабораторий, финансирование НИР).

Участие студентов в НИР отражено в Приложении 11. Студенты отделения регулярно участвуют в конференциях, а также публикуют статьи и доклады в российских и зарубежных журналах. Ежегодно студенты и сотрудники отделения участвуют в конференции SYRCoSE, SEC(R), конференции, проводимой на факультете Бизнес-информатики.

В 2010 году команда отделения программной инженерии под руководством Гринкруга Е.М. заняла второе место на российском финале конкурса Imagine Cup. В 2013 году другая команда от отделения программной инженерии закрепила и преумножила успех, став победителями российского финала и получив возможность участвовать в международном конкурсе от России. В составе этих команд участвовали студенты Каган, Богословский, Косый, Кутикин (http://se.hse.ru/news/17124948.html), Сибирцева, Горват, Корнеенков, Кондрашов. (http://se.hse.ru/news/79626614.html).

В конкурсе ACM 2 команды отделения программной инженерии вышли в полуфинал – в 2011 и 2012 году, в составе участников от отделения присутствовали студенты Андрушко, Бурштейн, Балабан, Маркин, одна команда вышла в финал ЧМ, в составе которой студенты Ткачев и Самойлыч (http://www.hse.ru/news/recent/12048621.html).

Студенты отделения ежегодно успешно проходят конкурсы на получение повышенных и именных стипендий: стипендию Потанина, стипендию Лукойл, стипендию Президента РФ в 2012-2013 уч.гг. получают Дубов М., Фрумин Д. и Дормидонтов С.

Дубов М.С. является участником двух научных проектов: Research group “Text Analysis and Visualization Methods” supported by the Academic Fund of NRU HSE (supervisor: B. Mirkin, Sc.D., Professor) и Research group “Component-Oriented Metaprogramming Environment and its Applications” supported by the Fundamental Research Center of NRU HSE (supervisor: E. Grinkrug, Ph.D., Assoc. Professor)

Перечень опубликованных научных работ студентов и аспирантов (2010-2013 гг)

№ п/п	Автор	Название работы	Наименование издания или издательства
1	Авдошин Сергей Михайлович, Шатилов Максим Петрович	Минимизация числа сравнений в худшем случае в алгоритме поиска порядковых статистик	Бизнес-информатика
2	Авдошин Сергей Михайлович, Савельева Александра Александровна	Методика подготовки и проведения семинарских занятий по информационной безопасности на основе изучения конкретных ситуаций	Открытое образование
3	Гринкруг Ефим Михайлович, Шакуров Амир Рафаилович	Компонентная архитектура с определением типов во время исполнения	Бизнес-информатика
4	Савельева Александра Александровна	Модели и методы комплексной оценки аппаратно-программных средств обеспечения конфиденциальности и целостности информации.: Автореф. дис. ... канд. тех. наук.	ООО "Гипрософт"
5	Ховратович Дмитрий, Рехбергер Кристиан, Савельева Александра Александровна	Bicliques for Preimages: Attacks on Skein-512 and the SHA-2 family
6	Кабир П., Ульянов М.В.	Сравнительный анализ алгоритмов умножения длинных целых чисел
7	Ткачев В.О.	Списочное декодирование кодов Рида-Маллера первого порядка	XXXVII Гагаринские чтения. Научные труды международной молодежной научной конференции в 8 томах – Т. 4. 2011, МАТИ
8	Белов М.П.	«Hand recognition in Live-Streaming Video».	SYRCoSE 2011 Сборник трудов 5-го весеннего коллоквиума молодых исследователей в области программной инженерии
9	Закиров Р.Н.	Исследование эффективности реализации алгоритмов дискретного логарифмирования на многопточной архиектуре	Труды XXXVII международной конференции «Ифнормационные технологии в науке, социологии, экономике и бизнесе, IT+S&E’10» 2010
10	Ignatov, D., Poelmans, J., Zaharchuk, V.	Recommender System Based on Algorithm of Bicluster Analysis RecBi	CEUR Workshop proceedings Vol-757, CDUD'11 - Concept Discovery in Unstructured Data. (2011) pp. 122-126
11	Dmitry Ignatov, Sergey Nikolenko, Vasily Zaharchuk and Andrey Konstantinov.	A New Recommender System for the Interactive Radio Network FMhost	Proceedings of International Workshop on Experimental Economics in Machine Learning 2012. Published by KU-Leuven, 72-85 p., ISBN 978-9-08-140992-6
12	Дубов М.С.	«Windows Phone 7: взгляд разработчика»	Мир ПК №8, август 2011, стр.46-48
13	Dubov M., Chernyak E.	“Annotated Suffix Trees: Implementation Details”	Transactions of Scientific Conference on Image, Network and Text Analysis (AIST 2013), pp.49-57
14	Белов М.П.	Уменьшение связанности дизайна программной системы	XXXVII Гагаринские чтения. Научные труды международной молодежной научной конференции в 8 томах – Т. 4. 2011
15	Громов В.В.	Исследование применимости кодов Грея над полями Галуа в криптографических алгоритмах	XXXVII Гагаринские чтения. Научные труды международной молодежной научной конференции в 8 томах – Т. 4. 2011
16	Дорноступ Ю.С.	Автоматизированный метод выявления степени соответствия содержания двух иерархически организованных документов	XXXVII Гагаринские чтения. Научные труды международной молодежной научной конференции в 8 томах – Т. 4. 2011
17	Закиров Р.Н.	Программа решения систем линейных уравнений в кольцах Галуа (2n)	XXXVII Гагаринские чтения. Научные труды международной молодежной научной конференции в 8 томах – Т. 4. 2011
18	Степалина Е.А.	Высокоуровневый интерфейс доступа к данным на основе переписывания запросов	XXXVII Гагаринские чтения. Научные труды международной молодежной научной конференции в 8 томах – Т. 4. 2011
19	Кабир П.	Термоактивный анализ дилатометрических кривых металлов и сплавов	XXXVI Гагаринские чтения. Научные труды международной молодежной научной конференции в 8 томах – Т. 4. 2010
20	Бучина Н.Г.	Визуализация распределения простых чисел в ряде натуральных чисел	XXXVI Гагаринские чтения. Научные труды международной молодежной научной конференции в 8 томах – Т. 4. 2010
21	Кобякова Д.С.	Вычисление неприводимых полиномов заданного порядка и реализация арифметики в полях и кольцах Галуа GF(2N)	XXXVI Гагаринские чтения. Научные труды международной молодежной научной конференции в 8 томах – Т. 4. 2010
22	Громов В.В.	Коды Грея над полями Галуа в симметричной криптографии	XXXVI Гагаринские чтения. Научные труды международной молодежной научной конференции в 8 томах – Т. 4. 2010
23	Козлова Е.В.	Стеганографическое сокрытие информации в текстовых файлах-контейнерах	XXXVI Гагаринские чтения. Научные труды международной молодежной научной конференции в 8 томах – Т. 4. 2010
24	Степалина Е.А.	Документирование в Agile-проектах	XXXVI Гагаринские чтения. Научные труды международной молодежной научной конференции в 8 томах – Т. 4. 2010
25	Шулюгин В.О.	Особенности разработки алгоритмов стеганографического сокрытия цифровых водяных знаков в графических файлах-контейнерах	XXXVI Гагаринские чтения. Научные труды международной молодежной научной конференции в 8 томах – Т. 4. 2010
26	Савельева А.А.	Formal methods and tools for evaluating cryptographic systems security	SYRCoSE 2008, Vol. 1
27	Громов В.В.	Data mining techniques in Real-time Marketing	SYRCoSE 2012
28	Кобякова Д.С.	Research methods for constructing message-passing interprocess communication based system for railroad situation analysis	SYRCoSE 2012
29	Подбельский В. В., Максименкова О. В., Казаков М. А.	Визуализация структуры педагогического теста	Ярославский педагогический вестник. 2012. Т. III. № 1. С. 21-31.

4.6. Выводы и рекомендации

Организация научно-исследовательской работы на отделении описана выше. Научные школы в области программирования, защиты информации, управления жизненным циклом программного обеспечения, тестирования и проч. получают достойное развитие и соответствуют основным научным направлениям профиля подготовки по представленной к аккредитации ООП 231000.62 «Программная инженерия». Профессора и доценты кафедры УРПО получают гранты на разработку программного обеспечения, исследования в области программной инженерии. Большая часть преподавателей непрерывно участвует в научно-исследовательских проектах, выступают на международных конференциях по проблематике проектов, регулярно выпускаются монографии (см. Приложение 12).

В некоторых проектах принимают участие стажеры-исследователи Международной лаборатории процессно-ориентированных информационных систем, являющиеся студентами отделения программной инженерии. Выше изложена результативность научно-исследовательской деятельности профессоров и студентов в виде выступлений и докладов на конференциях, опубликованных статей, полученных грантов, выпущенных учебных пособий и проч.

Студенты во взаимодействии с научными руководителями от окафедры участвуют в научных разработках и ежегодно получают патенты и свидетельства об официальной регистрации программных продуктов (см. пункт 4.3).

Отделение принимает участие в проекте Beng – совместном проекте Сколково и Национального Исследовательского Томского Политехнического Университета. Проект направлен на разработку комплекса учебно-методических материалов для развития базовых инженерных компетенций на основе международных стандартов инженерного образования.

В 2010 году отделение заключило договор о сотрудничестве с Техническим университетом Эйндховена. Соглашение предусматривает академические обмены студентов и преподавателей, научные стажировки, проведение совместных научных исследований. В частности, в сентябре 2011 года в рамках договора открыта совместная магистерская программа «Системная и программная инженерия». Новая программа готовит магистров по двум специализациям: «Управление разработкой программного обеспечения» и «Методы и теория программной инженерии». Студенты, обучающиеся по специализации «Методы и теория программной инженерии», проходят все курсы на английском языке, а по окончании первого курса продолжают обучение в вузе-партнере, и по завершении обучения получают два диплома: диплом магистра НИУ ВШЭ и диплом Master of Science in Computer Science and Engineering Технического университета Эйндховена.

В рамках сотрудничества с Техническим университетом Эйндховена TU/e в 2011-2012, 2012-2013 уч. гг. лекции по дисциплине «Конструирование программного обеспечения» для студентов 2 курса вели профессора вуза-партнера, Том Вирхофф и Пол де Бра. Также проводить лекции и конференции приезжали профессора Технического университета Эйндховена Вил ван дер Аалст и Майкл Вестергаард. Сотрудники кафедры УРПО проходят стажировки и курсы повышения квалификации в вузе-партнере.

1 2 3 4 5 6 7 8 9 ... 12

	Отчет по результатам самообследования отдельной профессиональной... Содержание отчета по самообследованию основной профессиональной образовательной программы высшего профессионального образования		Отчет по результатам самообследования отдельной профессиональной... «Фундаментальная и прикладная лингвистика», магистратура «Компьютерная лингвистика»
	Отчет по результатам самообследования отдельной профессиональной... Московский институт электроники и математики национального исследовательского университета «высшая школа экономики»		Отчет по результатам самообследования отдельной профессиональной... Сотрудничество с другими научными, образовательными учреждениями и предприятиями, международное сотрудничество
	Отчет по результатам самообследования отдельной профессиональной... Сотрудничество с другими научными, образовательными учреждениями и предприятиями, международное сотрудничество		Отчет по результатам самообследования отдельной профессиональной... Сотрудничество с другими научными, образовательными учреждениями и предприятиями, международное сотрудничество
	Отчет по результатам самообследования отдельной профессиональной... Сотрудничество с другими научными, образовательными учреждениями и предприятиями, международное сотрудничество		Отчет по результатам самообследования отдельной профессиональной... Сотрудничество с другими научными, образовательными учреждениями и предприятиями, международное сотрудничество 21
	Отчет по результатам самообследования основной профессиональной образовательной... Высшего профессионального образования национальный исследовательский университет		Отчет по результатам самообследования основной профессиональной образовательной... Федеральное государственное автономное образовательное учреждение высшего профессионального образования
	Отчет по результатам самообследования основной профессиональной образовательной... Московский институт электроники и математики национального исследовательского университета «высшая школа экономики»		Отчет по результатам самообследования основной профессиональной образовательной... Сотрудничество с другими научными, образовательными учреждениями и предприятиями, международное сотрудничество
	Отчет по результатам самообследования основной профессиональной образовательной... Сотрудничество с другими научными, образовательными учреждениями и предприятиями, международное сотрудничество		Отчет по результатам самообследования основной профессиональной образовательной... Сотрудничество с другими научными, образовательными учреждениями и предприятиями, международное сотрудничество
	Отчет по результатам самообследования основной профессиональной образовательной... Сотрудничество с другими научными, образовательными учреждениями и предприятиями, международное сотрудничество		Отчет по результатам самообследования основной профессиональной образовательной... Сотрудничество с другими научными, образовательными учреждениями и предприятиями, международное сотрудничество

Отчет по результатам самообследования отдельной профессиональной образовательной программы высшего профессионального образования

4. Организация научно-исследовательской работы

Похожие: