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

Teaching assistant for:

Other places: GitHub, LinkedIn