Объявлены стипенидаты кафедры системного программирования, которые будут получать стипендию заведующего кафедрой А.Н.Терехова во втором семестре 2013-2014 учебного года (с февраля по июнь включительно). Это Татьяна Агапова, Наталья Шохина, Дмитрий Репин, Роман Терешин (все третий курс) и Снежана Сарманова (четвертый курс).

В Праге прошла ежегодная дирекция компаний, входящих в холдинг ЛАНИТ. А.Н.Терехов генеральный директор ЗАО «Ланит-Терком» выступил на дирекции, рассказал об успехах компании в 2013 году и перспективных направлениях развития.

В честь 80-летия Николауса Вирта в Цюрихе была организована конференция Niklaus Wirth Birthday Symposium, куда можно было попасть только по персональному приглашению. Среди гостей мероприятия были профессор А.Н.Терехов. Состав докладчиков был весьма представительным. Открыл конференцию Винт Серф (президент AСМ), с докладами выступили представители крупнейших американских и европейских университетов. Особенно мне запомнилась дискуссия между Мартином Одерски (автором языка SCALA) и Бертраном Мейером (автором языка Eifel). Прозвучал очень интересный доклад Михаэля Франца (из университета Калифорнии, США) в чем-то перекликающийся с нашими работами по CODA. Безусловно, самым интересным был заключительный доклад самого Никлауса Вирта о его сегодняшних работах.

Заведующий кафедрой системного программирования СПбГУ проф. А.Н.Терехов и проф. О.Н. Граничин посетили город Ухань (Китай), где приняли участие в международном семинаре по медицинской диагностике.

В Москве прошла девятая Восьмая международная конференция «Разработка ПО 2013» CEE-SECR (Central and Eastern Europe — Software Engineering Conference Russia), на которой А.Н.Терехов был председателем программного комитета.

В конце 2011 года в СПбГУ по ФЗ-217 было образовано малое инновационное предприятие ООО «ИТ-Центр СПбГУ». Генеральным директором компании является А.Н.Терехов. ООО «ИТ-Центр СПбГУ» проводит исследования в области программной инженерии, а также выполняет заказы на разработку наукоемкого ПО. Одним из заказчиков компании является унвиерситет UNAM (Мексика). В октябре 2013 года А.Н.Терехов посетил представителей Заказчика и обсудил перспективы дальнейшего развития сотрудничества.

Объявлены очередные пять лауреатов стипендии А.Н.Терехова. Ими стали студенка 3 курса: Агапова Татьяна и студенты 4 курса: Вербицкая Екатерина, Рагозина Анастасия, Сарманова Снежана и Анисимов Константин.

Ассоциация Informatics Europe, объединяющая ведущие европейские ИТ-вузы и факультеты, провела очередной Саммит ECSS 2013, который на этот раз прошел в городе Амстердам и был посвящен инновациям в информатике. Профессор А.Н.Терехов является официальным представителем СПбГУ в этой ассоциации, он посетил этом саммит и принял участие в панельных дискуссиях и рабочих встречах, посвященных коммерциализации научных исследований, инновациям в сфере образования и трансферу технологий.

В Санкт-Петербурге прошла одна из самых известных конференций в области Программной инженерии ESEC/FSE. А.Н.Терехов выступил с докладом Good Technology Makes the Difficult Task Easy о новой технологии, разработанной на кафедре системного программирования, описания логики поведения кристаллов на базе языка HaSCoL (Hardware and Software CoDesign Language). Ссылка на историю этого проекта.

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

В Казани прошла конференция для студентов и аспирантов SYRCoSE. Вместе с проф. А.К. Петренко, сопредседателем конференции, мы провели большую работу по подготовке этой конференции, которая ранее попременно проходила в Санкт-Петербурге и Москве, но в последнеи годы расширяет свою географию. Рабочий язык конференции: английский. Подробнее о конференции можно узнать по ссылке.

В Воронеже прошла очередная конференция Преподавание ИТ-технологии в России.

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

Взвесив все аргументы потенциальных кандидатов на мою стипендию и их научных руководителей, я выбрал следующих пятерых человек: 4 курс — Чередник Кирилл (научный руководитель Кирилл Смиронов. Ранее стипендию не получал, а два других претендента – стипендию уже получали). — Соса Екатерина (работает у Певзнера, есть большая вероятность, что будет публикация в одном из главных мировых журналов в этой области). — Дерипаска Анна (я согласовал её статью и уже отправил со своей рецензией в журнал КИО, так что она точно будет напечатана). 3 курс — Борисова Альбина и Чугаева Татьяна – регулярно ходят на семинар кафедры, выступали на многих конференциях, в частности, я лично слышал их доклад в МИФИ, мне всё понравилось. Будет выплачено 5 стипендий (февраль-июнь включительно).

