Alasdair Armstrong

alasdair.armstrong@cl.cam.ac.uk

Computer Laboratory
University of Cambridge
JJ Thomson Avenue
Cambridge
CB3 0FD, UK

I'm currently a research assistant at Cambridge University working with Prof. Peter Sewell on the REMS project. I completed my PhD at the University of Sheffield under the supervision of Dr. Georg Struth, working on algebraic formal methods and rely-guarantee. My current research interests primarily lie in using formal methods to verify real-world programs, especially concurrent programs, and the use of interactive and automated theorem proving technology in this area. I'm also interested transactional memory and dependently-typed functional programming.

Publications

Thesis

My thesis is available online at the White Rose eThesis repository here.

Associated Isabelle theory files may be found on my github page.

Archive of Formal Proofs