Alasdair Armstrong

Research Staff · Department of Computer Science and Technology

University of Cambridge · United Kingdom

Programming LanguagesSemantics and VerificationSystems and NetworkingComputer Architecture

About

Dr Alasdair Armstrong is a research staff member at the Department of Computer Science and Technology, University of Cambridge. His research themes include programming languages, semantics and verification, systems and networking, and computer architecture.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.