| dbo:abstract |
Sergei Nikolaevich Artemov (Russian: Сергей Николаевич Артемов) (born December 25, 1951) is a Russian-American researcher in logic and its applications. He currently holds the title of Distinguished Professor at the Graduate Center of the City University of New York where he is the founder and head of its research laboratory for logic and computation. His research interests include proof theory and logic in computer science, optimal control and hybrid systems, automated deduction and verification, epistemology, and epistemic game theory. He is best known for his invention of logics of proofs and justifications. (en) Sergei Nikolaevich Artemov (em russo: Сергей Николаевич Артемов; Uralsk, 25 de dezembro de 1951) é um lógico matemático russo-estadunidense. (pt) Сергей Николаевич Артёмов (род. 1951) — советский учёный, доктор физико-математических наук, профессор. Учёный в области математической логики и её приложений. В настоящее время — профессор Центра аспирантуры Городского университета Нью-Йорка, где является основателем и руководителем исследовательской лаборатории логики и вычислений. Автор многих работ. (ru) |
| dbo:academicDiscipline |
dbr:Computer_Science dbr:Mathematics dbr:Philosophy |
| dbo:almaMater |
dbr:Steklov_Mathematical_Institute dbr:Moscow_University |
| dbo:birthDate |
1951-12-25 (xsd:date) |
| dbo:birthPlace |
dbr:USSR dbr:Oral,_Kazakhstan |
| dbo:doctoralAdvisor |
dbr:Andrei_Nikolayevich_Kolmogorov |
| dbo:thumbnail |
wiki-commons:Special:FilePath/Artemov_Sergei.jpg?width=300 |
| dbo:wikiPageExternalLink |
http://web.cs.gc.cuny.edu/~sartemov http://plato.stanford.edu/archives/fall2011/entries/logic-justification/ http://genealogy.math.ndsu.nodak.edu/id.php%3Fid=83475 http://ac.els-cdn.com/S0168007213001012/1-s2.0-S0168007213001012-main.pdf%3F_tid=bc0aec24-c22e-11e5-802f-00000aacb361&acdnat=1453594348_217607bdb05653d6d0505e826e99713e http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html%23Art01BSL http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html%23Art06TCS http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html%23Art08RSL http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html%23ArtNog05JLC http://www.ams.org/distribution/mmj/vol1-4-2001/artemov.html http://www.cs.cornell.edu/Info/People/artemov/publ.html |
| dbo:wikiPageID |
33935459 (xsd:integer) |
| dbo:wikiPageLength |
10626 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1105677317 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:European_Association_for_Logic,_Language_and_Information dbr:University_of_Amsterdam dbr:University_of_Bern dbr:University_of_Siena dbr:Intuitionistic_logic dbr:Steklov_Mathematical_Institute dbc:1951_births dbc:Living_people dbr:Computer_Science dbr:Cornell_University dbr:Mathematics dbr:City_University_of_New_York dbr:Epistemology dbr:Logic dbr:Stanford_University dbc:20th-century_American_mathematicians dbc:21st-century_American_mathematicians dbc:Moscow_State_University_alumni dbr:USSR dbr:Doctor_of_Sciences dbr:Logic_in_computer_science dbc:Russian_emigrants_to_the_United_States dbr:First-order_logic dbr:Brouwer–Heyting–Kolmogorov_interpretation dbr:Proof_theory dbr:Hybrid_system dbc:City_University_of_New_York_faculty dbc:Soviet_mathematicians dbc:Graduate_Center,_CUNY_faculty dbr:Provability_logic dbr:Philosophy dbr:Plato dbr:Ph.D. dbr:Optimal_control dbr:Oral,_Kazakhstan dbr:CUNY_Graduate_Center dbr:Uralsk dbr:Cornell dbr:Automated_deduction dbr:Epistemic_logic dbr:Moscow_University dbr:Andrei_Nikolaevich_Kolmogorov dbr:Andrei_Nikolayevich_Kolmogorov dbr:City_University_of_New_York,_Graduate_Center |
| dbp:almaMater |
D.Sc. 1988 Steklov Mathematical Institute (en) Ph.D 1980 Moscow University, (en) |
| dbp:birthDate |
1951-12-25 (xsd:date) |
| dbp:birthPlace |
dbr:USSR dbr:Oral,_Kazakhstan |
| dbp:caption |
Sergei Nikolaevich Artemov at Association of Symbolic Logic Pittsburgh, May 2004 (en) |
| dbp:doctoralAdvisor |
dbr:Andrei_Nikolayevich_Kolmogorov |
| dbp:field |
dbr:Computer_Science dbr:Mathematics dbr:Philosophy |
| dbp:name |
Sergei Nikolaevich Artemov (en) |
| dbp:wikiPageUsesTemplate |
dbt:Cite_techreport dbt:Authority_control dbt:Citation_needed dbt:Cite_book dbt:Cite_encyclopedia dbt:Cite_journal dbt:Reflist dbt:Short_description dbt:Birth_date_and_age dbt:Infobox_scientist |
| dbp:workInstitution |
dbr:Steklov_Mathematical_Institute dbr:Cornell_University dbr:Moscow_University dbr:City_University_of_New_York,_Graduate_Center |
| dct:subject |
dbc:1951_births dbc:Living_people dbc:20th-century_American_mathematicians dbc:21st-century_American_mathematicians dbc:Moscow_State_University_alumni dbc:Russian_emigrants_to_the_United_States dbc:City_University_of_New_York_faculty dbc:Soviet_mathematicians dbc:Graduate_Center,_CUNY_faculty |
| gold:hypernym |
dbr:Researcher |
| schema:sameAs |
http://viaf.org/viaf/527144783075359045439 |
| rdf:type |
owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person yago:WikicatLivingPeople wikidata:Q901 yago:CausalAgent100007347 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:Whole100003553 |
| rdfs:comment |
Sergei Nikolaevich Artemov (Russian: Сергей Николаевич Артемов) (born December 25, 1951) is a Russian-American researcher in logic and its applications. He currently holds the title of Distinguished Professor at the Graduate Center of the City University of New York where he is the founder and head of its research laboratory for logic and computation. His research interests include proof theory and logic in computer science, optimal control and hybrid systems, automated deduction and verification, epistemology, and epistemic game theory. He is best known for his invention of logics of proofs and justifications. (en) Sergei Nikolaevich Artemov (em russo: Сергей Николаевич Артемов; Uralsk, 25 de dezembro de 1951) é um lógico matemático russo-estadunidense. (pt) Сергей Николаевич Артёмов (род. 1951) — советский учёный, доктор физико-математических наук, профессор. Учёный в области математической логики и её приложений. В настоящее время — профессор Центра аспирантуры Городского университета Нью-Йорка, где является основателем и руководителем исследовательской лаборатории логики и вычислений. Автор многих работ. (ru) |
| rdfs:label |
Sergei N. Artemov (en) Sergei Artemov (pt) Артёмов, Сергей Николаевич (математик) (ru) |
| owl:sameAs |
freebase:Sergei N. Artemov yago-res:Sergei N. Artemov http://viaf.org/viaf/527144783075359045439 http://d-nb.info/gnd/1089473087 http://d-nb.info/gnd/1089773986 http://d-nb.info/gnd/1186305789 https://dblp.org/pid/a/SNArtemov http://viaf.org/viaf/43022227 https://orcid.org/0000-0002-5605-6172 wikidata:Sergei N. Artemov http://data.bibliotheken.nl/id/thes/p072877820 dbpedia-pt:Sergei N. Artemov dbpedia-ru:Sergei N. Artemov https://global.dbpedia.org/id/b8SE |
| prov:wasDerivedFrom |
wikipedia-en:Sergei_N._Artemov?oldid=1105677317&ns=0 |
| foaf:depiction |
wiki-commons:Special:FilePath/Artemov_Sergei.jpg |
| foaf:isPrimaryTopicOf |
wikipedia-en:Sergei_N._Artemov |
| foaf:name |
Sergei Nikolaevich Artemov (Russian: Сергей Николаевич Артемов) (en) |
| is dbo:doctoralStudent of |
dbr:Andrey_Kolmogorov |
| is dbo:wikiPageWikiLink of |
dbr:List_of_philosophers_born_in_the_20th_century dbr:Pavel_Naumov_(logician) dbr:List_of_people_by_Erdős_number dbr:Andrey_Kolmogorov dbr:Giorgi_Japaridze dbr:List_of_Graduate_Center,_CUNY_faculty dbr:Provability_logic dbr:Artyomov dbr:Walter_Carnielli dbr:Ruy_de_Queiroz dbr:Workshop_on_Logic,_Language,_Information_and_Computation |
| is foaf:primaryTopic of |
wikipedia-en:Sergei_N._Artemov |
