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
| |
rdfs:label
| |
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
| |
name
| |
foaf:depiction
| |
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
Link from a Wikipage to an external page
| |
sameAs
| |
thesis title
| - Projection Factorizations in Partial Evaluation (en)
|
workplaces
| - Oregon Graduate Institute School of Science and Engineering, Galois Inc., DARPA (en)
|
dbp:wikiPageUsesTemplate
| |
thumbnail
| |
alma mater
| - Oxford University, University of Glasgow (en)
|
fields
| - Cybersecurity, Data Analysis, Artificial Intelligence (en)
|
known for
| - Functional Programming Languages (en)
|
nationality
| |
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
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
academic discipline
| |
alma mater
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is Wikipage disambiguates
of | |
is designer
of | |
is foaf:primaryTopic
of | |