Personal information

Verified email addresses

Verified email domains

Activities

Employment (1)

University of Cambridge: Cambridge, GB

2021-09-29 to present | PhD student (Computer Science and Technology)
Employment
Source: Self-asserted source
Thibaut Pérami

Works (1)

An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic

Proceedings of the ACM on Programming Languages
2024-01-05 | Journal article
Contributors: Angus Hammond; Zongyuan Liu; Thibaut Pérami; Peter Sewell; Lars Birkedal; Jean Pichon-Pharabod
Source: check_circle
Crossref