Vaughan Pratt (original) (raw)

About DBpedia

هيو برات (بالإنجليزية: Vaughan Pratt)‏ هو عالم حاسوب أسترالي، ولد في 12 أبريل 1944 في ملبورن في أستراليا.

thumbnail

Property Value
dbo:abstract هيو برات (بالإنجليزية: Vaughan Pratt)‏ هو عالم حاسوب أسترالي، ولد في 12 أبريل 1944 في ملبورن في أستراليا. (ar) Vaughan Ronald Pratt (* 12. April 1944 in Melbourne) ist ein australischer Informatiker und Hochschullehrer. (de) Vaughan Ronald Pratt (nacido en 1944), un Profesor Emeritus en la Universidad Stanford, es un pionero en el campo de informática. Publicando desde 1969, Pratt ha hecho varias contribuciones a áreas fundacionales como algoritmos de búsqueda, algoritmos de ordenación, y tests de primalidad. Más recientemente su búsqueda se ha centrado en el modelado formal de sistemas concurrentes y espacios de Chu. Un patrón de aplicar modelos de áreas diversas de las matemáticas como geometría, álgebra lineal, álgebra abstracta, y especialmente lógica matemática a informática se extiende por su trabajo. (es) Vaughan Pratt (born April 12, 1944) is a Professor Emeritus at Stanford University, who was an early pioneer in the field of computer science. Since 1969, Pratt has made several contributions to foundational areas such as search algorithms, sorting algorithms, and primality testing. More recently, his research has focused on formal modeling of concurrent systems and Chu spaces. (en) Vaughan Ronald Pratt (ur. 1944) – emerytowany profesor Uniwersytetu Stanforda, jeden z pionierów informatyki. Obecnie związany z firmą Tiqit. Dorastał i kształcił się w Australii. W maju 1970 uzystał tytuł magistra informatyki na Uniwersytecie w Sydney pod nadzorem Jana B. Hexta pracą Translation of English into Logical Expressions. Studia doktoranckie rozpoczął w październiku 1970 na Uniwersytecie Stanforda i w styczniu 1972 pod nazdzorem Donalda Knutha uzyskał tytuł doktora pracą Shellsort and Sorting Networks związaną z algorytmem Shellsort. Wersja algorytmu zaproponowana przez Pratta ma rząd złożoności pesymistycznej . Od 1972 do 1976 był najpierw adiunktem (assistant professor), a potem do 1982 profesorem nadzwyczajnym (associate professor) w MIT. Następnie został profesorem zwyczajnym (full professor) Uniwersytetu Stanforda. W 1973 opracował LINGOL, język do programowania języka naturalnego, który użyto do utworzenia programu tłumaczącego z japońskiego na angielski. W tym samym roku wspólnie z Blumem, Floydem, Rivestem i Tarjanem opisał algorytm znajdowania mediany median, pierwszy optymalny w czasie pesymistycznym, tj. rzędu algorytm rozwiązujący problem . W 1974 roku razem z Donaldem Knuthem i opracował algorytm wyszukiwania wzorca w tekście. Wspólna praca opisująca algorytm została opublikowana w 1977. W 1975 zdefiniował certyfikat pierwszości nazwany certyfikatem Pratta, który pozwala szybko zweryfikować, czy dana liczba jest pierwsza. Dowiódł, że problem znajdowania liczb pierwszych leży w klasie NP, czyli problemów których rozwiązania można sprawdzić w czasie wielomianowym. W 1982 w czasie urlopu pomógł założyć firmę Sun i zaprojektował jej logo składające się z czterech przeplatających się słów sun (słońce) w formie ambigramu. Do jego doktorantów należał m.in. David Harel. Od 2000 jest emerytowanym profesorem Uniwersytetu Stanforda. (pl) Vaughan Ronald Pratt (1944) é um cientista da computação australiano. É professor emérito da Universidade Stanford e um pioneiro no campo da ciência da computação. (pt) Вон Рональд Пратт (англ. Vaughan Ronald Pratt, род. 12 апреля 1944 года, Мельбурн, Австралия) — эмерит-профессор Стэнфордского университета, один из первопроходцев теоретической информатики. С 1969 г. Пратт внёс существенный вклад в такие основополагающие области как , сортировки и проверки простоты. Его более современные исследования сосредоточены на формальном моделировании конкурентных систем и . Работы Пратта выделяются применением к информатике моделей из различных областей математики — геометрии, линейной и общей алгебры, математической логики. (ru)
dbo:academicAdvisor dbr:Donald_Knuth
dbo:academicDiscipline dbr:Computer_science
dbo:birthDate 1944-04-12 (xsd:date)
dbo:birthName Vaughan Ronald Pratt (en)
dbo:birthPlace dbr:Melbourne,_Australia
dbo:institution dbr:MIT dbr:Stanford_University
dbo:knownFor dbr:Knuth–Morris–Pratt_algorithm dbr:Pratt_parser dbr:Pratt_certificate
dbo:thumbnail wiki-commons:Special:FilePath/VaughanPratt.jpg?width=300
dbo:wikiPageExternalLink http://www.tiqit.com/ http://javascript.crockford.com/tdop/tdop.html http://boole.stanford.edu/abstracts.html http://boole.stanford.edu/pratt.html
dbo:wikiPageID 1597977 (xsd:integer)
dbo:wikiPageLength 10144 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID 1110850678 (xsd:integer)
dbo:wikiPageWikiLink dbr:Robert_Tarjan dbr:Robert_W._Floyd dbr:Ron_Rivest dbr:Modal_logic dbr:NP_(complexity) dbr:Natural_language_processing dbr:Primality_test dbr:Pentium_FDIV_bug dbr:University_of_California,_Berkeley dbr:University_of_Sydney dbr:Byte_magazine dbr:Dux dbr:Dynamic_logic_(modal_logic) dbc:Living_people dbr:Massachusetts_Institute_of_Technology dbr:Concurrency_(computer_science) dbr:MIT dbr:Stanford_University dbr:String_searching_algorithm dbr:Computer_science dbr:Professor dbr:Median_of_medians dbc:1944_births dbc:Australian_computer_scientists dbc:Stanford_University_School_of_Engineering_faculty dbc:Stanford_University_alumni dbc:Theoretical_computer_scientists dbr:James_H._Morris dbr:Ambigram dbr:Chu_space dbr:Knuth–Morris–Pratt_algorithm dbr:JSLint dbr:Association_for_Computing_Machinery dbc:Fellows_of_the_Association_for_Computing_Machinery dbr:Sun_Microsystems dbr:Co-NP-complete dbr:Donald_Knuth dbr:Douglas_Crockford dbr:Manuel_Blum dbr:CGOL dbr:Sorting_algorithm dbr:Sorting_network dbr:Knox_Grammar_School dbr:Search_algorithm dbr:Selection_algorithm dbr:Shellsort dbr:Pratt_parser dbr:MACLISP dbr:MACSYMA dbr:SUN_workstation dbr:Melbourne,_Australia dbr:Text_Editor_and_Corrector dbr:Sydney_University dbr:Pratt_certificate dbr:Primality_testing dbr:File:Sun_Microsystems_logo.svg
dbp:academicAdvisors dbr:Donald_Knuth
dbp:birthDate 1944-04-12 (xsd:date)
dbp:birthName Vaughan Ronald Pratt (en)
dbp:birthPlace dbr:Melbourne,_Australia
dbp:education dbr:University_of_Sydney dbr:Stanford_University
dbp:fields dbr:Computer_science
dbp:knownFor dbr:Knuth–Morris–Pratt_algorithm dbr:Pratt_parser dbr:Pratt_certificate
dbp:name Vaughan Pratt (en)
dbp:wikiPageUsesTemplate dbt:Authority_control dbt:Reflist dbt:URL dbt:Use_dmy_dates dbt:Birth_date_and_age dbt:MathGenealogy dbt:Infobox_scientist
dbp:workplaces dbr:MIT dbr:Stanford_University
dcterms:subject dbc:Living_people dbc:1944_births dbc:Australian_computer_scientists dbc:Stanford_University_School_of_Engineering_faculty dbc:Stanford_University_alumni dbc:Theoretical_computer_scientists dbc:Fellows_of_the_Association_for_Computing_Machinery
gold:hypernym dbr:Pioneer
schema:sameAs http://viaf.org/viaf/311407381
rdf:type owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 yago:WikicatAmericanComputerScientists yago:WikicatAustralianComputerScientists dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person yago:WikicatLivingPeople yago:WikicatTheoreticalComputerScientists yago:WikicatStanfordUniversityAlumni wikidata:Q901 yago:Alumnus109786338 yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Intellectual109621545 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:WikicatFellowsOfTheAssociationForComputingMachinery
rdfs:comment هيو برات (بالإنجليزية: Vaughan Pratt)‏ هو عالم حاسوب أسترالي، ولد في 12 أبريل 1944 في ملبورن في أستراليا. (ar) Vaughan Ronald Pratt (* 12. April 1944 in Melbourne) ist ein australischer Informatiker und Hochschullehrer. (de) Vaughan Ronald Pratt (nacido en 1944), un Profesor Emeritus en la Universidad Stanford, es un pionero en el campo de informática. Publicando desde 1969, Pratt ha hecho varias contribuciones a áreas fundacionales como algoritmos de búsqueda, algoritmos de ordenación, y tests de primalidad. Más recientemente su búsqueda se ha centrado en el modelado formal de sistemas concurrentes y espacios de Chu. Un patrón de aplicar modelos de áreas diversas de las matemáticas como geometría, álgebra lineal, álgebra abstracta, y especialmente lógica matemática a informática se extiende por su trabajo. (es) Vaughan Pratt (born April 12, 1944) is a Professor Emeritus at Stanford University, who was an early pioneer in the field of computer science. Since 1969, Pratt has made several contributions to foundational areas such as search algorithms, sorting algorithms, and primality testing. More recently, his research has focused on formal modeling of concurrent systems and Chu spaces. (en) Vaughan Ronald Pratt (1944) é um cientista da computação australiano. É professor emérito da Universidade Stanford e um pioneiro no campo da ciência da computação. (pt) Вон Рональд Пратт (англ. Vaughan Ronald Pratt, род. 12 апреля 1944 года, Мельбурн, Австралия) — эмерит-профессор Стэнфордского университета, один из первопроходцев теоретической информатики. С 1969 г. Пратт внёс существенный вклад в такие основополагающие области как , сортировки и проверки простоты. Его более современные исследования сосредоточены на формальном моделировании конкурентных систем и . Работы Пратта выделяются применением к информатике моделей из различных областей математики — геометрии, линейной и общей алгебры, математической логики. (ru) Vaughan Ronald Pratt (ur. 1944) – emerytowany profesor Uniwersytetu Stanforda, jeden z pionierów informatyki. Obecnie związany z firmą Tiqit. Dorastał i kształcił się w Australii. W maju 1970 uzystał tytuł magistra informatyki na Uniwersytecie w Sydney pod nadzorem Jana B. Hexta pracą Translation of English into Logical Expressions. Studia doktoranckie rozpoczął w październiku 1970 na Uniwersytecie Stanforda i w styczniu 1972 pod nazdzorem Donalda Knutha uzyskał tytuł doktora pracą Shellsort and Sorting Networks związaną z algorytmem Shellsort. Wersja algorytmu zaproponowana przez Pratta ma rząd złożoności pesymistycznej . Od 1972 do 1976 był najpierw adiunktem (assistant professor), a potem do 1982 profesorem nadzwyczajnym (associate professor) w MIT. Następnie został profesorem zwyczajny (pl)
rdfs:label هيو برات (ar) Vaughan Pratt (en) Vaughan Pratt (de) Vaughan Pratt (es) Vaughan Ronald Pratt (pl) Vaughan Pratt (pt) Пратт, Вон Рональд (ru)
owl:sameAs freebase:Vaughan Pratt yago-res:Vaughan Pratt https://dblp.org/pid/p/VRPratt http://viaf.org/viaf/165199731 wikidata:Vaughan Pratt dbpedia-ar:Vaughan Pratt http://arz.dbpedia.org/resource/هيو_برات dbpedia-de:Vaughan Pratt dbpedia-es:Vaughan Pratt dbpedia-pl:Vaughan Pratt dbpedia-pt:Vaughan Pratt dbpedia-ru:Vaughan Pratt https://global.dbpedia.org/id/4x5sa
prov:wasDerivedFrom wikipedia-en:Vaughan_Pratt?oldid=1110850678&ns=0
foaf:depiction wiki-commons:Special:FilePath/VaughanPratt.jpg wiki-commons:Special:FilePath/Sun_Microsystems_logo.svg
foaf:isPrimaryTopicOf wikipedia-en:Vaughan_Pratt
foaf:name Vaughan Pratt (en)
is dbo:doctoralStudent of dbr:Donald_Knuth
is dbo:wikiPageDisambiguates of dbr:Pratt
is dbo:wikiPageRedirects of dbr:Vaughan_Ronald_Pratt dbr:Vaughan_R._Pratt dbr:Vaughn_Pratt
is dbo:wikiPageWikiLink of dbr:Primality_certificate dbr:Modal_logic dbr:Multimodal_logic dbr:Primality_test dbr:Boyer–Moore_string-search_algorithm dbr:Algebraic_structure dbr:List_of_University_of_Sydney_people dbr:List_of_philosophers_born_in_the_20th_century dbr:Dynamic_logic_(modal_logic) dbr:International_House,_The_University_of_Sydney dbr:List_of_multiple_discoveries dbr:List_of_people_by_Erdős_number dbr:List_of_programming_language_researchers dbr:George_Edward_Hughes dbr:Timeline_of_algorithms dbr:Operator-precedence_parser dbr:Andy_Bechtolsheim dbr:Lisp_(programming_language) dbr:James_H._Morris dbr:Ambigram dbr:Chu_space dbr:Knuth–Morris–Pratt_algorithm dbr:List_of_Old_Knox_Grammarians dbr:Pratt dbr:Relation_algebra dbr:Sun-1 dbr:Sun_Microsystems dbr:Donald_Knuth dbr:CGOL dbr:Vaughan_(given_name) dbr:SUN_workstation dbr:Outline_of_algebraic_structures dbr:Wolfram's_2-state_3-symbol_Turing_machine dbr:Vaughan_Ronald_Pratt dbr:Vaughan_R._Pratt dbr:Vaughn_Pratt
is foaf:primaryTopic of wikipedia-en:Vaughan_Pratt