John 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.
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 |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.