А.Н.Терехов принял участие в заседании Совета по модернизации при Президенте РФ. Председателем заседания был премьер-министр России Д.А.Медведев. Заседанию предшествовала интенсивная двухнедельная подготовка, в рамках которой пришлось общаться с заместителем министра связи Марком Шмулевичем, его помощником Сергеем Негодяевым и референтами Суркова. Главной задачей было сформулировать интересы ИТ-индустрии таким образом, чтобы они попали в список поручений Правительству. Мою презентацию переделывали не менее 5 раз, в конце-концов в выступлении с презентацией мне было отказано, но предложено в дискуссии поднять руку и высказать какой-нибудь основной тезис. Так я и сделал. Презентацию можно посмотреть здесь. Чтобы удвоить шансы, мы с президентом ассоциации РУССОФТ Валентином Макаровым разделили интересующие нас вопросы — он должен был говорить про снижение ЕСН для предприятий нашей отрасли, а я про необходимость государственной поддержки послевузовского образования и переподготовки кадров. Все-таки я не удержался и кроме намеченного пункта заговорил о трудностях фундаментальных исследований. Медведев живо отреагировал, говоря: «А что, раньше легче было?». Состоялся короткий содержательный диалог, в результате, во втором пункте из четырех «Поручений Правительству» чётко сказано о необходимости образования ИТ-центров при крупнейших университетах России и их финансировании на срок не менее 5 лет. Приведу точную формулировку Поручения №2 Правительству: «Представить согласованные предложения по развитию на базе российских научных организаций и высших учебных заведений исселдовательских центров мирового уровня, сфокусированных на прорывных исследованиях в области информационных технологий, в том числе по обеспечению финансирования ключевых исследовательских групп указанных центров на срок не менее 5 лет». То, что упомянуты университеты России я также отношу к своим заслугам, поскольку во время Совета говорили только о развитии Сколково и Казанского технопарка. 17 января состоялся Ученый совет мат-меха, на котором в разделе «Разное» я рассказал коллегам об этом заседании.

На факультете ВМК МГУ состоялась VII Международная научно-практическая конференция «Современные информационные технологии и ИТ-образование». Бессменным организатором этой конференции является профессор Владимир Александрович Сухомлин. Не могу сказать, что это была очень удачная конференция, мне пришлось руководить секцией, на которую приехало 6 докладчиков из 20 заявленных, примерно так же выглядели и другие секции. Тем не менее, несколько докладов были очень интересными, я встретил многих старых знакомых, получил в подарок 2 книги, которые обязательно прочитаю. Кроме того, наконец удалось содержательно поговорить с собственным аспирантом Юрием Литвиновым, хотя мы работаем практически в соседних комнатах, выделить время для обстоятельной беседы удалось только в Москве. По традиции, я первым делом списал себе презентацию Владимира Волконского про отечественную ЭВМ «Эльбрус».

В Москве прошла Восьмая международная конференция «Разработка ПО 2012» CEE-SECR (Central and Eastern Europe — Software Engineering Conference Russia). А.Н.Терехов был председателем Программного комитета этой конференции, поэтому открывал и закрывал ее. Пожалуй, это была самая удачная конференция за всю её историю. Выступали такие известные инвесторы как Александр Галицкий и Сергей Белоусов, к тому же — они великолепные ораторы, выступал собственник и директор крупнейшей в Восточной Европе аутсорсинговой компании EPAM Аркадий Добкин, директор OMG Ричард Соли и другие интересные ИТ-персоны. Состоялось несколько интереснейших круглых столов. Всем рекомендуется посетить сайт этой конференции http://www.secr.ru/

В Санкт-Петербурге состоялась юбилейная 13-ая конференция «Региональная информатика». «Юбилейная» — так как первая конференция состоялась 20 лет назад, просто были перерывы. Первый день, на котором были пленарные доклады посетить не удалось — не хотелось прогуливать лекции на мат-мехе. А вот второй день мы провели с Борисом Кривошеиным на секции этой конференции, посвященной оборонным разработкам в НПО «Импульс», где выступили с докладом про отказоустойчивый вычислительный комплекс, разработанный нами. Доклад делал Борис Кривошеин, ему задали массу вопросов, на которые он достаточно убедительно ответил. Именно по заказу НПО «Импульс» мы когда-то сделали троированный УВК «Самсон», который до сих пор применяется в Российской армии и выпускается сотнями штук в год на Ижевском моторном заводе. Сейчас коллеги из Импульса размышляют о перспективных разработках на следующие 15-20 лет, хотелось бы принять участие в этих разработках.

