Терехов, Андрей Николаевич

Материал из wikizerkalo.co
Перейти к навигации Перейти к поиску

Шаблон:Персона

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

Биография

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

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

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

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

В 1998 году основал и возглавил ЗАО «Ланит-Терком».

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

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

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

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

В 2007 году вышли переведенные на русский язык рекомендации ACM и IEEE по преподаванию программной инженерии и информатики в университетахРекомендации по преподаванию программной инженерии и информатики в университетах (Software Engineering 2004: Curriculum Guidelines for Undergraduate. Degree Programs in Software Engineering; Computing Curricula 2001) / Перевод с англ. под ред. В. Л. Павлова, А. А. Терехова, А. Н. Терехова. — М.: ИНТУИТ.РУ, 2007. — 472 с.. А. Н. Терехов внес значительный вклад в перевод и подготовку этого издания. Впоследствии под руководством А. Н. Терехова в СПбГУ была реализована программа подготовки бакалавров по программной инженерииА. А. Терехов, А. Н. Терехов. Computing Curricula: Software Engineering и российское образование. Открытые системы. СУБД. 2006. № 08, полностью соответствующая этим рекомендациям. Также был разработан ряд последующих программ бакалавриата и магистратуры.

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

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

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

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

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

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

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

Награды

В 2002 году награждён Министерством образования Российской Федерации медалью «Почетный работник высшего профессионального образования».

В 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.

Ссылки