About: Sandrine Blazy

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Sandrine Blazy Goto Sponge NotDistinct Permalink

An Entity of Type : wikibase:Item, within Data Space : wikidata.demo.openlinksw.com associated with source document(s)

French computer scientist

Attributes	Values
rdf:type	Item
description	ikertzailea (eu) 연구원 (ko) 研究者 (ja) araştırmacı (tr) wetenschapper (nl) वैज्ञानिक (hi) изилдөөчү (ky) 研究者 (zh) French computer scientist (en) chercheuse en informatique (fr)
rdfs:label	Sandrine Blazy (de) Sandrine Blazy (en) Sandrine Blazy (es) Sandrine Blazy (fr) Sandrine Blazy (nl) Sandrine Blazy (ast)
skos:prefLabel	Sandrine Blazy (de) Sandrine Blazy (en) Sandrine Blazy (es) Sandrine Blazy (fr) Sandrine Blazy (nl) Sandrine Blazy (ast)
name	Sandrine Blazy (de) Sandrine Blazy (en) Sandrine Blazy (es) Sandrine Blazy (fr) Sandrine Blazy (nl) Sandrine Blazy (ast)
given name	wds:Q27976180-581A1A62-6389-4400-970D-CA015A7DBBDF
given name	Sandrine
instance of	wds:Q27976180-8F524DE4-91E8-479B-98E4-3C980BC9324E
described at URL	wds:Q27976180-72CA7F0C-3B2E-4CFC-836A-A9EBB9982BFF wds:Q27976180-988BADBC-4C82-4176-BCD0-52AA6A0E12FC
instance of	Homo sapiens
described at URL	https://www.cnrs.fr/fr/talents/cnrs?medal=39 https://www.cnrs.fr/fr/personne/sandrine-blazy
award received	wds:Q27976180-B5A0EFE7-2B59-446B-AE8D-30A46E43A1EF
award received	CNRS silver medal
Google Knowledge Graph ID	wds:Q27976180-CC2EA3DE-C17F-4D2F-8A81-E277420F0B27
Google Knowledge Graph ID	http://g.co/kg/g/11cm3tms_k
Google Knowledge Graph ID	/g/11cm3tms_k
Google Scholar author ID	wds:Q27976180-2071e153-4736-758c-efe9-a220eeb1d434
Google Scholar author ID	R9WFeS4AAAAJ
occupation	wds:Q27976180-2C11054E-9C33-49C7-9CF3-43F09FEE28B5 wds:Q27976180-9724f6bd-4528-9934-4114-6048468f06bf
employer	wds:Q27976180-B55C1D9C-D034-419E-ACCC-3CA5A3D6ED5D
sex or gender	wds:Q27976180-BDF727AD-077E-4379-8C4D-AFBB345989A3
ISNI	wds:Q27976180-13301bba-4bc9-ece0-9cb1-a7d28e1a03ed
VIAF ID	wds:Q27976180-3e6542ca-4cad-6fdc-68f4-9afd655c44f9 wds:Q27976180-c189c0b5-440c-c21b-42ab-11902248f5bf
GND ID	wds:Q27976180-2b4379a1-4919-3f15-b1ff-ccfd5e31b0a4
Library of Congress authority ID	wds:Q27976180-a08bdecf-44f9-1143-276b-942183b08f36
DBLP author ID	wds:Q27976180-9480E6DB-E95E-4666-B78A-9C28BABB26F7
IdRef ID	wds:Q27976180-72566345-A455-4596-AC0C-F390A3A74FDE wds:Q27976180-c19f4535-4e97-3e3f-654b-174e9b404f35
position held	wds:Q27976180-D7087934-785B-4AA1-88E7-4BA9B855CC32
National Library of Israel J9U ID	wds:Q27976180-50840EF3-FF7A-42A7-84B0-D40947D991F0
VIAF ID	http://viaf.org/viaf/305031190 http://viaf.org/viaf/7138165326563616290007
GND ID	https://d-nb.info/gnd/1045320927
Library of Congress authority ID	http://id.loc.gov/authorities/names/nb2013016151
DBLP author ID	https://dblp.org/pid/b/SandrineBlazy.rdf
IdRef ID	http://www.idref.fr/153042567/id http://www.idref.fr/260145009/id
occupation	researcher computer scientist
employer	University of Rennes 1
sex or gender	female organism
ISNI	0000000416605274
VIAF ID	305031190 7138165326563616290007
GND ID	1045320927
Library of Congress authority ID	nb2013016151
DBLP author ID	b/SandrineBlazy
IdRef ID	153042567 260145009
position held	Director of Research at CNRS
National Library of Israel J9U ID	987007374353405171
ORCID iD	wds:Q27976180-b4b26eff-47cf-5d5c-ca67-946f78541d73
ORCID iD	https://orcid.org/0000-0002-0189-0223
ORCID iD	0000-0002-0189-0223
CNRS Talent page	wds:Q27976180-644ECBA3-C12B-49CE-A80F-E0EBEAAB08C8
CNRS Talent page	sandrine-blazy
is about of	https://www.wikidata.org/wiki/Special:EntityData/Q27976180 Sandrine Blazy https://fr.wikipedia.org/wiki/Sandrine_Blazy
is author of	Program Logics for Certified Compilers Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler Formally verified speculation and deoptimization in a JIT compiler
is author of	wds:Q27976187-E1523BAF-2D7C-4D76-99BE-9DEEAAE437C2 wds:Q122926283-A0F4859D-391E-41C1-91B0-CD69CA4729A8 wds:Q122706556-7503DECE-3350-4558-9C6D-A986071B4EBE
is director / manager of	wds:Q3152091-2a530755-425e-37d6-dfb3-28547fda8212

Faceted Search & Find service v1.16.117 as of May 05 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3239 as of May 5 2024, on Linux (x86_64-centos_6-linux-gnu), Single-Server Edition (378 GB total memory, 193 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software