Breadcrumb Home About Find staff Adina Aniculaesei Adina Aniculaesei Postdoctor Formal Methods (FM) Mail adina.aniculaesei@gu.se Visiting address Rännvägen 6 B 412 58 Göteborg Postal address Box 100 412 96 Göteborg