Terekhov, Andrei Nikolaevici

Andrei Terekhov
Data nașterii 3 septembrie 1949( 03.09.1949 ) (în vârstă de 73 de ani)
Țară
Ocupaţie informatician , antreprenor
Premii și premii
Medalia RUS a Ordinului pentru Meritul Patriei ribbon.svg clasa a II-a
ENG Lucrător de onoare al Învățământului Profesional Superior 2004 ribbon.svg
 Fișiere media la Wikimedia Commons

Andrei Nikolaevici Terekhov (n. 3 septembrie 1949 ) este doctor în științe fizice și matematice, profesor, șef al departamentului de programare a sistemelor de la Universitatea de Stat din Sankt Petersburg.

Biografie

În 1971 a absolvit cu onoare Facultatea de Matematică și Mecanică a Universității de Stat din Leningrad cu o diplomă în software de calculator, a plecat să lucreze pentru distribuție la centrul de calcul al Universității de Stat NIIMM Leningrad .

În 1977, a devenit șeful Laboratorului de programare a sistemelor de la Centrul de calcul al Universității de Stat NIIMM Leningrad.

În 1978 și-a susținut disertația „Metode pentru sintetizarea unui program de lucru eficient” pentru gradul de candidat la științe fizice și matematice sub îndrumarea lui G. S. Tseitin la Centrul de calcul al Academiei de Științe a URSS din Moscova [1] .

În 1991 și-a susținut teza „Tehnologia de programare pentru sisteme în timp real încorporate” pentru gradul de doctor în științe fizice și matematice la Centrul de calcul al filialei siberiei a Academiei de Științe a URSS din Novosibirsk [2] .

În 1991, a creat și a condus MGP „Terkom” (mai târziu - Întreprinderea Unitară de Stat „Terkom”) .

În 1996, a organizat și a condus Departamentul de Programare a Sistemelor de la Universitatea de Stat din Sankt Petersburg.

În 1998 a fondat și a condus ZAO Lanit-Terkom .

În 2002, a fost numit director al noului Institut de Cercetare pentru Tehnologii Informaționale al Universității de Stat din Sankt Petersburg. .

În septembrie 2004, a participat la crearea și a fost ales președinte al consiliului de administrație al asociației de dezvoltatori de software Russoft , creată pe baza consorțiului Fort-Ross și a asociației ARPO (în prezent membru al consiliului de administrație) .

Din 2005 până în 2013, a fost redactor-șef al anuarului „Programarea sistemului” [3] , publicat la Departamentul de Programare a Sistemelor împreună cu D. Yu. Bulychev și D. V. Koznov. Anuarul a publicat rezultatele tinerilor cercetători din domeniul IT, precum și reprezentanți ai industriei de dezvoltare software .

În 2006, a fost publicată cartea lui A. N. Terekhov „Tehnologia de programare” [4] . Cartea sa dovedit populară și a trebuit să fie retipărită în anul următor. A încetat să mai fie publicată din cauza numărului tot mai mare de reviste științifice în limba rusă în domeniul IT.

În 2007, au fost publicate recomandările ACM și IEEE privind predarea ingineriei software și a informaticii la universități traduse în limba rusă [5] . A. N. Terekhov a adus o contribuție semnificativă la traducerea și pregătirea acestei ediții. Ulterior, sub conducerea lui A. N. Terekhov, la Universitatea de Stat din Sankt Petersburg a fost implementat un program de licență în inginerie software [6] , care a respectat pe deplin aceste recomandări. Au fost dezvoltate, de asemenea, o serie de programe ulterioare de licență și studii superioare.

În 2011 a fondat Centrul de Cercetare pentru Tehnologii Informaționale al Universității de Stat din Sankt Petersburg .

Activitate științifică

