A very warm welcome to Andreas Lööw, who has just started with us as a Post-Doctoral researcher.

Andreas completed his PhD on Building Verified Hardware and Verified Stacks in HOL at Chalmers University of Technology, under the supervision of Magnus Myreen.

Andreas’ research focuses on interactive theorem proving for software and hardware correctness and much of his work revolves around trustworthy hardware; his latest paper, on the development and verification of the Verilog synthesis tool Lutsig was accepted at this year’s POPL’s Certified Programs and Proofs (CPP) series.