About: John Launchbury

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: John Launchbury Goto Sponge NotDistinct Permalink

An Entity of Type : wikidata:Q901, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FJohn_Launchbury

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.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Person Human Animal animal eukaryote scientist species schema:Person Scientist
rdfs:label	John Launchbury (en)
rdfs:comment	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. (en)
foaf:name	Dr. John Launchbury (en)
name	Dr. John Launchbury (en)
foaf:depiction
dcterms:subject	Programming language researchers British emigrants to the United States Living people Place of birth missing (living people) Year of birth missing (living people) Oregon Graduate Institute people Alumni of the University of Glasgow Alumni of the University of Oxford Fellows of the Association for Computing Machinery
Wikipage page ID	52925512 (xsd:integer)
Wikipage revision ID	1100551123 (xsd:integer)
Link from a Wikipage to another Wikipage	Programming language researchers British emigrants to the United States University of Glasgow University of Oxford Information Innovation Office Living people Place of birth missing (living people) Year of birth missing (living people) Computer security Oregon Graduate Institute people Monad (functional programming) Moral influence theory of atonement Cryptol Very-large-scale integration Embedded system Alumni of the University of Glasgow Alumni of the University of Oxford British Computer Society Domain-specific language Haskell Artificial intelligence Association for Computing Machinery Fellows of the Association for Computing Machinery Homomorphic encryption Information privacy National Security Agency Oregon Graduate Institute Simon L. Peyton Jones Defense Advanced Research Project Agency
Link from a Wikipage to an external page	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
sameAs	John Launchbury John Launchbury John Launchbury John Launchbury John Launchbury John Launchbury John Launchbury
thesis title	Projection Factorizations in Partial Evaluation (en)
workplaces	Oregon Graduate Institute School of Science and Engineering, Galois Inc., DARPA (en)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Short_description dbt:BLP_primary_sources dbt:Infobox_scientist
thumbnail	wiki-commons:Special:FilePath/Headshot_of_Dr._John_Launchbury.jpg?width=300
alma mater	Oxford University, University of Glasgow (en)
fields	Cybersecurity, Data Analysis, Artificial Intelligence (en)
known for	Functional Programming Languages (en)
nationality	British, American (en)
has abstract	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. (en)
schema:sameAs	John Launchbury
prov:wasDerivedFrom	wikipedia-en:John_Launchbury?oldid=1100551123&ns=0
page length (characters) of wiki page	8898 (xsd:nonNegativeInteger)
academic discipline	Computer security Artificial intelligence
alma mater	University of Glasgow University of Oxford
foaf:isPrimaryTopicOf	wikipedia-en:John_Launchbury
is Link from a Wikipage to another Wikipage of	List of fellows of the Association for Computing Machinery List of programming language researchers Launchbury Haskell L4 microkernel family Launchbury, John
is Wikipage redirect of	Launchbury, John
is Wikipage disambiguates of	Launchbury
is designer of	Haskell
is foaf:primaryTopic of	wikipedia-en:John_Launchbury

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Sep 2 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 38 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software