Самсон Абрамский
-
Профессиональная карьера Самсона Абрамски
- Профессор компьютерных наук в Университетском колледже Лондона с 2021 года.
- Ранее профессор вычислительной техники в Оксфорде с 2000 по 2021 год.
-
Вклад в науку
- Ранние работы Абрамски внесли значительный вклад в теорию предметной области и геометрическую логику.
- Его исследования охватывают ленивое лямбда-исчисление, анализ строгости, теорию параллелизма, категории взаимодействия и геометрию взаимодействия.
- Абрамски является одним из основоположников категориальной квантовой механики.
-
Образование и карьера
- Получил образование в Хасмонейской средней школе и Королевском колледже в Кембридже, а также в Лондонском университете королевы Марии.
- Работал программистом, преподавателем и профессором в различных университетах, включая Имперский колледж Лондона и Эдинбургский университет.
-
Избранные публикации и награды
- Опубликовал более 200 работ, его индекс Хирша составляет 57.
- Получил множество наград, включая медаль BCS Lovelace Medal и премию LiCS Test-of-Time award.
-
Членство в научных обществах
- Член Королевского общества с 2004 года, член Королевского общества Эдинбурга с 2000 года и член Европейской академии с 1993 года.
- Член редколлегий научных журналов и Кембриджского трактата по теоретической информатике.
-
Рекомендации
- Абрамски известен своим вкладом в математические основы вычислений и семантику игр.
- Его работы привели к новым разработкам в области компьютерного анализа и верификации программ.
Полный текст статьи: