About
Dr Alasdair Armstrong is a Research Staff member in the Department of Computer Science and Technology at the University of Cambridge. His research focuses on Programming Languages, Semantics and Verification, Systems and Networking, and Computer Architecture. He is affiliated with the Programming Languages, Semantics and Verification research group within the department.
His work contributes to advancing theoretical and applied aspects of computational systems, including formal methods for software reliability and hardware-software interactions. Contact him via aa2019@cam.ac.uk.
0Publications listed
Find Alasdair Armstrong elsewhere
Related Searches
You Might Also Like
- AAlfredo MazzinghiUniversity of Cambridge · Researcher
Peter SewellUniversity of Cambridge · Professor- DDavid Kaloper MersinjakUniversity of Cambridge · Researcher
- JJessica ClarkeUniversity of Cambridge · Researcher
Christopher PulteUniversity of Cambridge · Research Fellow
Utpal BoraUniversity of Cambridge · Researcher