Ric Holt (original) (raw)
ريتشارد س. هولت أو ريك هولت (بالإنجليزية: Richard C. "Ric" Holt)، هو في علم الحاسوب في لِـجامعة واترلو. كان هولت أحد المطوِّرين الأصيلين للغات البرمجة ، ، ، (للبرمجة البنيويّة)، أس/أس أل. وقد قام بأبحاث حول نظريَّة الاستعصاء وَأنظمة التشغيل. وبعد مَسيرة مُمَيَّزة في جامعة تورنتو، تَقَلَّد مَنصبًا في جامعة واترلو هو كرسيّ نورتل نيتووركس لهندسة برمجيَّات الإتِّصالات. أيضًا، يعمل كرئيس غرافل ووتش أونتاريو منذ عام 2003. في خريف عام 2005، سُمِّيَ برقم 16# في قائمة الحاسوبيين الكنديين من بين 30 تقنيّ معلومات في كندا للثلاثين عامًا الفائتة.
| Property | Value |
|---|---|
| dbo:abstract | ريتشارد س. هولت أو ريك هولت (بالإنجليزية: Richard C. "Ric" Holt)، هو في علم الحاسوب في لِـجامعة واترلو. كان هولت أحد المطوِّرين الأصيلين للغات البرمجة ، ، ، (للبرمجة البنيويّة)، أس/أس أل. وقد قام بأبحاث حول نظريَّة الاستعصاء وَأنظمة التشغيل. وبعد مَسيرة مُمَيَّزة في جامعة تورنتو، تَقَلَّد مَنصبًا في جامعة واترلو هو كرسيّ نورتل نيتووركس لهندسة برمجيَّات الإتِّصالات. أيضًا، يعمل كرئيس غرافل ووتش أونتاريو منذ عام 2003. في خريف عام 2005، سُمِّيَ برقم 16# في قائمة الحاسوبيين الكنديين من بين 30 تقنيّ معلومات في كندا للثلاثين عامًا الفائتة. (ar) Richard Craig Holt (February 13, 1941 – April 12, 2019) was an American-Canadian computer scientist. (en) Ричард Холт, также Рик Холт — американо-канадский учёный в области информатики. Окончил Корнеллский университет, там же в 1971 году защитил диссертацию по теме «Взаимная блокировка в компьютерных системах», ставшей одной из первых знаковых фундаментальных работ по теме взаимной блокировки процессов. Известен своими научными работами по операционным системам, языкам программирования, , архитектуре и инженерии программного обеспечения, соавторством в написании компиляторов и вводом для этого новых техник компиляции. В 1982 году вместе со своим аспирантом создал язык «» на основе Паскаля и , получивший широкое признание в Канаде как язык для обучения студентов программированию. Всего он разработал четыре операционных системы (SUE, Tunis, Secure Tunis, HECTOR) и пять языков программирования (SP/k, Concurrent Euclid, Turing, TuringPlus, OOT). Также в отличие от чисто академических коллег Холт плотно сотрудничал с индустрией, работая с такими компаниями, как IBM, Sun Microsystems, Nortel Networks, CA Technologies, а также управляя своей собственной фирмой «Holt Software Associates». Ричард Холт входил в список самых плодовитых учёных по версии DBLP как соавтор 138 индексированных статей. Флагманская конференция по направлению , MSR, также была основана в 2004 году с его непосредственным участием. Большая часть бывших аспирантов Холта занимали или занимают руководящие посты и известны в научном сообществе. Скончался Ричард Холт 12 апреля 2019 года. В 2020 году конференция по выработке репозиториев объявила о премии имени Рика Холта, выдаваемой за молодым учёным, успевшим внести заметный вклад в исследования в этой области; первая премия была вручена Эмаду Шихабу. (ru) |
| dbo:birthDate | 1941-02-13 (xsd:date) |
| dbo:wikiPageExternalLink | http://compsci.ca/holtsoft/ http://plg.uwaterloo.ca/~holt/ https://cs.uwaterloo.ca/faculty-staff/contacts/ric-holt |
| dbo:wikiPageID | 1818768 (xsd:integer) |
| dbo:wikiPageLength | 7205 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1085251512 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Canadians dbr:Quadra_Island dbr:Engineering_physics dbr:List_of_University_of_Waterloo_people dbr:Bartlesville,_Oklahoma dbr:Peace_Corps dbr:University_of_Toronto dbr:University_of_Waterloo dbr:Deadlock dbc:1941_births dbr:Compiler dbr:Cornell_University dbr:Lewy_body_dementia dbr:Computer_science dbr:Software_engineering dbc:University_of_Toronto_faculty dbc:University_of_Waterloo_faculty dbr:British_Columbia dbc:Nortel_employees dbr:Toronto,_Canada dbr:Nigeria dbr:Parkinson's_disease dbc:2019_deaths dbc:Canadian_computer_scientists dbr:PhD dbr:IBM dbr:Information_technology dbr:Operating_system dbr:Turing_(programming_language) dbr:Euclid_(programming_language) dbr:Programming_language dbr:S/SL_programming_language dbr:SP/k dbr:Computer_scientists |
| dbp:almaMater | dbr:Cornell_University |
| dbp:birthDate | 1941-02-13 (xsd:date) |
| dbp:birthName | Richard Craig Holt (en) |
| dbp:birthPlace | Bartlesville, Oklahoma, US (en) |
| dbp:deathDate | 2019-04-12 (xsd:date) |
| dbp:deathPlace | Quadra Island, British Columbia, Canada (en) |
| dbp:discipline | Computer Science (en) |
| dbp:doctoralAdvisor | Alan Shaw (en) |
| dbp:name | Ric Holt (en) |
| dbp:notableWorks | dbr:Turing_(programming_language) |
| dbp:subDiscipline | Programming languages (en) |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:Birth_date dbt:Reflist dbt:Short_description dbt:Death_date_and_age dbt:Infobox_academic dbt:Canada-compu-bio-stub |
| dbp:workplaces | dbr:University_of_Toronto dbr:University_of_Waterloo |
| dcterms:subject | dbc:1941_births dbc:University_of_Toronto_faculty dbc:University_of_Waterloo_faculty dbc:Nortel_employees dbc:2019_deaths dbc:Canadian_computer_scientists |
| rdf:type | owl:Thing dbo:Company foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Academic dbo:Animal dbo:Eukaryote dbo:Species yago:WikicatCanadianComputerScientists schema:Person yago:WikicatLivingPeople yago:WikicatNortelEmployees yago:CausalAgent100007347 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Employee110053808 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:Worker109632518 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:Whole100003553 |
| rdfs:comment | ريتشارد س. هولت أو ريك هولت (بالإنجليزية: Richard C. "Ric" Holt)، هو في علم الحاسوب في لِـجامعة واترلو. كان هولت أحد المطوِّرين الأصيلين للغات البرمجة ، ، ، (للبرمجة البنيويّة)، أس/أس أل. وقد قام بأبحاث حول نظريَّة الاستعصاء وَأنظمة التشغيل. وبعد مَسيرة مُمَيَّزة في جامعة تورنتو، تَقَلَّد مَنصبًا في جامعة واترلو هو كرسيّ نورتل نيتووركس لهندسة برمجيَّات الإتِّصالات. أيضًا، يعمل كرئيس غرافل ووتش أونتاريو منذ عام 2003. في خريف عام 2005، سُمِّيَ برقم 16# في قائمة الحاسوبيين الكنديين من بين 30 تقنيّ معلومات في كندا للثلاثين عامًا الفائتة. (ar) Richard Craig Holt (February 13, 1941 – April 12, 2019) was an American-Canadian computer scientist. (en) Ричард Холт, также Рик Холт — американо-канадский учёный в области информатики. Окончил Корнеллский университет, там же в 1971 году защитил диссертацию по теме «Взаимная блокировка в компьютерных системах», ставшей одной из первых знаковых фундаментальных работ по теме взаимной блокировки процессов. Известен своими научными работами по операционным системам, языкам программирования, , архитектуре и инженерии программного обеспечения, соавторством в написании компиляторов и вводом для этого новых техник компиляции. В 1982 году вместе со своим аспирантом создал язык «» на основе Паскаля и , получивший широкое признание в Канаде как язык для обучения студентов программированию. Всего он разработал четыре операционных системы (SUE, Tunis, Secure Tunis, HECTOR) и пять языков программирования ( (ru) |
| rdfs:label | ريتشارد هولت (ar) Ric Holt (en) Холт, Ричард (ru) |
| owl:sameAs | freebase:Ric Holt yago-res:Ric Holt https://dblp.org/pid/h/RichardCHolt http://viaf.org/viaf/25196292 wikidata:Ric Holt http://data.bibliotheken.nl/id/thes/p069705798 dbpedia-ar:Ric Holt http://arz.dbpedia.org/resource/ريتشارد_هولت_(استاذ_جامعة_من_كندا) dbpedia-no:Ric Holt dbpedia-ru:Ric Holt https://global.dbpedia.org/id/4u5oE |
| prov:wasDerivedFrom | wikipedia-en:Ric_Holt?oldid=1085251512&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Ric_Holt |
| foaf:name | Ric Holt (en) |
| is dbo:designer of | dbr:Concurrent_Euclid dbr:Turing_(programming_language) dbr:SP/k dbr:Turing_(programming_language)__Object-Oriented_Turing__1 dbr:Turing_(programming_language)__Turing+__1 |
| is dbo:developer of | dbr:Concurrent_Euclid dbr:Euclid_(programming_language) dbr:SP/k dbr:Turing_(programming_language)__Object-Oriented_Turing__1 dbr:Turing_(programming_language)__Turing+__1 |
| is dbo:doctoralAdvisor of | dbr:James_Cordy |
| is dbo:wikiPageRedirects of | dbr:Rick_Holt dbr:Richard_C._"Ric"_Holt dbr:Richard_C._Holt |
| is dbo:wikiPageWikiLink of | dbr:List_of_University_of_Toronto_faculty dbr:Bloor_Collegiate_Institute dbr:Holt_(surname) dbr:Patterson_Hume dbr:University_of_Waterloo dbr:University_of_Waterloo_Faculty_of_Mathematics dbr:Deaths_in_April_2019 dbr:List_of_programming_language_researchers dbr:Elliot_Koffman dbr:Concurrent_Euclid dbr:Timeline_of_programming_languages dbr:List_of_Nortel_people dbr:Grok_(disambiguation) dbr:Richard_Holt dbr:James_Cordy dbr:Turing_(programming_language) dbr:Euclid_(programming_language) dbr:S/SL_programming_language dbr:SP/k dbr:Rick_Holt dbr:Richard_C._"Ric"_Holt dbr:Richard_C._Holt |
| is dbp:designer of | dbr:Turing_(programming_language) dbr:SP/k |
| is dbp:developer of | dbr:Turing_(programming_language) dbr:SP/k |
| is dbp:doctoralAdvisor of | dbr:James_Cordy |
| is foaf:primaryTopic of | wikipedia-en:Ric_Holt |