dbo:abstract |
Jade Alglave FREng (born 1984) is a French computer scientist whose research involves concurrency control, consistency models, weak hardware memory models, the relation between computer hardware and programming languages, and the "cat" domain-specific language for consistency models. She is a professor of computer science at University College London and a distinguished engineer at British semiconductor firm Arm. (en) Jade Alglave (née en 1984) est une informaticienne française spécialisée dans les recherches en (en), modèles de cohérence, modèles de mémoires matérielles, la relation entre le matériel et les langage de programmation, et le langage dédié cat pour les modèles de cohérence. Elle est professeure d'informatique au University College de Londres et une ingénieure principale de l'entreprise britannique de semi-conducteurs Arm. (fr) |
dbo:wikiPageExternalLink |
http://www0.cs.ucl.ac.uk/staff/j.alglave/ |
dbo:wikiPageID |
71400777 (xsd:integer) |
dbo:wikiPageLength |
4345 (xsd:nonNegativeInteger) |
dbo:wikiPageRevisionID |
1100877133 (xsd:integer) |
dbo:wikiPageWikiLink |
dbr:Queen_Mary_University_of_London dbr:Roger_Needham_Award dbr:Royal_Academy_of_Engineering dbr:Royal_Society dbc:French_women_computer_scientists dbr:Peter_O'Hearn dbr:University_College_London dbr:University_of_Oxford dbc:Living_people dbr:Concurrency_control dbr:Consistency_model dbr:Fellow_of_the_Royal_Academy_of_Engineering dbc:Academics_of_University_College_London dbr:British_Computer_Society dbr:Domain-specific_language dbc:1984_births dbc:French_computer_scientists dbr:Paris_Diderot_University dbr:Arm_(company) dbc:Academics_of_Queen_Mary_University_of_London dbc:Fellows_of_the_Royal_Academy_of_Engineering dbc:Female_Fellows_of_the_Royal_Academy_of_Engineering dbr:Byron_Cook_(computer_scientist) dbr:INRIA dbr:Programming_language |
dbp:cs1Dates |
ly (en) |
dbp:date |
July 2022 (en) |
dbp:wikiPageUsesTemplate |
dbt:Authority_control dbt:Post-nominals dbt:R dbt:Reflist dbt:Short_description dbt:Use_dmy_dates dbt:Use_list-defined_references dbt:Google_Scholar_id |
dct:subject |
dbc:French_women_computer_scientists dbc:Living_people dbc:Academics_of_University_College_London dbc:1984_births dbc:French_computer_scientists dbc:Academics_of_Queen_Mary_University_of_London dbc:Fellows_of_the_Royal_Academy_of_Engineering dbc:Female_Fellows_of_the_Royal_Academy_of_Engineering |
rdf:type |
owl:Thing |
rdfs:comment |
Jade Alglave FREng (born 1984) is a French computer scientist whose research involves concurrency control, consistency models, weak hardware memory models, the relation between computer hardware and programming languages, and the "cat" domain-specific language for consistency models. She is a professor of computer science at University College London and a distinguished engineer at British semiconductor firm Arm. (en) Jade Alglave (née en 1984) est une informaticienne française spécialisée dans les recherches en (en), modèles de cohérence, modèles de mémoires matérielles, la relation entre le matériel et les langage de programmation, et le langage dédié cat pour les modèles de cohérence. Elle est professeure d'informatique au University College de Londres et une ingénieure principale de l'entreprise britannique de semi-conducteurs Arm. (fr) |
rdfs:label |
Jade Alglave (fr) Jade Alglave (en) |
owl:sameAs |
https://dblp.org/pid/89/6370 http://viaf.org/viaf/173218519 wikidata:Jade Alglave dbpedia-fr:Jade Alglave https://global.dbpedia.org/id/Ex3uD |
prov:wasDerivedFrom |
wikipedia-en:Jade_Alglave?oldid=1100877133&ns=0 |
foaf:isPrimaryTopicOf |
wikipedia-en:Jade_Alglave |
is dbo:wikiPageRedirects of |
dbr:Alglave |
is dbo:wikiPageWikiLink of |
dbr:Roger_Needham_Award dbr:Alglave |
is foaf:primaryTopic of |
wikipedia-en:Jade_Alglave |