În anii 1970, activitatea științifică a lui A. N. Terekhov a fost asociată în principal cu dezvoltarea de noi metode de compilare a limbajelor de programare. Rezultatul aplicat al acestor studii a fost implementarea de traducători și traducători încrucișați de limbi cu control de tip static ( Algol 68 , Ada, Pascal, Oberon etc.) pentru o serie de platforme diferite. În special, în cadrul acestor lucrări, o echipă de dezvoltatori de la Universitatea de Stat din Leningrad sub conducerea lui A. N. Terekhov a implementat traducătorul Algol 68 , unul dintre cele mai complexe limbaje de programare care existau la acea vreme, pentru cele mai populare platforma acelor ani, computerul ES . Ulterior, acest traducător a fost portat pe o serie de alte platforme, inclusiv pe IBM PC .

În anii 1980, A. N. Terekhov a început să lucreze la proiecte industriale în domeniul telecomunicațiilor. În acest sens, interesele sale științifice au inclus problemele tehnologiei de programare și implementarea sistemelor în timp real, inclusiv a sistemelor încorporate.

De la mijlocul anilor 1990, A. N. Terekhov a făcut cercetări în domeniul reinginerii software , precum și predarea tehnologiei informației și a ingineriei software.

Sub îndrumarea lui A. N. Terekhov, au fost susținute 18 teze de candidat și o teză de doctorat.

În prezent, A. N. Terekhov continuă să conducă compania Lanit-Tercom și Departamentul de Programare a Sistemelor al Universității de Stat din Sankt Petersburg [7] , dezvoltă în mod activ noi cursuri educaționale, în special, cursuri video despre istoria și arhitectura computerelor [8] [ 9] . De asemenea, sub conducerea sa, se creează un sistem de programare bazat pe un dialect al limbajului C care este protejat de erorile utilizatorului . Sistemul a fost implementat în proiecte de sisteme încorporate și sisteme cu dublă utilizare care au cerințe crescute pentru fiabilitatea software-ului. În plus, A. N. Terekhov participă la start-up-uri intensive în știință în următoarele domenii: viziune computerizată, dezvoltare de aplicații mobile, tehnologii flexibile de dezvoltare a cristalului.

Premii

În 2005, prin decret al președintelui Federației Ruse, A. N. Terekhov a primit medalia Ordinului Meritul pentru Patrie, gradul II, pentru meritele sale în activități științifice și pedagogice și pentru marea sa contribuție la formarea specialiștilor de înaltă calificare. [10] .

Note

  1. ↑ Terekhov A. N. Metode pentru sintetizarea unui program de lucru eficient Copie de arhivă din 27 decembrie 2017 la Wayback Machine . Disertație pentru gradul de candidat în științe fizice și matematice. Leningrad, 1976
  2. ↑ Terekhov A. N. Tehnologie de programare pentru sisteme încorporate în timp real Copie de arhivă din 27 decembrie 2017 la Wayback Machine . Teză pentru gradul de doctor în științe fizice și matematice. Sankt Petersburg, 1991
  3. ↑ Programarea sistemului . Periodic științific . Editura Universității de Stat din Sankt Petersburg. Consultat la 14 octombrie 2019. Arhivat din original la 14 octombrie 2019.
  4. ↑ Terekhov A.N. Tehnologia de programare (manual) . - BINOM. Knowledge Laboratory Internet University of Information Technologies, 2006. - 148 p. - ISBN 978-5-9556-0104-5 . - ISBN 978-5-9477-4441-4 . Arhivat pe 14 octombrie 2019 la Wayback Machine
  5. ↑ Linii directoare pentru predarea ingineriei software și a informaticii la universități Arhivat 13 iulie 2020 la Wayback Machine ed. V. L. Pavlova, A. A. Terekhova, A. N. Terekhova. — M.: INTUIT.RU, 2007. — 472 p.
  6. ↑ A. A. Terekhov, A. N. Terekhov. Curricula de calcul: Inginerie software și educație rusă Arhivată 12 octombrie 2019 la Wayback Machine . sisteme deschise. SGBD. 2006. Nr. 08
  7. ↑ Acasă. Universitatea de Stat din Sankt Petersburg. Terekhov A.N. . www.math.spbu.ru _ Preluat la 20 august 2020. Arhivat din original la 25 noiembrie 2020.
  8. ↑ Curs video „Istoria calculatoarelor și a programării” Copie de arhivă din 12 octombrie 2019 pe Wayback Machine , platforma Lectorium
  9. ↑ Curs video „Arhitectura computerului” Arhivat 12 octombrie 2019 pe Wayback Machine , platforma Coursera
  10. ↑ Decretul Președintelui Federației Ruse din 22 ianuarie 2005 Nr. 64 . Președintele Federației Ruse . Preluat la 20 august 2020. Arhivat din original la 4 decembrie 2020.

