Terekhov, Andrey Nikolaevich

Andrey Terekhov
Födelsedatum 3 september 1949( 1949-09-03 ) (73 år)
Land
Ockupation datavetare , entreprenör
Utmärkelser och priser
RUS Ordensmedalj för förtjänst till fäderneslandet 2:a klass ribbon.svg
SWE Honorary Worker of Higher Professional Education 2004 ribbon.svg
 Mediafiler på Wikimedia Commons

Andrey Nikolaevich Terekhov (f. 3 september 1949 ) är doktor i fysikaliska och matematiska vetenskaper, professor, chef för institutionen för systemprogrammering vid St. Petersburg State University.

Biografi

År 1971 tog han examen med utmärkelser från fakulteten för matematik och mekanik vid Leningrad State University med en examen i datorprogramvara, gick till arbete för distribution vid datorcentret vid NIIMM Leningrad State University .

1977 blev han chef för laboratoriet för systemprogrammering vid Computing Center vid NIIMM Leningrad State University.

1978 disputerade han på sin avhandling "Metoder för att syntetisera ett effektivt arbetsprogram" för graden av kandidat för fysikaliska och matematiska vetenskaper under ledning av G. S. Tseitin vid Computing Center vid USSR Academy of Sciences i Moskva [1] .

År 1991 försvarade han sin avhandling "Programmeringsteknik för inbyggda realtidssystem" för doktorsgraden i fysikaliska och matematiska vetenskaper vid Computing Center för den sibiriska grenen av USSR Academy of Sciences i Novosibirsk [2] .

1991 skapade och ledde han MGP "Terkom" (senare - State Unitary Enterprise "Terkom") .

1996 organiserade och ledde han institutionen för systemprogrammering vid St. Petersburg State University.

1998 grundade och ledde han ZAO Lanit-Terkom .

2002 utsågs han till chef för det nyskapade forskningsinstitutet för informationsteknologi vid St. Petersburg State University .

I september 2004 deltog han i skapandet och valdes till styrelseordförande för Russoft Software developers Association , skapad på basis av Fort-Ross-konsortiet och ARPO-föreningen (för närvarande medlem av styrelsen) .

Från 2005 till 2013 var han chefredaktör för årsboken "Systemprogrammering" [3] , utgiven vid Institutionen för systemprogrammering tillsammans med D. Yu. Bulychev och D. V. Koznov. Årsboken publicerade resultat från unga forskare inom IT-området, samt representanter för mjukvaruutvecklingsbranschen .

2006 publicerades A. N. Terekhovs bok "Programmeringsteknik" [4] . Boken visade sig populär och fick tryckas om året därpå. Upphörde att publiceras med tanke på det växande antalet ryskspråkiga vetenskapliga tidskrifter inom IT-området.

År 2007 publicerades rekommendationer från ACM och IEEE om undervisning i programvaruteknik och datavetenskap vid universitet översatta till ryska [5] . A. N. Terekhov gjorde ett betydande bidrag till översättningen och förberedelsen av denna utgåva. Därefter, under ledning av A. N. Terekhov, implementerades ett kandidatprogram i mjukvaruteknik [6] vid St. Petersburg State University , som helt uppfyllde dessa rekommendationer. Ett antal efterföljande grund- och forskarutbildningsprogram har också utvecklats.

2011 grundade han forskningscentret för informationsteknologi vid St. Petersburg State University .

Vetenskaplig verksamhet

På 1970-talet var A. N. Terekhovs vetenskapliga verksamhet främst förknippad med utvecklingen av nya metoder för att kompilera programmeringsspråk. Det tillämpade resultatet av dessa studier var implementeringen av översättare och korsöversättare av språk med statisk typkontroll ( Algol 68 , Ada, Pascal, Oberon, etc.) för ett antal olika plattformar. I synnerhet inom ramen för dessa arbeten implementerade ett team av utvecklare vid Leningrad State University under ledning av A. N. Terekhov översättaren av Algol 68 , ett av de mest komplexa programmeringsspråken som fanns vid den tiden, för de mest populära plattformen för dessa år, ES-datorn . Därefter portades denna översättare till ett antal andra plattformar, inklusive IBM PC .

På 1980-talet började A. N. Terekhov arbeta med industriella projekt inom telekommunikationsområdet. I detta avseende inkluderade hans vetenskapliga intressen frågor om programmeringsteknik och implementering av realtidssystem, inklusive inbyggda system.

Sedan mitten av 1990-talet har A. N. Terekhov forskat inom området mjukvaruutveckling , samt undervisat i informationsteknik och mjukvaruteknik.

Under ledning av A. N. Terekhov försvarades 18 kandidatavhandlingar och en doktorsavhandling.

För närvarande fortsätter A. N. Terekhov att leda Lanit-Tercom-företaget och institutionen för systemprogrammering vid St. Petersburg State University [7] , utvecklar aktivt nya utbildningskurser, i synnerhet videokurser om datorers historia och arkitektur [8] [ 9] . Under hans ledning skapas också ett programmeringssystem baserat på en dialekt av C-språket som är skyddad från användarfel . Systemet har implementerats i projekt av inbyggda system och system med dubbla användningsområden som har ökat krav på programvarans tillförlitlighet. Dessutom deltar A. N. Terekhov i vetenskapsintensiva start-ups inom följande områden: datorseende, mobilapplikationsutveckling, flexibla kristallutvecklingsteknologier.

Utmärkelser

