755:
led to powerful applications in the study of programming languages, offering decisive new insights into the nature of sequentiality, state, control, and many other computational features. It is now leading in turn to new developments in computer-assisted program analysis and verification. An important strand, which also stands as a contribution to logic, is a generalisation of Girard's
Geometry of Interaction, leading to a new genre of full completeness theorems, which characterise the 'space of proofs' of a logic. Previously, Abramsky made important contributions to abstract interpretation, domain theory, lambda calculus and concurrency. He continues to shed light over a broad range of topics by sharp and creative insights, breaking new ground, and bringing order and unity to existing work.
979:
44:
754:
Samson
Abramsky is distinguished for seminal contributions to the mathematical foundations of computation. His outstanding achievement is his development of Game Semantics as a theory of computational processes which exposes the mathematical structure of the information flow between them. This has
669:(1993). He is a member of the editorial boards of the North Holland Studies in Logic and the Foundations of Mathematics, and of the Cambridge Tracts in Theoretical Computer Science. He was general chair of LiCS 2000–2003, and is a member of the LiCS Organizing Committee.
677:
in 2024 which is given for contributions to theoretical computer science over a life long career. Among his work mentioned in the laudation are his contributions to domain theory, game semantics, and categorical approach to quantum computation and
1549:
1169:
1609:
133:
1554:
1579:
1222:
1594:
1539:
1097:
1564:
716:
Samson
Abramsky, Kohei Honda and Guy McCusker. "A Fully Abstract Game Semantics for General References" (1998). The award was presented at LiCS 2018.
421:
1534:
1559:
1544:
437:
289:
662:
33:
1000:
1604:
1599:
719:
Samson
Abramsky and Bob Coecke. "A categorical semantics of quantum protocols." (2004). The award was presented at LiCS 2024.
90:
1569:
1032:
682:
1584:
1574:
1205:
453:
368:
96:
1589:
818:
692:
400:
332:
411:
364:
212:
157:
78:
1241:
1214:
883:
117:
29:
1059:
739:
122:
384:
285:
728:
Senior
Research Fellowship on Foundational Structures and Methods for Quantum Informatics in 2007.
1395:
1303:
473:
431:
425:
388:
320:
293:
207:
202:
197:
1529:
1437:
1385:
1198:
1183:
851:
344:
284:(born 12 March 1953) is a British computer scientist who is a Professor of Computer Science at
1278:
356:
336:
831:
776:
1524:
441:
192:
1133:
8:
1503:
1432:
1400:
1323:
978:
796:
477:
465:
340:
312:
166:
162:
956:
1498:
1370:
892:
611:
469:
316:
1492:
1422:
1318:
1191:
1115:
1014:
924:
666:
328:
1028:
605:. (with E Haghverdi and P Scott). Mathematical Structures in Computer Science 12 (5)
228:
1348:
1044:
1009:
936:
902:
640:
591:. (with S Gay and R Nagarajan). NATO ASI SERIES F COMPUTER AND SYSTEMS SCIENCES 152
240:
1482:
1390:
1298:
1071:
1048:
875:
564:
461:
308:
304:
176:
1487:
1442:
1427:
1358:
1313:
1293:
1273:
995:
800:
706:
Three of his papers won the LiCS Test-of-Time award (a 20-year retrospective):
700:
688:
449:
392:
372:
324:
245:
171:
127:
641:
Robust
Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics
1518:
1454:
1308:
1283:
1261:
1256:
1218:
747:
732:
710:
658:
580:
457:
396:
300:
814:
1417:
1412:
1375:
1353:
1343:
1338:
1333:
1288:
1251:
1246:
941:
906:
1477:
1460:
1448:
1406:
1380:
1364:
1267:
589:
Interaction categories and the foundations of typed concurrent programming
1328:
674:
497:
260:
969:
417:
Lecturer, Department of
Computer Science and Statistics, QMUL, 1980–1983
493:
635:. (with Lucien Hardy). In Physical Review A. Vol. 85. No. ARTN 062114.
86:
1151:
1550:
Members of the
Department of Computer Science, University of Oxford
897:
771:
769:
43:
547:
1213:
628:. (with N. Tzevelekos). In New Structures for Physics. Springer.
855:
766:
383:
Since 2021, Abramsky has been
Professor of Computer Science at
367:(BA 1975, MA Philosophy 1979, Diploma in Computer Science) and
360:
222:
713:
in
Logical Form" (1987). The award was presented at LiCS 2007.
420:
Lecturer, 1983–1988, reader, 1988–1990, professor, 1990–1995,
725:
645:
546:
Abramsky has published over two hundred publications and his
82:
584:. (with A Jung). in Handbook of Logic in Computer Science 3.
558:. (with GL Burn, C Hankin). Science of Computer Programming.
973:
870:
598:. (with D Pavlović). Category Theory and Computer Science
476:. He has recently been working on high-level methods for
448:
Abramsky has played a leading role in the development of
299:
Abramsky's early work included profound contributions to
100:
1610:
2014 fellows of the Association for Computing Machinery
1098:"The EATCS Award 2024 - Laudation for Samson Abramsky"
603:
Geometry of interaction and linear combinatory algebras
391:
since 2004. His research includes the development of
616:. Mathematical Structures in Computer Science 13 (4)
229:
Domain Theory and the Logic of Observable Properties
335:. More recently, he has been applying methods from
456:. Other notable contributions include his work on
1516:
626:Introduction to categories and categorical logic
996:"Computational interpretations of linear logic"
829:
792:
790:
925:"Full Abstraction in the Lazy Lambda Calculus"
687:For contributions to domains in logical form,
556:Strictness analysis for higher-order functions
513:Volume 2: Background: Computational Structures
1199:
620:Some of the later works of Abramsky include:
573:Computational Interpretations of Linear logic
540:Volume 6: Logical methods in computer science
506:Volume 1: Background: Mathematical Structures
1555:Academics of Queen Mary University of London
787:
568:. Research Topics in Functional Programming.
307:. Since then, his work has covered the lazy
1580:British people of Belarusian-Jewish descent
919:
438:Christopher Strachey Professor of Computing
430:Professor of Theoretical Computer Science,
290:Christopher Strachey Professor of Computing
1206:
1192:
977:
810:
808:
371:(PhD Computer Science 1988, supervised by
42:
1595:Fellows of the Royal Society of Edinburgh
1540:Alumni of Queen Mary University of London
1038:
1013:
940:
896:
1565:Academics of the University of Edinburgh
1144:
1126:
990:
874:; Jagadeesan, R.; Malacaria, P. (2000).
663:Fellow of the Royal Society of Edinburgh
483:
949:
805:
1517:
823:
378:
1187:
1162:
1116:"BCS Academy of Computing | BCS"
1090:
845:
652:
644:. (with G. Gottlob and P. Kolaitis).
575:. in Theoretical Computer Science 111
534:Volume 5: Logic and Algebraic Methods
490:Handbook of Logic in Computer Science
1560:Academics of Imperial College London
1072:"Professor Samson Abramsky FRS FRSE"
488:Samson Abramsky co-edited 6 Volumes
1535:Alumni of King's College, Cambridge
1060:Samson Abramsky : Publications
1022:
963:
13:
1545:Fellows of Wolfson College, Oxford
454:semantics of programming languages
14:
1621:
596:Specifying interaction categories
357:Hasmonean Grammar School for Boys
303:and the connections thereof with
369:Queen Mary, University of London
1108:
1064:
1053:
984:
957:"Samson Abramsky LinkedIn page"
406:His earlier positions include:
97:Queen Mary University of London
1076:The Royal Society of Edinburgh
913:
864:
852:Samson Abramsky's publications
746:Abramsky's nomination for the
472:, interaction categories, and
452:, and its applications to the
387:. He has been a Fellow of the
1:
1170:"DServe Archive Catalog Show"
819:Mathematics Genealogy Project
759:
693:categorical quantum mechanics
520:Volume 3: Semantic Structures
401:categorical quantum mechanics
333:categorical quantum mechanics
319:, interaction categories and
1605:Members of Academia Europaea
1600:Fellows of the Royal Society
1174:collections.royalsociety.org
1015:10.1016/0304-3975(93)90181-R
1001:Theoretical Computer Science
657:Abramsky is a Fellow of the
527:Volume 4: Semantic Modelling
350:
213:General Electric Company plc
158:Theoretical computer science
7:
1570:British computer scientists
1031:author profile page at the
929:Information and Computation
884:Information and Computation
695:, and contextual semantics.
550:was 57 as of October 2019.
331:. Notably, he co-pioneered
10:
1626:
1365:Stephen Edgar Halford
876:"Full Abstraction for PCF"
740:Royal Society of Edinburgh
460:in logical form, the lazy
16:British computer scientist
1585:Jewish British scientists
1575:20th-century British Jews
1470:
1381:David William Holden
1229:
1134:"LICS Test-of-Time Award"
681:He was elected Fellow of
633:Logical Bell Inequalities
385:University College London
365:King's College, Cambridge
355:Abramsky was educated at
286:University College London
255:
251:
239:
221:
185:
150:
143:
110:
79:King's College, Cambridge
71:
53:
41:
23:
1047:publications indexed by
923:; Ong, C. H. L. (1993).
858:bibliographic database.
838:. Bloomsbury Publishing.
832:"ABRAMSKY, Prof. Samson"
830:A & C Black (2014).
799:publications indexed by
665:(2000), and a Member of
288:. He was previously the
1407:William Motherwell
860:(subscription required)
841:(subscription required)
699:He was awarded the BCS
474:geometry of interaction
432:University of Edinburgh
426:Imperial College London
422:Department of Computing
343:, with applications to
321:geometry of interaction
294:Wolfson College, Oxford
208:Imperial College London
203:University of Cambridge
198:University of Edinburgh
1461:Dale Brian Wigley
1438:Peter St George-Hyslop
1152:"ICALP/LICS/FSCD 2024"
942:10.1006/inco.1993.1044
907:10.1006/inco.2000.2930
757:
345:descriptive complexity
1590:Formal methods people
752:
484:Selected publications
412:GEC Computers Limited
399:in logical form, and
337:categorical semantics
296:, from 2000 to 2021.
1478:K. Frank Austen
1449:David Tollervey
976:Bibliography Server
777:"Mr Samson Abramsky"
442:University of Oxford
193:University of Oxford
48:Abramsky in May 2005
1504:F. Sherwood Rowland
1433:David Henry Solomon
1428:Nancy Rothwell
1401:John F. B. Mitchell
1324:David B. A. Epstein
673:He was awarded the
478:quantum computation
466:strictness analysis
379:Career and research
341:finite model theory
313:strictness analysis
163:Quantum information
1499:Michele Parrinello
1371:Andrew D. Hamilton
1268:Malcolm Brown
1049:Microsoft Academic
724:He was awarded an
709:Samson Abramsky. "
653:Awards and honours
614:in games and logic
610:Sequentiality vs.
480:and information.
470:concurrency theory
317:concurrency theory
1512:
1511:
1493:Elliot Meyerowitz
1423:Carol V. Robinson
1319:Richard M. Durbin
1247:Julian Besag
667:Academia Europaea
329:quantum computing
279:
278:
145:Scientific career
1617:
1349:Vernon C. Gibson
1208:
1201:
1194:
1185:
1184:
1178:
1177:
1166:
1160:
1159:
1148:
1142:
1141:
1130:
1124:
1123:
1112:
1106:
1105:
1094:
1088:
1087:
1085:
1083:
1068:
1062:
1057:
1051:
1042:
1036:
1026:
1020:
1019:
1017:
988:
982:
981:
967:
961:
960:
953:
947:
946:
944:
917:
911:
910:
900:
880:
868:
862:
861:
849:
843:
842:
839:
827:
821:
812:
803:
794:
785:
784:
773:
275:
272:
270:
268:
266:
264:
262:
241:Doctoral advisor
235:
67:
63:
61:
46:
36:
21:
20:
1625:
1624:
1620:
1619:
1618:
1616:
1615:
1614:
1515:
1514:
1513:
1508:
1483:Peter Goldreich
1466:
1391:Malcolm Longair
1386:David Kemp
1299:Partha Dasgupta
1242:Spencer Barrett
1237:Samson Abramsky
1225:
1212:
1182:
1181:
1168:
1167:
1163:
1150:
1149:
1145:
1132:
1131:
1127:
1114:
1113:
1109:
1096:
1095:
1091:
1081:
1079:
1070:
1069:
1065:
1058:
1054:
1045:Samson Abramsky
1043:
1039:
1035:Digital Library
1029:Samson Abramsky
1027:
1023:
989:
985:
970:Samson Abramsky
968:
964:
955:
954:
950:
918:
914:
878:
869:
865:
859:
854:indexed by the
850:
846:
840:
828:
824:
815:Samson Abramsky
813:
806:
797:Samson Abramsky
795:
788:
775:
774:
767:
762:
655:
565:Lambda Calculus
486:
462:lambda calculus
381:
353:
309:lambda calculus
305:geometric logic
282:Samson Abramsky
259:
233:
217:
181:
177:Category Theory
139:
106:
72:Alma mater
65:
59:
57:
49:
37:
28:
26:
25:Samson Abramsky
17:
12:
11:
5:
1623:
1613:
1612:
1607:
1602:
1597:
1592:
1587:
1582:
1577:
1572:
1567:
1562:
1557:
1552:
1547:
1542:
1537:
1532:
1527:
1510:
1509:
1507:
1506:
1501:
1496:
1490:
1488:Jane Lubchenco
1485:
1480:
1474:
1472:
1468:
1467:
1465:
1464:
1457:
1452:
1445:
1443:Chris Stringer
1440:
1435:
1430:
1425:
1420:
1415:
1410:
1403:
1398:
1393:
1388:
1383:
1378:
1373:
1368:
1361:
1359:Bryan Grenfell
1356:
1351:
1346:
1341:
1336:
1331:
1326:
1321:
1316:
1314:Graham Dockray
1311:
1306:
1301:
1296:
1294:Anthony Cullis
1291:
1286:
1281:
1276:
1274:Richard Catlow
1271:
1264:
1259:
1254:
1249:
1244:
1239:
1233:
1231:
1227:
1226:
1211:
1210:
1203:
1196:
1188:
1180:
1179:
1161:
1156:compose.ioc.ee
1143:
1125:
1107:
1089:
1063:
1052:
1037:
1021:
983:
962:
948:
912:
863:
844:
822:
804:
801:Google Scholar
786:
781:awards.acm.org
764:
763:
761:
758:
744:
743:
738:Fellow of the
736:
731:Fellow of the
729:
722:
721:
720:
717:
714:
704:
701:Lovelace Medal
697:
689:game semantics
679:
654:
651:
650:
649:
636:
629:
618:
617:
606:
599:
592:
585:
576:
569:
559:
544:
543:
537:
530:
523:
516:
509:
485:
482:
450:game semantics
446:
445:
435:
428:
418:
415:
393:game semantics
380:
377:
373:Richard Bornat
352:
349:
325:game semantics
277:
276:
257:
253:
252:
249:
248:
246:Richard Bornat
243:
237:
236:
225:
219:
218:
216:
215:
210:
205:
200:
195:
189:
187:
183:
182:
180:
179:
174:
172:Game semantics
169:
160:
154:
152:
148:
147:
141:
140:
138:
137:
131:
128:Lovelace Medal
125:
120:
114:
112:
108:
107:
105:
104:
94:
75:
73:
69:
68:
55:
51:
50:
47:
39:
38:
27:
24:
15:
9:
6:
4:
3:
2:
1622:
1611:
1608:
1606:
1603:
1601:
1598:
1596:
1593:
1591:
1588:
1586:
1583:
1581:
1578:
1576:
1573:
1571:
1568:
1566:
1563:
1561:
1558:
1556:
1553:
1551:
1548:
1546:
1543:
1541:
1538:
1536:
1533:
1531:
1530:Living people
1528:
1526:
1523:
1522:
1520:
1505:
1502:
1500:
1497:
1494:
1491:
1489:
1486:
1484:
1481:
1479:
1476:
1475:
1473:
1469:
1463:
1462:
1458:
1456:
1455:Nicholas Wald
1453:
1451:
1450:
1446:
1444:
1441:
1439:
1436:
1434:
1431:
1429:
1426:
1424:
1421:
1419:
1416:
1414:
1411:
1409:
1408:
1404:
1402:
1399:
1397:
1394:
1392:
1389:
1387:
1384:
1382:
1379:
1377:
1374:
1372:
1369:
1367:
1366:
1362:
1360:
1357:
1355:
1352:
1350:
1347:
1345:
1342:
1340:
1337:
1335:
1332:
1330:
1327:
1325:
1322:
1320:
1317:
1315:
1312:
1310:
1309:Caroline Dean
1307:
1305:
1302:
1300:
1297:
1295:
1292:
1290:
1287:
1285:
1284:Gordon Conway
1282:
1280:
1277:
1275:
1272:
1270:
1269:
1265:
1263:
1262:Donal Bradley
1260:
1258:
1257:Martin Bobrow
1255:
1253:
1250:
1248:
1245:
1243:
1240:
1238:
1235:
1234:
1232:
1228:
1224:
1220:
1219:Royal Society
1216:
1209:
1204:
1202:
1197:
1195:
1190:
1189:
1186:
1175:
1171:
1165:
1157:
1153:
1147:
1139:
1135:
1129:
1121:
1117:
1111:
1103:
1099:
1093:
1078:. 19 May 2017
1077:
1073:
1067:
1061:
1056:
1050:
1046:
1041:
1034:
1030:
1025:
1016:
1011:
1008:(1–2): 3–57.
1007:
1003:
1002:
997:
993:
987:
980:
975:
971:
966:
958:
952:
943:
938:
934:
930:
926:
922:
916:
908:
904:
899:
894:
890:
886:
885:
877:
873:
867:
857:
853:
848:
837:
833:
826:
820:
816:
811:
809:
802:
798:
793:
791:
782:
778:
772:
770:
765:
756:
751:
749:
748:Royal Society
741:
737:
734:
733:Royal Society
730:
727:
723:
718:
715:
712:
711:Domain theory
708:
707:
705:
702:
698:
696:
694:
690:
684:
680:
676:
672:
671:
670:
668:
664:
660:
659:Royal Society
647:
643:
642:
637:
634:
630:
627:
623:
622:
621:
615:
613:
607:
604:
600:
597:
593:
590:
586:
583:
582:
581:Domain Theory
577:
574:
570:
567:
566:
560:
557:
553:
552:
551:
549:
541:
538:
535:
531:
528:
524:
521:
517:
514:
510:
507:
503:
502:
501:
499:
495:
491:
481:
479:
475:
471:
467:
463:
459:
458:domain theory
455:
451:
443:
439:
436:
433:
429:
427:
423:
419:
416:
413:
409:
408:
407:
404:
402:
398:
397:domain theory
394:
390:
389:Royal Society
386:
376:
374:
370:
366:
362:
358:
348:
346:
342:
338:
334:
330:
326:
322:
318:
314:
310:
306:
302:
301:domain theory
297:
295:
291:
287:
283:
274:
258:
254:
250:
247:
244:
242:
238:
231:
230:
226:
224:
220:
214:
211:
209:
206:
204:
201:
199:
196:
194:
191:
190:
188:
184:
178:
175:
173:
170:
168:
164:
161:
159:
156:
155:
153:
149:
146:
142:
135:
132:
129:
126:
124:
121:
119:
116:
115:
113:
109:
102:
98:
95:
92:
88:
84:
80:
77:
76:
74:
70:
66:(age 71)
64:12 March 1953
56:
52:
45:
40:
35:
31:
22:
19:
1459:
1447:
1418:John A. Pyle
1413:David Preiss
1405:
1376:Edward Hinds
1363:
1354:Lynn Gladden
1344:Carlos Frenk
1339:Norman Fleck
1334:Bland Finlay
1289:Lennox Cowie
1279:Graeme Clark
1266:
1252:Tim Birkhead
1236:
1173:
1164:
1155:
1146:
1137:
1128:
1119:
1110:
1101:
1092:
1080:. Retrieved
1075:
1066:
1055:
1040:
1024:
1005:
999:
992:Abramsky, S.
991:
986:
965:
951:
932:
928:
921:Abramsky, S.
920:
915:
888:
882:
872:Abramsky, S.
871:
866:
847:
835:
825:
780:
753:
745:
686:
678:information.
656:
639:
632:
625:
619:
609:
602:
595:
588:
579:
572:
562:
555:
545:
539:
533:
526:
519:
512:
505:
489:
487:
447:
410:Programmer,
405:
382:
354:
298:
281:
280:
227:
186:Institutions
144:
18:
1525:1953 births
1396:Alan Martin
1329:Gerard Evan
1120:www.bcs.org
675:EATCS Award
612:concurrency
498:Tom Maibaum
444:, 2000–2021
434:, 1996–2000
414:, 1976–1978
167:foundations
1519:Categories
1138:siglog.org
1082:27 January
935:(2): 159.
891:(2): 409.
760:References
661:(2004), a
494:Dov Gabbay
134:ACM Fellow
60:1953-03-12
1102:eatcs.org
898:1311.6125
836:Who's Who
563:The Lazy
351:Education
273:.abramsky
1304:Nick Day
1221:elected
994:(1993).
1471:Foreign
1230:Fellows
1223:in 2004
1217:of the
1215:Fellows
817:at the
750:reads:
703:in 2013
685:(2014)
548:h-index
363:and at
271:/samson
256:Website
136:(2014)
1495:
856:Scopus
742:(2000)
735:(2004)
638:2013.
631:2012.
624:2010.
608:2003.
601:2002.
594:1997.
587:1996.
578:1994.
571:1993.
561:1990.
554:1986.
532:2001.
525:1995.
518:1995.
511:1992.
504:1992.
361:Hendon
234:(1987)
232:
223:Thesis
151:Fields
130:(2013)
111:Awards
893:arXiv
879:(PDF)
726:EPSRC
646:IJCAI
492:with
91:Dipl.
32:
1084:2019
974:DBLP
496:and
327:and
165:and
123:FRSE
54:Born
34:FRSE
1033:ACM
1010:doi
1006:111
972:at
937:doi
933:105
903:doi
889:163
683:ACM
375:).
339:to
292:at
269:.uk
267:.ac
265:.ox
263:.cs
261:www
118:FRS
101:PhD
30:FRS
1521::
1172:.
1154:.
1136:.
1118:.
1100:.
1074:.
1004:.
998:.
931:.
927:.
901:.
887:.
881:.
834:.
807:^
789:^
779:.
768:^
691:,
500::
468:,
464:,
440:,
424:,
403:.
395:,
359:,
347:.
323:,
315:,
311:,
89:,
87:MA
85:,
83:BA
62:)
1207:e
1200:t
1193:v
1176:.
1158:.
1140:.
1122:.
1104:.
1086:.
1018:.
1012::
959:.
945:.
939::
909:.
905::
895::
783:.
648:.
542:.
536:.
529:.
522:.
515:.
508:.
103:)
99:(
93:)
81:(
58:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.