| Birthplace
|
http://dbpedia.org/resource/USSR +
|
| http://dbpedia.org/ontology/abstract
|
Anatol Slissenko (Russian: Анатолий Олесье … Anatol Slissenko (Russian: Анатолий Олесьевич Слисенко) (born August 15, 1941) is a Soviet, Russian and French mathematician and computer scientist. Among his research interests one finds automatic theorem proving, recursive analysis, computational complexity, algorithmics, graph grammars, verification, computer algebra, entropy and probabilistic models related to computer science.listic models related to computer science.
, Anatol Slissenko (em russo: Анатолий Олесь … Anatol Slissenko (em russo: Анатолий Олесьевич Слисенко; Sibéria, 15 de agosto de 1941) é um matemático e cientista da computação soviético, russo e francês. Dentre seus interesses de pesquisa constam prova automática de teoremas, análise recursiva, complexidade computacional, algoritmos, reescrita de grafos, verificação, álgebra computacional, entropia da informação e modelos probabilísticos relacionados à ciência da computação.icos relacionados à ciência da computação.
, Анатолий (Анатоль) Олесьевич Слисенко (род. 1941) — советский математик, доктор физико-математических наук.
, Anatol Olesjewitsch Slissenko (russisch Ан … Anatol Olesjewitsch Slissenko (russisch Анатоль Олесьевич Слисенко, englische Transkription Anatol Olesevich Slissenko, auch Slisenko; * 15. August 1941) ist ein russischer Mathematiker und Informatiker, der sich mit Komplexitätstheorie, Computeralgebra und anderen Bereichen der theoretischen Informatik befasst. Slissenko studierte an der Staatlichen Universität Leningrad mit dem Diplom 1963 und wurde 1967 bei Nikolai Alexandrowitsch Schanin am Steklow-Institut in Leningrad promoviert (Dissertation: Regulatoren der Konvergenz von konstruktiven Folgen und Regulatoren der Stetigkeit von konstruktiven Funktionen (Russisch)) und 1981 habilitiert (russischer Doktortitel). 1967 bis 1992 stand er dem Leningrader Seminar für Komplexitätstheorie vor und 1981 bis 1993 leitete er das Labor für Algorithmentheorie des Leningrader Instituts für Informatik und Automation der Russischen Akademie der Wissenschaften. Außerdem war er 1981 bis 1987 in Teilzeit Professor am Polytechnischen Institut in Leningrad und 1988 bis 1992 an der Staatlichen Universität Leningrad, wo er die Fakultät für Informatik leitete. 1993 bis 2009 war er Professor an der Universität Paris XII. Seit 2009 ist er dort Professor Emeritus. Dort leitete er 1997 bis 2007 das Labor für algorithmische Komplexität und Logik (LACL). Er befasst sich neben Komplexitätstheorie (u. a. Anfang der 1970er Jahre eine Turingmaschine mit sechs Lese/Schreibköpfen, die Palindrome in Echtzeit erkennt) und Algorithmen (u. a. Ende der 1970er Jahre Echtzeit-Algorithmen, die alle Periodizitäten eines Wortes in kompakter Form finden und klassische String-Matching-Probleme lösen) auch mit automatischen Beweissystemen (1960er Jahre), rekursiver (konstruktiver) Theorie reeller Funktionen, Graph-Grammatiken (eine bestimmte Art davon ist nach ihm benannt, für die Beschreibung von Polyzeit-Klassen schwieriger Probleme), probabilistischen Methoden in der theoretischen Informatik (Entropie-artige Konzepte für die Algorithmenanalyse und Wissensdarstellung), Komplexität von Markow-Entscheidungsprozessen, Fehlertoleranz von Syntax und Verifizierung von Echtzeitsystemen und verteilten Systemen. 1983 war er eingeladener Sprecher auf dem Internationalen Mathematikerkongress in Warschau (Linguistic considerations in deriving effective algorithms). Zu seinen Doktoranden zählt Dmitri Jurjewitsch Grigorjew.randen zählt Dmitri Jurjewitsch Grigorjew.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Computer_Science +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/Saint_Petersburg_State_University +
|
| http://dbpedia.org/ontology/birthDate
|
"1941-08-15"^^xsd:date
|
| http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Nikolai_Aleksandrovich_Shanin +
|
| http://dbpedia.org/ontology/doctoralStudent
|
http://dbpedia.org/resource/Dima_Grigoriev +
|
| http://dbpedia.org/ontology/nationality
|
http://dbpedia.org/resource/Russia +
, http://dbpedia.org/resource/France +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/ASlissenko.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageID
|
51071559
|
| http://dbpedia.org/ontology/wikiPageLength
|
7367
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1024129771
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/ACM_International_Collegiate_Programming_Contest +
, http://dbpedia.org/resource/USSR +
, http://dbpedia.org/resource/Computer_algebra +
, http://dbpedia.org/resource/Automatic_theorem_proving +
, http://dbpedia.org/resource/PhD +
, http://dbpedia.org/resource/Peter_the_Great_St._Petersburg_Polytechnic_University +
, http://dbpedia.org/resource/Computational_complexity_theory +
, http://dbpedia.org/resource/USSR_Academy_of_Sciences +
, http://dbpedia.org/resource/Dima_Grigoriev +
, http://dbpedia.org/resource/Paris_12_Val_de_Marne_University +
, http://dbpedia.org/resource/LOMI +
, http://dbpedia.org/resource/Warsaw +
, http://dbpedia.org/resource/Nikolai_Aleksandrovich_Shanin +
, http://dbpedia.org/resource/International_Congress_of_Mathematicians +
, http://dbpedia.org/resource/Leningrad_State_University +
, http://dbpedia.org/resource/Entropy_%28information_theory%29 +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Saint_Petersburg_State_University +
, http://dbpedia.org/resource/Professor_emeritus +
, http://dbpedia.org/resource/Steklov_Institute_of_Mathematics +
, http://dbpedia.org/resource/France +
, http://dbpedia.org/resource/Doctor_of_Science +
, http://dbpedia.org/resource/Russia +
, http://dbpedia.org/resource/Category:French_mathematicians +
, http://dbpedia.org/resource/Steklov_Mathematical_Institute +
, http://dbpedia.org/resource/Yuri_Matiyasevich +
, http://dbpedia.org/resource/Category:1941_births +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Siberia +
, http://dbpedia.org/resource/Category:Russian_mathematicians +
, http://dbpedia.org/resource/Poland +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/Saint_Petersburg_State_University +
|
| http://dbpedia.org/property/birthDate
|
"1941-08-15"^^xsd:date
|
| http://dbpedia.org/property/birthPlace
|
http://dbpedia.org/resource/USSR +
|
| http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Nikolai_Aleksandrovich_Shanin +
|
| http://dbpedia.org/property/doctoralStudents
|
http://dbpedia.org/resource/Dima_Grigoriev +
|
| http://dbpedia.org/property/field
|
http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Mathematics +
|
| http://dbpedia.org/property/name
|
Anatol Slissenko
|
| http://dbpedia.org/property/nationality
|
Russian, French
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Redirect +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Birth_date_and_age +
, http://dbpedia.org/resource/Template:MathGenealogy +
, http://dbpedia.org/resource/Template:BLP_sources +
|
| http://dbpedia.org/property/workInstitution
|
http://dbpedia.org/resource/Paris_12_Val_de_Marne_University +
, http://dbpedia.org/resource/Steklov_Mathematical_Institute +
, http://dbpedia.org/resource/Saint_Petersburg_State_University +
, http://dbpedia.org/resource/Peter_the_Great_St._Petersburg_Polytechnic_University +
, Leningrad Institute for Informatics and Automation of the USSR Academy of Sciences
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:1941_births +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:French_mathematicians +
, http://dbpedia.org/resource/Category:Russian_mathematicians +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/311403816 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Anatol_Slissenko?oldid=1024129771&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/ASlissenko.jpg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Anatol_Slissenko +
|
| http://xmlns.com/foaf/0.1/name
|
Anatol Slissenko (Slisenko) (Russian: Анатолий Олесьевич Слисенко)
|
| owl:sameAs |
http://www.wikidata.org/entity/Q25999578 +
, http://de.dbpedia.org/resource/Anatol_Olesjewitsch_Slissenko +
, http://yago-knowledge.org/resource/Anatol_Slissenko +
, http://viaf.org/viaf/311403816 +
, https://global.dbpedia.org/id/2SLAP +
, http://pt.dbpedia.org/resource/Anatol_Slissenko +
, http://d-nb.info/gnd/1224553489 +
, http://dbpedia.org/resource/Anatol_Slissenko +
, http://ru.dbpedia.org/resource/%D0%A1%D0%BB%D0%B8%D1%81%D0%B5%D0%BD%D0%BA%D0%BE%2C_%D0%90%D0%BD%D0%B0%D1%82%D0%BE%D0%BB%D0%B8%D0%B9_%D0%9E%D0%BB%D0%B5%D1%81%D1%8C%D0%B5%D0%B2%D0%B8%D1%87 +
|
| rdf:type |
http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/ontology/Scientist +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/ontology/Animal +
, http://www.wikidata.org/entity/Q5 +
, http://www.wikidata.org/entity/Q729 +
, http://www.wikidata.org/entity/Q901 +
, http://schema.org/Person +
, http://dbpedia.org/ontology/Person +
, http://xmlns.com/foaf/0.1/Person +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/ontology/Eukaryote +
|
| rdfs:comment |
Anatol Slissenko (em russo: Анатолий Олесь … Anatol Slissenko (em russo: Анатолий Олесьевич Слисенко; Sibéria, 15 de agosto de 1941) é um matemático e cientista da computação soviético, russo e francês. Dentre seus interesses de pesquisa constam prova automática de teoremas, análise recursiva, complexidade computacional, algoritmos, reescrita de grafos, verificação, álgebra computacional, entropia da informação e modelos probabilísticos relacionados à ciência da computação.icos relacionados à ciência da computação.
, Anatol Slissenko (Russian: Анатолий Олесье … Anatol Slissenko (Russian: Анатолий Олесьевич Слисенко) (born August 15, 1941) is a Soviet, Russian and French mathematician and computer scientist. Among his research interests one finds automatic theorem proving, recursive analysis, computational complexity, algorithmics, graph grammars, verification, computer algebra, entropy and probabilistic models related to computer science.listic models related to computer science.
, Anatol Olesjewitsch Slissenko (russisch Ан … Anatol Olesjewitsch Slissenko (russisch Анатоль Олесьевич Слисенко, englische Transkription Anatol Olesevich Slissenko, auch Slisenko; * 15. August 1941) ist ein russischer Mathematiker und Informatiker, der sich mit Komplexitätstheorie, Computeralgebra und anderen Bereichen der theoretischen Informatik befasst. 1993 bis 2009 war er Professor an der Universität Paris XII. Seit 2009 ist er dort Professor Emeritus. Dort leitete er 1997 bis 2007 das Labor für algorithmische Komplexität und Logik (LACL). Zu seinen Doktoranden zählt Dmitri Jurjewitsch Grigorjew.randen zählt Dmitri Jurjewitsch Grigorjew.
, Анатолий (Анатоль) Олесьевич Слисенко (род. 1941) — советский математик, доктор физико-математических наук.
|
| rdfs:label |
Слисенко, Анатолий Олесьевич
, Anatol Slissenko
, Anatol Olesjewitsch Slissenko
|
