Goncharov, Sergey Savostyanovich

Sergey Savostyanovich Goncharov
Födelsedatum	24 september 1951( 1951-09-24 ) (71 år)
Födelseort	Novosibirsk , ryska SFSR , Sovjetunionen
Land	Sovjetunionen → Ryssland
Vetenskaplig sfär	teori om algoritmer
Arbetsplats	Sobolev Institute of Mathematics SB RAS
Alma mater	NSU
Akademisk examen	Doktor i fysikaliska och matematiska vetenskaper
Akademisk titel	professor (1985), akademiker vid Ryska vetenskapsakademin (2016)
vetenskaplig rådgivare	Yu. L. Ershov
Studenter	A. S. Morozov , Bahadir Khusainov
Utmärkelser och priser	A.I. Maltsev-priset (1997)

Sergey Savostyanovich Goncharov ( 24 september 1951 , Novosibirsk , USSR ) är en sovjetisk och rysk matematiker och organisatör av vetenskap, akademiker vid Ryska vetenskapsakademin (2016), professor , specialist inom området matematisk logik och beräkningsteori.

Biografi

Född 24 september 1951 i Novosibirsk .

1973 tog han examen med utmärkelser från fakulteten för mekanik och matematik vid Novosibirsk State University (NGU).

1974 försvarade han sin doktorsavhandling, ämne: "Konstruktiva booleska algebras".

1977 tilldelades han den akademiska titeln docent vid NSU .

1981 disputerade han på sin doktorsavhandling, ämne: "Non-autoequivalent constructivizations".

1985 tilldelades han den akademiska titeln professor vid NSU.

1991 - grundaren (elektor) av den ryska vetenskapsakademin .

1993 valdes han till motsvarande ledamot av Högskolans Vetenskapsakademi.

År 1995 valdes han till fullvärdig medlem av den internationella vetenskapsakademin vid den högre skolan .

1997 valdes han till korresponderande ledamot av den ryska vetenskapsakademin .

2002 valdes han till fullvärdig medlem av European Academy of Sciences.

2016 valdes han till fullvärdig medlem av Ryska vetenskapsakademin .

Arbete

Från 1973 till idag har han arbetat vid den sibiriska grenen av den ryska vetenskapsakademin , 1992 blev han chef för laboratoriet för Matematikinstitutet i den sibiriska grenen av den ryska vetenskapsakademin , sedan 2004 har han varit chef för institutionen för matematisk logik vid Institutet för matematik i den sibiriska grenen av den ryska vetenskapsakademin , från april 2011 till idag har han varit chef för Matematikinstitutet. S. L. Sobolev, den sibiriska grenen av den ryska vetenskapsakademin.

Från 1973 till 2003 - assistent, docent och sedan 1983 professor vid Institutionen för algebra och logik, Novosibirsk State University.

Från 1991 till 1998 - Biträdande direktör för Institutet för diskret matematik och informatik vid Ryska federationens utbildningsministerium.

Från 1992 till nutid - Institutionschef och professor vid institutionen för diskret matematik och informatik vid fakulteten för mekanik och matematik och NSUs specialiserade vetenskapscentrum .

Från februari 1996 till 2011 - Dekanus vid fakulteten för mekanik och matematik vid NSU.

Vetenskaplig verksamhet

Specialist inom området algoritmteori, modellteori, algebra och deras tillämpningar inom datavetenskap.

Från bibliografin

Författare till mer än hundra vetenskapliga artiklar, inklusive:

• läroböcker: "Föreläsningar i modellteori" och "Introduktion till vetenskapens logik och metodologi" (tillsammans med Yu. L. Ershov och K. F. Samokhvalov);
• monografier: "Countable Boolean algebras" (1988) och "Countable Boolean algebras and solvability" (1996, och på engelska - 1997), "Constructive models" (1999, tillsammans med Yu. L. Ershov) och "Handbook of recursive mathematics" (1999, redigerad av S. S. Goncharov, Yu. L. Ershov, A. Nerode, J. Remmel, V. Marek).
• Algebraiska och algoritmiska egenskaper hos logisk kalkyl: [på 2 timmar] / S. S. Goncharov, B. N. Drobotun, A. A. Nikitin  ; Inrättande av den ryska akademin. utbildning "In-t ped. forskning barns begåvning. — 2:a uppl., rättad. och ytterligare - Novosibirsk: Institutet för Ped. forskning barns begåvning, 2009. - 20 cm; ISBN 978-5-91650-016-5
• Grunder för didaktik för undervisning i logiska och algebraiska discipliner i högre utbildning: [monografi: på 2 timmar] / S. S. Goncharov, B. N. Drobotun, A. A. Nikitin; Inrättande av den ryska akademin. utbildning "In-t ped. forskning barns begåvning. - Novosibirsk: Institutet för Ped. forskning begåvade barn, 2011. - 20 cm; ISBN 978-5-91650-057-8

Deltog som plenarföreläsare i allryska och internationella konferenser.

Under hans ledning försvarades 31 kandidat- och 9 doktorsavhandlingar.

