| Birthplace
|
http://dbpedia.org/resource/Geleen +
|
| http://dbpedia.org/ontology/abstract
|
Casimier Joseph Franciscus "Cas" Cremers (born 1974) is a computer scientist and a faculty member at the CISPA Helmholtz Center for Information Security in Saarbruecken, Germany.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Computer_Security +
, http://dbpedia.org/resource/Computer_Science +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/Eindhoven_University_of_Technology +
|
| http://dbpedia.org/ontology/birthDate
|
"1974-06-16"^^xsd:date
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Tamarin_Prover +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://people.cispa.io/cas.cremers/index.html +
, https://cispa.saarland/ +
, http://alexandria.tue.nl/extra2/200612074.pdf +
, https://people.cispa.io/cas.cremers/publications/index.html +
, https://www.youtube.com/watch%3Fv=RgcsX4AbQPU +
|
| http://dbpedia.org/ontology/wikiPageID
|
45239537
|
| http://dbpedia.org/ontology/wikiPageLength
|
5944
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1110640647
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:Dutch_computer_scientists +
, http://dbpedia.org/resource/MSX +
, http://dbpedia.org/resource/Category:1974_births +
, http://dbpedia.org/resource/Geleen +
, http://dbpedia.org/resource/Category:People_from_Geleen +
, http://dbpedia.org/resource/Eindhoven_University_of_Technology +
, http://dbpedia.org/resource/Category:Eindhoven_University_of_Technology_alumni +
, http://dbpedia.org/resource/Tamarin_Prover +
, http://dbpedia.org/resource/Category:Members_of_the_Department_of_Computer_Science%2C_University_of_Oxford +
, http://dbpedia.org/resource/Computer_Security +
, http://dbpedia.org/resource/Category:Dutch_computer_programmers +
, http://dbpedia.org/resource/Video_game_developer +
, http://dbpedia.org/resource/University_of_Oxford +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Security +
, http://dbpedia.org/resource/Formal_methods +
, http://dbpedia.org/resource/International_Organization_for_Standardization +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Cryptography +
, http://dbpedia.org/resource/Category:Fellows_of_Kellogg_College%2C_Oxford +
, http://dbpedia.org/resource/Category:Computer_security_academics +
, http://dbpedia.org/resource/ETH_Zurich +
|
| http://dbpedia.org/property/academicAdvisors
|
Erik de Vink
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/Eindhoven_University_of_Technology +
|
| http://dbpedia.org/property/birthDate
|
"1974-06-16"^^xsd:date
|
| http://dbpedia.org/property/birthPlace
|
http://dbpedia.org/resource/Geleen +
|
| http://dbpedia.org/property/doctoralAdvisor
|
Sjouke Mauw
|
| http://dbpedia.org/property/fields
|
http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Computer_Security +
|
| http://dbpedia.org/property/knownFor
|
Scyther, Tamarin
|
| http://dbpedia.org/property/name
|
Cas Cremers
|
| http://dbpedia.org/property/nationality
|
Dutch
|
| http://dbpedia.org/property/thesisTitle
|
Scyther - Semantics and Verification of Security Protocols
|
| http://dbpedia.org/property/thesisUrl
|
http://alexandria.tue.nl/extra2/200612074.pdf +
|
| http://dbpedia.org/property/thesisYear
|
2006
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Unreliable_sources +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:DBLP +
, http://dbpedia.org/resource/Template:Multiple_issues +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Birth_date_and_age +
, http://dbpedia.org/resource/Template:Third-party +
, http://dbpedia.org/resource/Template:COI +
|
| http://dbpedia.org/property/workplaces
|
CISPA Helmholtz Center for Information Security
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Dutch_computer_programmers +
, http://dbpedia.org/resource/Category:Dutch_computer_scientists +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:1974_births +
, http://dbpedia.org/resource/Category:Eindhoven_University_of_Technology_alumni +
, http://dbpedia.org/resource/Category:Fellows_of_Kellogg_College%2C_Oxford +
, http://dbpedia.org/resource/Category:Members_of_the_Department_of_Computer_Science%2C_University_of_Oxford +
, http://dbpedia.org/resource/Category:Computer_security_academics +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Category:People_from_Geleen +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Scientist +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/283215329 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Cas_Cremers?oldid=1110640647&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Cas_Cremers +
|
| http://xmlns.com/foaf/0.1/name
|
Cas Cremers
|
| owl:sameAs |
http://data.bibliotheken.nl/id/thes/p298399253 +
, http://yago-knowledge.org/resource/Cas_Cremers +
, https://dblp.org/pid/17/2282 +
, https://orcid.org/0000-0003-0322-2293 +
, http://viaf.org/viaf/283215329 +
, https://global.dbpedia.org/id/pAAx +
, http://rdf.freebase.com/ns/m.012r3tcb +
, http://www.wikidata.org/entity/Q18921585 +
, http://d-nb.info/gnd/1203670141 +
, http://dbpedia.org/resource/Cas_Cremers +
|
| rdf:type |
http://dbpedia.org/ontology/Person +
, http://schema.org/Person +
, http://dbpedia.org/ontology/Eukaryote +
, http://www.wikidata.org/entity/Q19088 +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/ontology/Scientist +
, http://www.wikidata.org/entity/Q5 +
, http://xmlns.com/foaf/0.1/Person +
, http://www.wikidata.org/entity/Q729 +
, http://www.wikidata.org/entity/Q215627 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
|
| rdfs:comment |
Casimier Joseph Franciscus "Cas" Cremers (born 1974) is a computer scientist and a faculty member at the CISPA Helmholtz Center for Information Security in Saarbruecken, Germany.
|
| rdfs:label |
Cas Cremers
|
