Alasdair Armstrong

Computer Laboratory
University of Cambridge
JJ Thomson Avenue

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.



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