Publicații majore

  1. Terekhov A. N., Kiselev M. M. Designer robotic TRIK la lecțiile „Tehnologie” la școală // Tehnologii informaționale moderne și educație IT. 2015. V. 11. Nr 1. S. 296-301.
  2. Terekhov A. Tehnologia bună face sarcina dificilă ușoară // În proc. 2013 9th Joint Meeting a European Software Engineering Conference și ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings 2013. P. 683-686.
  3. Terekhov A. N., Bryksin T. A., Litvinov Yu. V. QReal: o platformă pentru modelarea vizuală specifică domeniului // Inginerie software. 2013. Nr 6. S. 11-19.
  4. Terekhov A. N., Onosovsky V. V. Platformă pentru dezvoltarea aplicațiilor mobile Ubiq Mobile // Buletinul Universității de Stat din Novosibirsk. Seria: Tehnologii informaţionale. 2011. V. 9. Nr. 4. S. 60-70.
  5. Terekhov A.N. Tehnologia de programare. Uh. indemnizație pentru specialitatea „Suport matematic și administrarea sistemelor informaționale” - 010503 / A. N. Terekhov. M., 2006. Seria „Tehnologii informaţionale de la persoana întâi”.
  6. Terekhov A. A., Terekhov A. N. Curricula de calcul: Inginerie software și educație rusă // Sisteme deschise. SGBD. 2006. Nr 8. S. 61-66.
  7. Wadhwa V., Erlikh L., Oara IM, Terekhov AN, Bulyonkov M. Metoda și sistemul de extragere a regulilor de afaceri din aplicații existente pentru integrarea în aplicații noi. Brevetul SUA 6.389.588, 2002.
  8. Terekhov AN, Romanovskii K.Yu., Koznov DV, Dolgov PS, Ivanov AN RTST++: Metodologie și un instrument de caz pentru dezvoltarea de sisteme informatice și software pentru sisteme în timp real // Programare și software de calculator. 1999. V. 25. Nr. 5. P. 276-281.
  9. Terekhov A.N., Terekhov A.A. Aplicații de portare și problema anului 2000 // ComputerPress. 1998. Nr 8. S. 92.
  10. Parfenov VV, Terekhov AN RTST-Tehnologie de programare pentru sisteme în timp real încorporate // Informatică de sistem. 1997. Nr 5. S. 228.
  11. Terekhov A. N., Tiskin A. V. Criptografia cu chei publice: de la teorie la standard // Programare. 1994. V. 20. Nr. 5. S. 17-22.
  12. Kozhokar S. K., Evstyunin M. V., Terekhov A. N., Ufnarovsky V. A. Cum ajung Pascal și Oberon la Samson sau arta de a crea traducători. Chișinău, 1992.
  13. Matiyasevich Yu. V., Terekhov A. N., Fedotov B. A. Unificarea software-ului de microcalculator bazat pe o mașină virtuală // Automatizare și telemecanică. 1990. Nr 5. S. 168.
  14. Terekhov A. N., Tseitin G. S. Mijloace de sinteză eficientă a unui program obiect // Programare. 1975. Nr 6. S. 38-48.

Link -uri