Начался новый учебный год и определены новые студенты-стипендиаты кафедры системного программирования. В осеннем семестре «стипендию А.Н.Терехова» будут получать студенты четвертого курса: Кузенкова Анастасия, Ерохин Георгий, Федотовский Павел, Серко Сергей и Одеров Роман.Вообще-то, заявлено было только 4 стипендии, но поскольку хороших кандидатов на стипендии набралось пятеро, было решено в этом семестре присудить дополнительную стипендию.

В начале сентября на острове Эльба прошла девятая летняя школа LASER по Программной инженерии. Андрей Николаевич Терехов, выступил с докладом по метатехнологии QReal и DSL-языкам, а по возвращении поделился своими впечатлениями об этом мероприятии: Это была удивительная школа, где выступали авторы 8 популярных во всем мире языков программирования Андрей Александреску (C++, D), Роберто Ерусалимский (Lua), Ивар Якобсон (UML), Эрик Майер (C#, LINQ), Бертран Мейер (Eiffel), Мартин Одерски (Scala), Саймон Пейтон Джонс (Haskell), Гуидо ван Россум (Python).» Главной особенностью особенгностью стало как раз то, что о языках программирования рассказывали их авторы. Ивар Якобсон — один из создателей UML, придумавший понятие Use Case, — рассказал об инициитиве SEMAT — разработка базовой теории програмной инженерии».

В Петербурге прошла международная конференция по биоинформатике RECOMB-AB, в которой А.Н.Терехов принял участие с целью познакомиться с современным состоянием дел в этой науке.

А.Н.Терехов принял участие в летней школе Microsoft Research по параллельным вычислениям, которая прошла в отеле Marriott Pushkin. Он выступил с докладом «Аспиранты и инновации в программной инженерии».

Прошли защиты дипломов очередного выпуска кафедры системного программирования. Дипломы защитили 22 специалиста (5 лет обучения), 8 бакалавров (4 года обучения) и 9 магистров (первый выпуск, 6 лет обучения).

Конференция «Отказоустойчивые вычислительные комплексы» собрала участников из ведущих российских предприятий и научных институтов, занимающихся разработкой и вндрением сверхнадежных ЭВМ. А.Н. Терехов возглавил Программный комитет конференци и выступил с докладом «Опыт реализации и использования DSL на базе мета-технологии QReal».

Очередная конференция SYRCoSE прошла в г.Пермь. Эта конференция была придумана несколько лет назад Александром Петренко (ИСП РАН) и Андреем Тереховым ст. (СПбГУ) для тренировки аспирантов и студентов старших курсов и проводилась по очереди в Москве и Санкт-Петербурге. Рабочий язык конференции — английский. С течением времени конференция приобрела известность и расширила свою географию.

В Москве прошла 10-ая всероссийская конференция «Преподавание информационных технологий в Российской Федерации». А.Н.Терехов принял участие в работе Программного комитета конференции и в работе самой конференции.

Первые стипендии А.Н.Терехова за февраль и март вручены студентам третьего и четвертого курса.

На дне открытых дверей мат-меха А.Н.Терехов рассказал об отделении информатики факультета, подробно рассказал об истории программирования на нашем факультете и о программах обучения, которые активны сегодня. В зале присутствовало более ста человек — родителей чуть ли не больше, чем детей. Было очень холодно. По окончании мероприятия родители засыпали вопросами, на какую именно программу обучения поступать, чтобы попасть к Терехову.

А. Н. Терехов объявил о назначении четырёх стипендий для лучших студентов кафедры системного программирования. Стипендии составляют 7000 рублей в месяц и выплачиваются в течение пяти месяцев. Стипендиаты назначаются заново каждый семестр. При выборе стипендиатов кафедрой оцениваются прежде всего успехи в научно-исследовательской деятельности кандидатов (посещение семинаров кафедры, публикации, выступления на конференциях и т. д.). Первыми стипендиатами стали студенты третьего курса Дерипаска Анна, Кузенкова Анастасия и Одеров Роман, а также студент четвертого курса Поляков Владимир.