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 |
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]
- ^ "ACM Fellows". ACM Awards. Association for Computing Machinery. Retrieved 21 September 2016.