Sociala aktiviteter

2004 valdes han in i styrelsen för den internationella yrkesorganisationen "Association for Symbolic Logic".

Han var ordförande för det regionala rådet för vetenskaplig ungdom, var kandidatmedlem i Komsomols centralkommitté, medlem i olika akademiska råd.

Bedriver arbete med organisation och certifiering av vetenskaplig forskning som medlem av specialiserade råd, medlem av expertråden i Ryska federationens högre intygskommission och Ryska federationens utbildnings- och vetenskapsministerium om presidentbidrag från ledande vetenskapliga skolor , unga läkare och vetenskapskandidater.

Ledamot i redaktionen för Siberian Mathematical Journal, Siberian Advances in Mathematics, samlingarna "Computer Systems" och "Problems of Specialized Education".

Biträdande chefredaktör för tidskriften Algebra and Logic och en serie monografier "Siberian School of Algebra and Logic", chefredaktör för tidskriften "Bulletin of NSU, a series of mathematics, mechanics and informatics", etc. .

Vice ordförande i Sibiriska fonden för algebra och logik.

Medlem av presidiet för SB RAS.

Medlem av byrån för institutionen för matematiska vetenskaper vid Ryska vetenskapsakademin .

Familj

• Hustru: Goncharova Lyubov Nikolaevna - barnläkare.
• Dotter: Natalya (född 1971), tog examen från humanistiska fakulteten vid Novosibirsk State University och forskarstudier vid Institutet för etnografi och antropologi vid den ryska vetenskapsakademin, kandidat för historiska vetenskaper, gift, har fyra barn: Lisa, Alexei, Vasily och Markusha. Hennes man är utexaminerad från GGF NSU Khlestov Ivan Valerievich.
• Dotter: Anna (född 1978), tog examen från fakulteten för ekonomi och psykologi vid Novosibirsk State University, gift, har en son, Timofey. Hennes man är utexaminerad från fakulteten för ekonomi NSU Anashin Sergey Vadimovich.

Utmärkelser

• Lenin Komsomol-priset i vetenskap och teknik för en serie arbeten om konstruktiva booleska algebror (1976)
• Silvermärke för seminariet om algebra och logik för vetenskapligt aktivt arbete (1982)
• Pris av SB RAS för skapandet av teorin om semantisk programmering tillsammans med akademiker Yu. L. Ershov och Dr. Sci . D. I. Sviridenko (1983)
• A. I. Maltsev RAS-pris (1997) - för monografin "Räknebara booleska algebror och lösbarhet"
• Order of Friendship (2003)
• " Hedrad arbetare vid Ryska federationens högre skola " (2008)
• Hedersdiplom av guvernören i Novosibirsk-regionen V. A. Tolokonsky , för ett betydande bidrag till utvecklingen av det vetenskapliga och utbildningskomplexet i Novosibirsk-regionen, utbildning av högt kvalificerade specialister för prioriterade områden inom vetenskap och ekonomi, många år av fruktbar vetenskaplig verksamhet och i samband med 50-årsdagen av grundandet av universitetet (2009)
• Pristagare av det statliga priset i Novosibirsk-regionen inom området vetenskap och utbildning. (För bidrag till utvecklingen av teorin om konstruktiva modeller och skapandet av vetenskapliga skolor, för en serie verk.) (2010)
• Ryska federationens regerings pris inom utbildningsområdet (2010)
• Hedersorden för ett stort bidrag till vetenskapens utveckling och många års samvetsgranna arbete (2021) [1]

Anteckningar

1. ↑ Direktör för Matematikinstitutet i den sibiriska grenen av den ryska vetenskapsakademin Akademiker Sergey Goncharov tilldelades hedersorden: Ryska federationens president undertecknade ett dekret om tilldelning av statliga utmärkelser . News of Siberian Science (17 mars 2021). Tillträdesdatum: 17 maj 2021. (obestämd)

Länkar

• Goncharov, Sergey Savostyanovich på den officiella webbplatsen för den ryska vetenskapsakademin
• Goncharov Sergey Savostyanovich (NSU fakulteten för mekanik och matematik) (otillgänglig länk) . mmf.nsu.ru. Hämtad 21 mars 2016. Arkiverad från originalet 5 juni 2016. (obestämd) 
• Institutionen för matematik. S. L. Sobolev SB RAS - Goncharov Sergey Savostyanovich . math.nsc.ru. Hämtad 21 mars 2016. Arkiverad från originalet 28 mars 2016. (obestämd)
• Sergei S. Goncharov (otillgänglig länk) . mmfd.nsu.ru. Hämtad 21 mars 2016. Arkiverad från originalet 30 oktober 2016. (obestämd) 
• Personer: Goncharov Sergei Savostyanovich . mathnet.ru. Hämtad 21 mars 2016. Arkiverad från originalet 8 september 2016. (obestämd)

Tematiska platser	Matematisk släktforskning ORCID zbMATH Öppna Helrysk matematisk portal
I bibliografiska kataloger	SUDOC : 111081696