Anatol Slissenko

"Slissenko" omdirigerar här. För andra personer, se Slissenko (efternamn) .

Anatol Slissenko (Slisenko) (ryska: Анатолий Олесьевич Слисенко)
Född	( 1941-08-15 ) 15 augusti 1941 USSR
Nationalitet	ryska , franska
Alma mater	Saint Petersburg State University
Vetenskaplig karriär
Fält	Datavetenskap matematik
institutioner	Steklov Mathematical Institute Saint Petersburg State University Leningrad Institute for Informatics and Automation vid USSR Academy of Sciences Paris-Est Créteil Val-de-Marne University Leningrad Polytechnical Institute
Doktorand rådgivare	Nikolai Aleksandrovich Shanin
Doktorander	Dmitrij Grigoriev

Anatol Slissenko ( ryska : Анатолий Олесьевич Слисенко ) (född 15 augusti 1941) är en sovjetisk, rysk och fransk matematiker och datavetare. Bland hans forskningsintressen hittar man automatisk satsbevisande , rekursiv analys, beräkningskomplexitet , algoritmik, grafgrammatik, verifiering, datoralgebra , entropi och probabilistiska modeller relaterade till datavetenskap.

Tidiga år

Anatol Slissenko föddes i Sibirien , där hans far tjänstgjorde som chef för ett regemente av militär topografi. Han tog examen från Leningrad State University , fakulteten för matematik och mekanik 1963 (honors examen).

Akademisk karriär

Han tog sin doktorsexamen (vetenskapskandidat, hans rådgivare var Nikolai Aleksandrovich Shanin ) 1967 från Leningrad-avdelningen vid Steklov Institute of Mathematics , och sin doktor i naturvetenskap (högre doktorsexamen) 1981 från Steklov Institute of Mathematics i Moskva .

Under 1963–1981 var han vid Leningrad-avdelningen vid Steklov-institutet för matematik vid USSR Academy of Sciences ( LOMI ). Från 1967 till 1992 ledde han Leningrad-seminariet om beräkningskomplexitet som spelade en viktig roll i utvecklingen av detta område i Sovjetunionen.

Under 1981–1993 var han chef för Laboratory of Theory of Algorithms vid Leningrad Institute for Informatics and Automation vid USSR Academy of Sciences. Från 1993 till 2009 var han professor vid universitetet Paris-Est Créteil, Frankrike, och sedan 2009 är han fortfarande professor emeritus vid detta universitet. Han hade också varit chef (och på sätt och vis en grundare) av Laboratory for Algorithmics Complexity and Logic från 1997 till 2007.

1981–1987 var han deltidsprofessor vid Leningrad Polytechnical Institute , och under 1988–1992 var han professor och chef för institutionen för datavetenskap vid Leningrad State University , fakulteten för matematik och mekanik, vars skapande han initierade ( avdelningens team var världsmästare i ACM International Collegiate Programming Contest fyra gånger). Många matematiker (bland dem Yuri Matiyasevich , Dima Grigoriev , E.Hirsch) började sin forskning i sina seminarier för studenter.

Slissenko var inbjuden som talare vid många konferenser, särskilt vid International Congress of Mathematicians 1983, i Warszawa , Polen .

Forskning

Bland hans resultat kan man nämna en sex-huvud en-bands Turing-maskin som känner igen palindromer i realtid, en algoritm (för en sorts pekmaskin) som i realtid löser ett stort antal strängmatchningsproblem (inklusive att hitta av alla periodiciteter i en kompakt form), Slissenko-grafgrammatik (som beskriver klasser av NP-hårda problem som kan lösas i polytime), avgörbara klasser av verifiering av hårda realtidskontroller, algoritmer för att konstruera kortaste vägar bland semi-algebraiska hinder, och entropiliknande koncept för analys av algoritmer och inferenssystem.

Han samarbetade med N.Shanin , S.Maslov, G.Mints och V.Orevkov om automatisk satsbevisande, och med D.Beauquier D.Grigoriev , D.Burago, A.Rabinovich, P. Vasilyev och andra om vissa algoritmiska problem, ser.

externa länkar

• Anatol Slissenko vid Mathematics Genealogy Project