| http://dbpedia.org/ontology/abstract
|
John Launchbury is an American and British … John Launchbury is an American and British computer scientist who is currently Chief Scientist at Galois, Inc. Previously, he directed one of DARPA’s technical offices, where he oversaw nation-scale scientific and engineering research in cybersecurity, data analysis, and artificial intelligence. He is known for research and entrepreneurship in the implementation and application of functional programming languages. In 2010, Launchbury was inducted as a Fellow of the Association for Computing Machinery.f the Association for Computing Machinery.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Computer_security +
, http://dbpedia.org/resource/Artificial_intelligence +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/University_of_Oxford +
, http://dbpedia.org/resource/University_of_Glasgow +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Headshot_of_Dr._John_Launchbury.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.darpa.mil/program/brandeis +
, http://www.darpa.mil/program/high-assurance-cyber-military-systems +
, http://www.darpa.mil/program/programming-computation-on-encrypted-data +
|
| http://dbpedia.org/ontology/wikiPageID
|
52925512
|
| http://dbpedia.org/ontology/wikiPageLength
|
8898
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1100551123
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:British_emigrants_to_the_United_States +
, http://dbpedia.org/resource/Oregon_Graduate_Institute +
, http://dbpedia.org/resource/Category:Year_of_birth_missing_%28living_people%29 +
, http://dbpedia.org/resource/Artificial_intelligence +
, http://dbpedia.org/resource/Computer_security +
, http://dbpedia.org/resource/Domain-specific_language +
, http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Glasgow +
, http://dbpedia.org/resource/Embedded_system +
, http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Oxford +
, http://dbpedia.org/resource/Cryptol +
, http://dbpedia.org/resource/University_of_Glasgow +
, http://dbpedia.org/resource/Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Moral_influence_theory_of_atonement +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/University_of_Oxford +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/British_Computer_Society +
, http://dbpedia.org/resource/Simon_L._Peyton_Jones +
, http://dbpedia.org/resource/Monad_%28functional_programming%29 +
, http://dbpedia.org/resource/Category:Oregon_Graduate_Institute_people +
, http://dbpedia.org/resource/Very-large-scale_integration +
, http://dbpedia.org/resource/Category:Place_of_birth_missing_%28living_people%29 +
, http://dbpedia.org/resource/Information_privacy +
, http://dbpedia.org/resource/Information_Innovation_Office +
, http://dbpedia.org/resource/Haskell_%28programming_language%29 +
, http://dbpedia.org/resource/Category:Programming_language_researchers +
, http://dbpedia.org/resource/National_Security_Agency +
, http://dbpedia.org/resource/Defense_Advanced_Research_Project_Agency +
, http://dbpedia.org/resource/Homomorphic_encryption +
|
| http://dbpedia.org/property/almaMater
|
Oxford University, University of Glasgow
|
| http://dbpedia.org/property/fields
|
Cybersecurity, Data Analysis, Artificial Intelligence
|
| http://dbpedia.org/property/knownFor
|
Functional Programming Languages
|
| http://dbpedia.org/property/name
|
Dr. John Launchbury
|
| http://dbpedia.org/property/nationality
|
British, American
|
| http://dbpedia.org/property/thesisTitle
|
Projection Factorizations in Partial Evaluation
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:BLP_primary_sources +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Reflist +
|
| http://dbpedia.org/property/workplaces
|
Oregon Graduate Institute School of Science and Engineering, Galois Inc., DARPA
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:British_emigrants_to_the_United_States +
, http://dbpedia.org/resource/Category:Place_of_birth_missing_%28living_people%29 +
, http://dbpedia.org/resource/Category:Programming_language_researchers +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Glasgow +
, http://dbpedia.org/resource/Category:Oregon_Graduate_Institute_people +
, http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Oxford +
, http://dbpedia.org/resource/Category:Year_of_birth_missing_%28living_people%29 +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/69611695 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/John_Launchbury?oldid=1100551123&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Headshot_of_Dr._John_Launchbury.jpg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/John_Launchbury +
|
| http://xmlns.com/foaf/0.1/name
|
Dr. John Launchbury
|
| owl:sameAs |
http://d-nb.info/gnd/113520018 +
, http://data.bibliotheken.nl/id/thes/p108790010 +
, https://global.dbpedia.org/id/2eKFG +
, http://viaf.org/viaf/69611695 +
, http://yago-knowledge.org/resource/John_Launchbury +
, http://www.wikidata.org/entity/Q28484633 +
, https://dblp.org/pid/l/JLaunchbury +
, http://dbpedia.org/resource/John_Launchbury +
|
| rdf:type |
http://www.wikidata.org/entity/Q215627 +
, http://www.wikidata.org/entity/Q901 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/ontology/Eukaryote +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/ontology/Animal +
, http://xmlns.com/foaf/0.1/Person +
, http://schema.org/Person +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/ontology/Species +
, http://www.wikidata.org/entity/Q729 +
|
| rdfs:comment |
John Launchbury is an American and British … John Launchbury is an American and British computer scientist who is currently Chief Scientist at Galois, Inc. Previously, he directed one of DARPA’s technical offices, where he oversaw nation-scale scientific and engineering research in cybersecurity, data analysis, and artificial intelligence. He is known for research and entrepreneurship in the implementation and application of functional programming languages. In 2010, Launchbury was inducted as a Fellow of the Association for Computing Machinery.f the Association for Computing Machinery.
|
| rdfs:label |
John Launchbury
|
