1194:
31:
1380:
1370:
1360:
160:
In 1993, Launchbury provided a formal description of lazy evaluation, addressing challenges in analyzing a program’s storage requirements. The operational semantics is widely cited in later research on
Haskell. In the context of the Glasgow Haskell Compiler team, Launchbury established an effective
191:
Launchbury founded Galois Inc. in 1999 to address challenges in information assurance through the application of functional programming and formal methods. He served as the company’s CEO and Chief
Scientist from 2000 to 2014. Under Launchbury’s direction, Galois Inc. developed the
524:
668:
153:
As a lecturer at the
University of Glasgow, Launchbury focused his early research on the semantics and analysis of lazy functional languages and was one of the contributing designers of the
173:” Launchbury had introduced earlier. Their papers on unboxed values and removal of intermediate data structures addressed many of the efficiency challenges inherent in lazy evaluation.
754:
1425:
117:. 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
203:
Launchbury is the holder of two patents on cryptographic structures in data storage and one on effective mechanisms for configuring programmable cryptographic components.
184:
ranging from fundamental research in combining disparate semantic elements, through embedding DSLs in
Haskell, to applied research for modeling and reasoning about
669:"An excellent talk from DARPA on the three waves of Artificial Intelligence (AI) – The Contextual Adaptation is the right direction to go: Explainable AI"
692:
1405:
761:
170:
1415:
1374:
586:
1410:
525:"Statement by Laura McKinney, CEO, Galois, Inc. Prepared for the hearing on Small Business and Job Creation: The SBIR and STTR programs"
165:
to write a number of papers that dramatically influenced the design of
Haskell. Their 1995 paper on State in Haskell introduced the “IO
1430:
1420:
106:
234:). He also defined and described the "Three Waves of AI": Handcrafted Knowledge, Statistical Learning, and Contextual Adaptation.
105:
is an
American and British computer scientist who is currently Chief Scientist at Galois, Inc. Previously, he directed one of
454:
307:
475:
788:
246:
118:
196:
domain-specific language for specifying and verifying cryptographic implementations. Originally designed for use by the
727:
483:. Copenhagen, Denmark: Conference FPCA '93 Conference on Functional Programming Languages & Computer Architecture.
1258:
542:
1303:
1278:
297:
394:
611:
340:
166:
154:
1288:
1110:
920:
207:
169:” as a mathematically-clean practical way of expressing effects on the external world, and solidified the “
952:
905:
885:
827:
747:
185:
364:
215:
1248:
960:
898:
867:
806:
643:
1328:
891:
176:
In 1994, Launchbury relocated to the West Coast of the United States, becoming a full professor at the
325:
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on
Principles of programming languages - POPL '93
223:
1384:
941:
177:
1172:
1147:
812:
197:
181:
142:
1084:
414:
114:
444:
1435:
211:
206:
In 2014, Launchbury joined DARPA, initially as a program manager, and then as director of the
1218:
1096:
270:
162:
134:
133:
in 1985, and an M.Sc. in computation in 1986. He holds a Ph.D. in computing science from the
1359:
1353:
1193:
1090:
245:
Launchbury published a theological perspective on the Moral
Exemplar interpretation of the
130:
8:
988:
855:
227:
109:
technical offices, where he oversaw nation-scale scientific and engineering research in
1308:
1253:
1208:
1134:
873:
832:
471:
440:
390:
346:
587:"Defense department taps Portland security expert to help make computer systems safer"
723:
619:
567:
450:
336:
303:
110:
350:
1268:
1046:
1029:
997:
818:
793:
328:
30:
1035:
1021:
1004:
928:
717:
497:
219:
1263:
1154:
80:
Oregon
Graduate Institute School of Science and Engineering, Galois Inc., DARPA
1364:
469:
1399:
1333:
1298:
1235:
1076:
969:
623:
1313:
1293:
446:
Unboxed values as first class citizens in a non-strict functional language
332:
1323:
935:
231:
1273:
1010:
180:
in 2000. His research there addressed the creation and optimization of
739:
449:. New York, NY, USA: Springer-Verlag New York, Inc. pp. 145–164.
1179:
1128:
1059:
388:
323:
Launchbury, John (1993). "A Natural
Semantics for Lazy Evaluation".
1318:
966:
779:
439:
912:
1054:
879:
770:
193:
137:. In 1991, the Cambridge University Press published his thesis,
1227:
1165:
1160:
1122:
1065:
85:
302:. New York, NY, USA: Cambridge University Press. p. 163.
251:
Change Us, Not God: Biblical Meditations on the Death of Jesus
1140:
1116:
365:"The Glasgow Haskell Team: Other Wonderful Past Contributors"
612:"Will Humans or Bots Rule Cybersecurity? The Answer Is Yes"
129:
Launchbury received first-class honors in mathematics from
843:
200:, the language was made available to the public in 2008.
237:
In 2017, Launchbury rejoined Galois as Chief Scientist.
1426:
2010 fellows of the Association for Computing Machinery
543:"Cryptol, the language of cryptography, now available"
693:"New Dayton cyber-security firm celebrating new home"
402:. Boston, MA: Kluwer Academic Publishers. p. 51.
72:
Cybersecurity, Data Analysis, Artificial Intelligence
210:
in 2015. While at DARPA, Launchbury led programs in
1397:
412:
91:Projection Factorizations in Partial Evaluation
715:
299:Projection Factorizations in Partial Evaluation
139:Projection Factorizations in Partial Evaluation
755:
182:domain-specific programming languages (DSLs)
644:"Understanding the limits of deep learning"
540:
492:
490:
762:
748:
322:
295:
29:
522:
487:
218:), cybersecurity for vehicles and other
49:Oxford University, University of Glasgow
769:
584:
560:
16:American and British computer scientist
1406:British emigrants to the United States
1398:
148:
1226:
743:
568:"Patents by Inventor John Launchbury"
277:. Association for Computing Machinery
240:
1416:Alumni of the University of Glasgow
208:Information Innovation Office (I2O)
186:very-large scale integration (VLSI)
119:Association for Computing Machinery
13:
1411:Alumni of the University of Oxford
716:John Launchbury (August 1, 2009).
145:distinguished dissertation prize.
14:
1447:
541:Galois, Inc (December 24, 2008).
1431:Programming language researchers
1421:Oregon Graduate Institute people
1379:
1378:
1369:
1368:
1358:
1192:
609:
57:Functional Programming Languages
722:. WCF Publishing. p. 200.
709:
685:
661:
636:
603:
578:
534:
516:
470:Andrew Gill; John Launchbury;
463:
433:
406:
382:
357:
316:
289:
263:
1:
415:"Lazy Imperative Programming"
353:– via Semantic Scholar.
256:
477:A short cut to deforestation
369:The Glasgow Haskell Computer
155:Haskell programming language
124:
7:
10:
1452:
443:; John Launchbury (1991).
143:British Computer Society's
1342:
1217:
1201:
1190:
1106:
1075:
1045:
1020:
987:
951:
863:
854:
802:
787:
778:
413:Launchbury, John (1993).
327:. ACM. pp. 144–154.
296:Launchbury, John (1991).
178:Oregon Graduate Institute
96:
84:
76:
68:
61:
53:
45:
37:
28:
21:
813:Glasgow Haskell Compiler
523:McKinney, Laura (2011).
421:. Yale University: 46–56
212:homomorphic cryptography
198:National Security Agency
585:Spencer, Malia (2014).
115:artificial intelligence
839:York Haskell Compiler
498:"Dr. John Launchbury"
391:Jones, Simon L Peyton
333:10.1145/158511.158618
247:doctrine of atonement
188:micro-architectures.
163:Simon L. Peyton Jones
135:University of Glasgow
113:, data analysis, and
1354:Open-source software
472:Simon L Peyton Jones
441:Simon L Peyton Jones
393:(December 1, 1995).
591:www.bizjournals.com
149:Career and research
141:, after it won the
23:Dr. John Launchbury
1309:Simon Peyton Jones
1254:Lennart Augustsson
1209:Real World Haskell
874:Concurrent Haskell
719:Change Us, Not God
673:Cardiff University
389:Launchbury, John;
241:Other publications
1393:
1392:
1385:Category:Software
1244:
1243:
1188:
1187:
1047:Windowing systems
983:
982:
979:
978:
953:Electronic design
697:dayton-daily-news
456:978-0-387-54396-3
309:978-0-521-41497-5
161:partnership with
131:Oxford University
100:
99:
63:Scientific career
41:British, American
1443:
1382:
1381:
1372:
1371:
1362:
1269:Andrew D. Gordon
1224:
1223:
1196:
1022:Package managers
998:Haskell Platform
861:
860:
819:Template Haskell
800:
799:
785:
784:
764:
757:
750:
741:
740:
734:
733:
713:
707:
706:
704:
703:
689:
683:
682:
680:
679:
665:
659:
658:
656:
655:
640:
634:
633:
631:
630:
607:
601:
600:
598:
597:
582:
576:
575:
564:
558:
557:
555:
553:
538:
532:
531:
529:
520:
514:
513:
511:
509:
494:
485:
484:
482:
467:
461:
460:
437:
431:
430:
428:
426:
410:
404:
403:
401:
396:State in Haskell
386:
380:
379:
377:
375:
361:
355:
354:
320:
314:
313:
293:
287:
286:
284:
282:
267:
220:embedded systems
33:
19:
18:
1451:
1450:
1446:
1445:
1444:
1442:
1441:
1440:
1396:
1395:
1394:
1389:
1375:Category:Family
1357:
1338:
1289:John MacFarlane
1284:John Launchbury
1240:
1213:
1197:
1184:
1102:
1071:
1041:
1016:
975:
947:
850:
807:Generic Haskell
791:
789:Implementations
774:
768:
738:
737:
730:
714:
710:
701:
699:
691:
690:
686:
677:
675:
667:
666:
662:
653:
651:
642:
641:
637:
628:
626:
608:
604:
595:
593:
583:
579:
566:
565:
561:
551:
549:
539:
535:
527:
521:
517:
507:
505:
496:
495:
488:
480:
468:
464:
457:
438:
434:
424:
422:
411:
407:
399:
387:
383:
373:
371:
363:
362:
358:
343:
321:
317:
310:
294:
290:
280:
278:
269:
268:
264:
259:
243:
151:
127:
103:John Launchbury
46:Alma mater
24:
17:
12:
11:
5:
1449:
1439:
1438:
1433:
1428:
1423:
1418:
1413:
1408:
1391:
1390:
1388:
1348:= discontinued
1343:
1340:
1339:
1337:
1336:
1331:
1329:Simon Thompson
1326:
1321:
1316:
1311:
1306:
1301:
1296:
1291:
1286:
1281:
1276:
1271:
1266:
1264:Jeremy Gibbons
1261:
1256:
1251:
1245:
1242:
1241:
1239:
1238:
1232:
1230:
1221:
1215:
1214:
1212:
1211:
1205:
1203:
1199:
1198:
1191:
1189:
1186:
1185:
1183:
1182:
1177:
1169:
1163:
1158:
1155:Liquid Haskell
1152:
1144:
1138:
1132:
1126:
1120:
1114:
1107:
1104:
1103:
1101:
1100:
1094:
1088:
1081:
1079:
1077:Web frameworks
1073:
1072:
1070:
1069:
1063:
1057:
1051:
1049:
1043:
1042:
1040:
1039:
1033:
1026:
1024:
1018:
1017:
1015:
1014:
1008:
1002:
993:
991:
985:
984:
981:
980:
977:
976:
974:
973:
964:
957:
955:
949:
948:
946:
945:
939:
933:
925:
917:
909:
903:
895:
889:
883:
877:
871:
864:
858:
852:
851:
849:
848:
836:
824:
823:
822:
810:
803:
797:
782:
776:
775:
767:
766:
759:
752:
744:
736:
735:
729:978-0982409299
728:
708:
684:
660:
635:
602:
577:
572:Justia Patents
559:
533:
515:
502:DARPA Homepage
486:
462:
455:
432:
405:
381:
356:
341:
315:
308:
288:
261:
260:
258:
255:
242:
239:
150:
147:
126:
123:
98:
97:
94:
93:
88:
82:
81:
78:
74:
73:
70:
66:
65:
59:
58:
55:
54:Known for
51:
50:
47:
43:
42:
39:
35:
34:
26:
25:
22:
15:
9:
6:
4:
3:
2:
1448:
1437:
1436:Living people
1434:
1432:
1429:
1427:
1424:
1422:
1419:
1417:
1414:
1412:
1409:
1407:
1404:
1403:
1401:
1387:
1386:
1377:
1376:
1367:
1366:
1361:
1356:
1355:
1350:
1349:
1346:
1341:
1335:
1334:Philip Wadler
1332:
1330:
1327:
1325:
1322:
1320:
1317:
1315:
1312:
1310:
1307:
1305:
1302:
1300:
1299:Conor McBride
1297:
1295:
1292:
1290:
1287:
1285:
1282:
1280:
1277:
1275:
1272:
1270:
1267:
1265:
1262:
1260:
1257:
1255:
1252:
1250:
1247:
1246:
1237:
1236:Haskell Curry
1234:
1233:
1231:
1229:
1225:
1222:
1220:
1216:
1210:
1207:
1206:
1204:
1200:
1195:
1181:
1178:
1175:
1174:
1170:
1167:
1164:
1162:
1159:
1156:
1153:
1150:
1149:
1145:
1142:
1139:
1136:
1133:
1130:
1127:
1124:
1121:
1118:
1115:
1112:
1109:
1108:
1105:
1098:
1095:
1092:
1089:
1086:
1083:
1082:
1080:
1078:
1074:
1067:
1064:
1061:
1058:
1056:
1053:
1052:
1050:
1048:
1044:
1037:
1034:
1031:
1028:
1027:
1025:
1023:
1019:
1012:
1009:
1006:
1003:
1000:
999:
995:
994:
992:
990:
986:
971:
970:SystemVerilog
968:
965:
962:
959:
958:
956:
954:
950:
943:
940:
937:
934:
931:
930:
926:
923:
922:
918:
915:
914:
910:
907:
904:
901:
900:
896:
893:
890:
887:
884:
881:
878:
875:
872:
869:
866:
865:
862:
859:
857:
853:
846:
845:
840:
837:
834:
830:
829:
825:
820:
817:
816:
814:
811:
808:
805:
804:
801:
798:
795:
790:
786:
783:
781:
777:
772:
765:
760:
758:
753:
751:
746:
745:
742:
731:
725:
721:
720:
712:
698:
694:
688:
674:
670:
664:
649:
645:
639:
625:
621:
617:
613:
606:
592:
588:
581:
573:
569:
563:
548:
544:
537:
526:
519:
503:
499:
493:
491:
479:
478:
474:(June 1993).
473:
466:
458:
452:
448:
447:
442:
436:
420:
416:
409:
398:
397:
392:
385:
370:
366:
360:
352:
348:
344:
338:
334:
330:
326:
319:
311:
305:
301:
300:
292:
276:
272:
271:"ACM Fellows"
266:
262:
254:
252:
248:
238:
235:
233:
229:
225:
221:
217:
213:
209:
204:
201:
199:
195:
189:
187:
183:
179:
174:
172:
168:
164:
158:
156:
146:
144:
140:
136:
132:
122:
120:
116:
112:
111:cybersecurity
108:
104:
95:
92:
89:
87:
83:
79:
75:
71:
67:
64:
60:
56:
52:
48:
44:
40:
36:
32:
27:
20:
1383:
1373:
1363:
1351:
1347:
1344:
1314:David Roundy
1294:Simon Marlow
1283:
1259:Richard Bird
1171:
1146:
996:
927:
919:
911:
897:
842:
838:
826:
718:
711:
700:. Retrieved
696:
687:
676:. Retrieved
672:
663:
652:. Retrieved
650:. 2017-04-03
647:
638:
627:. Retrieved
615:
610:Metz, Cade.
605:
594:. Retrieved
590:
580:
571:
562:
552:November 30,
550:. Retrieved
546:
536:
518:
508:21 September
506:. Retrieved
501:
476:
465:
445:
435:
423:. Retrieved
418:
408:
395:
384:
372:. Retrieved
368:
359:
324:
318:
298:
291:
281:21 September
279:. Retrieved
274:
265:
250:
244:
236:
228:data privacy
205:
202:
190:
175:
159:
152:
138:
128:
102:
101:
90:
77:Institutions
62:
1324:Audrey Tang
1304:Erik Meijer
1279:John Hughes
936:TidalCycles
773:programming
648:VentureBeat
374:30 November
249:, entitled
171:do-notation
38:Nationality
1400:Categories
1274:Paul Hudak
1011:QuickCheck
702:2023-08-30
678:2023-08-30
654:2023-08-30
629:2023-08-30
596:2023-08-30
547:Galois.com
425:19 January
342:0897915607
275:ACM Awards
257:References
1219:Community
1180:SQream DB
1129:git-annex
1060:wxHaskell
989:Libraries
624:1059-1028
419:CiteSeerX
125:Education
1319:Joe Stoy
967:Bluespec
856:Dialects
794:features
780:Software
351:14945994
232:Brandeis
1345:Italics
1173:Paradox
1135:Haddock
1111:Cardano
1085:Servant
1055:Fudgets
880:Cryptol
771:Haskell
504:. DARPA
226:), and
216:PROCEED
194:Cryptol
107:DARPA’s
1249:Arvind
1228:Eponym
1166:Pandoc
1161:LOLITA
1123:Ganeti
1066:xmonad
1005:Parsec
921:Orwell
726:
622:
453:
349:
339:
306:
86:Thesis
69:Fields
1148:House
1141:HaXml
1117:Darcs
1097:Yesod
1036:Stack
1030:Cabal
972:(BSV)
913:Ωmega
906:Idris
886:Curry
828:Gofer
616:Wired
528:(PDF)
481:(PDF)
400:(PDF)
347:S2CID
224:HACMS
167:monad
1365:Book
1352:° =
1202:Book
1091:Snap
961:Atom
929:Pugs
899:Hume
868:Agda
833:Hugs
831:° →
724:ISBN
620:ISSN
554:2016
510:2016
451:ISBN
427:2017
376:2016
337:ISBN
304:ISBN
283:2016
892:Elm
844:Yhc
841:° (
329:doi
1402::
942:Ur
815:°
695:.
671:.
646:.
618:.
614:.
589:.
570:.
545:.
500:.
489:^
417:.
367:.
345:.
335:.
273:.
253:.
157:.
121:.
1176:°
1168:°
1157:°
1151:°
1143:°
1137:°
1131:°
1125:°
1119:°
1113:°
1099:°
1093:°
1087:°
1068:°
1062:°
1038:°
1032:°
1013:°
1007:°
1001:°
963:°
944:°
938:°
932:°
924:°
916:°
908:°
902:°
894:°
888:°
882:°
876:°
870:°
847:)
835:°
821:°
809:°
796:)
792:(
763:e
756:t
749:v
732:.
705:.
681:.
657:.
632:.
599:.
574:.
556:.
530:.
512:.
459:.
429:.
378:.
331::
312:.
285:.
230:(
222:(
214:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.