Andreas Loow is a Research Assistant working on interactive theorem proving. He was a PhD student at Chalmers University of Technology, under the supervision of Magnus Myreen. Andreas defended his thesis, [Building Verified Hardware and Verified Stacks in HOL](https://www.cse.chalmers.se/~loow/thesis/thesis-final.pdf) in September 2021.