År 2005, genom dekret av Rysslands president, tilldelades A. N. Terekhov medaljen av Order of Merit for the Fatherland, II grad, för sina meriter inom vetenskaplig och pedagogisk verksamhet och hans stora bidrag till utbildningen av högt kvalificerade specialister [10] .

Anteckningar

  1. ↑ Terekhov A. N. Metoder för att syntetisera ett effektivt arbetsprogram Arkivexemplar av 27 december 2017 på Wayback Machine . Avhandling för kandidatexamen i fysikaliska och matematiska vetenskaper. Leningrad, 1976
  2. ↑ Terekhov A. N. Programmeringsteknik för inbäddade system i realtid Arkivkopia daterad 27 december 2017 på Wayback Machine . Avhandling för doktorsexamen i fysikaliska och matematiska vetenskaper. St Petersburg, 1991
  3. ↑ Systemprogrammering . Vetenskaplig tidskrift . Förlag av St. Petersburg State University. Hämtad 14 oktober 2019. Arkiverad från originalet 14 oktober 2019.
  4. ↑ Terekhov A.N. Programmeringsteknik (lärobok) . — BINOM. Knowledge Laboratory Internet University of Information Technologies, 2006. - 148 sid. - ISBN 978-5-9556-0104-5 . - ISBN 978-5-9477-4441-4 . Arkiverad 14 oktober 2019 på Wayback Machine
  5. ↑ Riktlinjer för undervisning i mjukvaruteknik och datavetenskap vid universitet Arkiverad 13 juli 2020 på Wayback Machine ed. V. L. Pavlova, A. A. Terekhova, A. N. Terekhova. — M.: INTUIT.RU, 2007. — 472 sid.
  6. ↑ A. A. Terekhov, A. N. Terekhov. Läroplaner för datoranvändning: Programvaruteknik och rysk utbildning Arkiverad 12 oktober 2019 på Wayback Machine . öppna system. DBMS. 2006. Nr 08
  7. ↑ Hem. St Petersburg State University. Terekhov A.N. . www.math.spbu.ru _ Hämtad 20 augusti 2020. Arkiverad från originalet 25 november 2020.
  8. ↑ Videokurs "History of computers and programmering" Arkivexemplar av 12 oktober 2019 på Wayback Machine , Lectorium- plattformen
  9. ↑ Videokurs "Computer Architecture" Arkiverad 12 oktober 2019 på Wayback Machine , Coursera- plattformen
  10. ↑ Dekret från Ryska federationens president av den 22 januari 2005 nr 64 . Ryska federationens president . Hämtad 20 augusti 2020. Arkiverad från originalet 4 december 2020.

Stora publikationer

  1. Terekhov A. N., Kiselev M. M. Robotdesigner TRIK på lektionerna "Teknik" i skolan // Modern informationsteknologi och IT-utbildning. 2015. V. 11. Nr 1. S. 296-301.
  2. Terekhov A. Bra teknik gör den svåra uppgiften lätt // In proc. 2013:s nionde gemensamma möte för European Software Engineering Conference och 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: en plattform för visuell domänspecifik modellering // Software Engineering. 2013. Nr 6. S. 11-19.
  4. Terekhov A. N., Onosovsky V. V. Plattform för utveckling av mobila applikationer Ubiq Mobile // Bulletin från Novosibirsk State University. Serie: Informationsteknik. 2011. V. 9. Nr 4. S. 60-70.
  5. Terekhov A.N. Programmeringsteknik. Usch. ersättning för specialiteten "Matematiskt stöd och administration av informationssystem" - 010503 / A. N. Terekhov. M., 2006. Serien "Informationsteknik från första person".
  6. Terekhov A. A., Terekhov A. N. Computing Curriculas: Software Engineering and Russian Education // Öppna system. DBMS. 2006. Nr 8. S. 61-66.
  7. Wadhwa V., Erlikh L., Oara IM, Terekhov AN, Bulyonkov M. Metod och system för affärsregelextraktion från befintliga applikationer för integration i nya applikationer. US-patent 6 389 588, 2002.
  8. Terekhov AN, Romanovskii K.Yu., Koznov DV, Dolgov PS, Ivanov AN RTST++: Methodology and a Case Tool for the Development of Information Systems and Software for realtime systems // Programmering och datorprogramvara. 1999. V. 25. Nr 5. P. 276-281.
  9. Terekhov A.N., Terekhov A.A. Porting Applications and the Year 2000 Problem // ComputerPress. 1998. Nr 8. S. 92.
  10. Parfenov VV, Terekhov AN RTST-programmeringsteknik för inbyggda realtidssystem // Systeminformatik. 1997. Nr 5. S. 228.
  11. Terekhov A. N., Tiskin A. V. Offentlig nyckelkryptering: från teori till standard // Programmering. 1994. V. 20. Nr 5. S. 17-22.
  12. Kozhokar S. K., Evstyunin M. V., Terekhov A. N., Ufnarovsky V. A. Hur Pascal och Oberon kommer till Samson eller konsten att skapa översättare. Chisinau, 1992.
  13. Matiyasevich Yu. V., Terekhov A. N., Fedotov B. A. Enhet av mikrodatorprogramvara baserad på en virtuell maskin // Automation och telemekanik. 1990. Nr 5. S. 168.
  14. Terekhov A. N., Tseitin G. S. Medel för effektiv syntes av ett objektprogram // Programmering. 1975. Nr 6. S. 38-48.

Länkar