Breadcrumb Home About Find staff Wolfgang Ahrendt Wolfgang Ahrendt Assistant Professor Formal Methods (FM) Telephone +46 31-772 10 11 Mail ahrendt@chalmers.se Visiting address Rännvägen 6 41258 Göteborg Room number 6479 Postal address 41296 Göteborg