Андрей Николаевич Терехов (род. 3 сентября 1949 ) — доктор физико-математических наук, профессор, заведующий кафедрой системного программирования Санкт-Петербургского государственного университета.

Биография

В 1971 году с отличием окончил математико-механический факультет Ленинградского Государственного Университета по специальности «математическое обеспечение ЭВМ», поступил на работу по распределению в вычислительный центр НИИММ ЛГУ , .

В 1977 году стал руководителем лабораторией системного программирования вычислительного центра НИИММ ЛГУ.

В 1978 году защитил диссертацию «Методы синтеза эффективной рабочей программы» на соискание учёной степени кандидата физико-математических наук под руководством Г. С. Цейтина в Вычислительном центре АН СССР в Москве .

В 1991 году защитил диссертацию «Технология программирования встроенных систем реального времени» на соискание учёной степени доктора физико-математических наук в Вычислительном центре СО АН СССР в Новосибирске .

В 1991 году создал и возглавил МГП «Терком» (позднее — ГУП «Терком») .

В 1996 году организовал и возглавил кафедру системного программирования Санкт-Петербургского государственного университета.

В 1998 году основал и возглавил ЗАО «Ланит-Терком» ^{[ источник не указан 632 дня ]} .

В 2002 году был назначен директором вновь созданного НИИ информационных технологий СПбГУ ^{[ источник не указан 632 дня ]} .

В сентябре 2004 года участвовал в создании и был избран председателем правления ассоциации разработчиков программного обеспечения « Руссофт », созданной на базе консорциума «Форт-Росс» и ассоциации «АРПО» (в настоящее время — член совета правления) ^{[ источник не указан 632 дня ]} .

С 2005 по 2013 год был главным редактором ежегодника «Системное программирование» , выпускавшимся на кафедре системного программирования совместно с Д. Ю. Булычёвым и Д. В. Козновым. Ежегодник публиковал результаты молодых исследователей в ИТ-сфере, а также представителей индустрии разработки ПО ^{[ источник не указан 632 дня ]} .

В 2006 году вышла в свет книга А. Н. Терехова «Технология программирования» . Книга оказалась популярной, и на следующий год пришлось выпустить её дополнительный тираж. Перестала издаваться в виду возрастающего количества русскоязычных научных журналов в ИТ-сфере.

В 2007 году вышли переведённые на русский язык рекомендации ACM и IEEE по преподаванию программной инженерии и информатики в университетах . А. Н. Терехов внёс значительный вклад в перевод и подготовку этого издания. Впоследствии под руководством А. Н. Терехова в СПбГУ была реализована программа подготовки бакалавров по программной инженерии , полностью соответствующая этим рекомендациям. Также был разработан ряд последующих программ бакалавриата и магистратуры.

В 2011 году основал Научно-исследовательский центр Информационных Технологий СПбГУ ^{[ источник не указан 632 дня ]} .

Научная деятельность

В разделе не хватает ссылок на источники (см. рекомендации по поиску ). Информация должна быть проверяема , иначе она может быть удалена. Вы можете статью, добавив ссылки на авторитетные источники в виде сносок . ( 4 мая 2022 )

В 1970-х годах научная деятельность А. Н. Терехова была в основном связана с разработкой новых методов компиляции языков программирования. Прикладным результатом этих исследований стала реализация трансляторов и кросс-трансляторов языков со статическим контролем типов ( Алгол 68 , Ада, Паскаль, Оберон и т. п.) для целого ряда различных платформ. В частности, в рамках этих работ коллективом разработчиков ЛГУ под руководством А. Н. Терехова был реализован транслятор Алгола 68 , одного из наиболее сложных языков программирования, существовавших на тот момент, для наиболее массовой платформы тех лет, ЕС ЭВМ . Впоследствии этот транслятор был перенесён на ряд других платформ, в том числе, IBM PC .

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

Начиная с середины 1990-х годов, А. Н. Терехов занимается исследованиями в области реинжиниринга программного обеспечения , а также вопросами преподавания информационных технологий и программной инженерии.

Под руководством А. Н. Терехова защищено 18 кандидатских диссертаций и одна докторская диссертация.

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

Награды

В 2005 году указом Президента Российской Федерации А. Н. Терехов награждён медалью ордена «За заслуги перед Отечеством» II степени за заслуги в научной и педагогической деятельности и большой вклад в подготовку высококвалифицированных специалистов .

Примечания

Основные публикации

1. Терехов А. Н., Киселёв М. М. Робототехнический конструктор ТРИК на уроках «Технология» в школе // Современные информационные технологии и ИТ-образование. 2015. Т. 11. № 1. С. 296—301.
2. Terekhov A . Good Technology Makes The Difficult Task Easy // In proc. 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 — Proceedings 2013. P. 683—686.
3. Терехов А. Н., Брыксин Т. А., Литвинов Ю. В. QReal: платформа визуального предметно-ориентированного моделирования // Программная инженерия. 2013. № 6. С. 11—19.
4. Терехов А. Н., Оносовский В. В. Платформа для разработки мобильных приложений Ubiq Mobile // Вестник Новосибирского государственного университета. Серия: Информационные технологии. 2011. Т. 9. № 4. С. 60—70.
5. Терехов А. Н. Технология программирования. Уч. пособие по специальности «Математическое обеспечение и администрирование информационных систем» — 010503 / А. Н. Терехов. М., 2006. Серия «Информационные технологии от первого лица».
6. Терехов А. А., Терехов А. Н. Computing Curricula: Software Engineering и российское образование // Открытые системы. СУБД. 2006. № 8. С. 61—66.
7. Wadhwa V., Erlikh L., Oara I.M., Terekhov A.N., Bulyonkov M. Method and system of business rule extraction from existing applications for integration into new applications. US Patent 6,389,588, 2002.
8. Terekhov A.N., Romanovskii K.Yu., Koznov D.V., Dolgov P.S., Ivanov A.N. RTST++: Methodology and a Case Tool for the Development of Information Systems and Software for real-time systems // Programming and Computer Software. 1999. V. 25. № 5. P. 276—281.
9. Терехов А. Н., Терехов А. А. Перенос приложений и проблема 2000 года // КомпьютерПресс. 1998. № 8. С. 92.
10. Парфёнов В. В., Терехов А. Н. RTST-Технология программирования встроенных систем реального времени // Системная информатика. 1997. № 5. С. 228.
11. Терехов А. Н., Тискин А. В. Криптография с открытым ключом: от теории к стандарту // Программирование. 1994. Т. 20. № 5. С. 17—22.
12. Кожокарь С. К., Евстюнин М. В., Терехов А. Н., Уфнаровский В. А. Как Паскаль и Оберон попадают на «Самсон» или искусство создания трансляторов. Кишинёв, 1992.
13. Матиясевич Ю. В., Терехов А. Н., Федотов Б. А. Унификация программного обеспечения микроЭВМ на базе виртуальной машины // Автоматика и телемеханика. 1990. № 5. С. 168.
14. Терехов А. Н., Цейтин Г. С. Средства эффективного синтеза объектной программы // Программирование. 1975. № 6. С. 38—48.

Ссылки

• на математическом портале Math-Net.Ru

В статье не хватает ссылок на источники (см. рекомендации по поиску ). Информация должна быть проверяема , иначе она может быть удалена. Вы можете статью, добавив ссылки на авторитетные источники в виде сносок . ( 9 января 2016 )