John Launchbury
American and British computer scientist / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about John Launchbury?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
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.[1]
Quick Facts Dr. John Launchbury, Nationality ...
Dr. John Launchbury | |
---|---|
Nationality | British, American |
Alma mater | Oxford University, University of Glasgow |
Known for | Functional Programming Languages |
Scientific career | |
Fields | Cybersecurity, Data Analysis, Artificial Intelligence |
Institutions | Oregon Graduate Institute School of Science and Engineering, Galois Inc., DARPA |
Thesis | Projection Factorizations in Partial Evaluation |
Close