Andreas Lööw’s web page

PhD student at Chalmers University of Technology, adviced by Magnus Myreen, working in interactive theorem proving (in HOL4) and hardware verification.

Mail: l...@chalmers.se – yes, I know Swedish also

Office: Rännvägen 6B, EDIT building, room 5461 (5th floor)

Teaching assistant for:

Other places: GitHub, LinkedIn, ORCID