Breadcrumb Home About Find staff Jan Smith Jan Smith Professor Logic and Types (LT) Mail jan.smith@chalmers.se Visiting address Rännvägen 6B 41258 Göteborg Postal address 41296 Göteborg