Breadcrumb Home About Find staff PRABHAT KUMAR JHA PRABHAT KUMAR JHA Doctoral Student Formal Methods (FM) Mail prabhat.kumar.jha@gu.se Visiting address Rännvägen 6 B 412 58 Göteborg Postal address Box 100 412 96 Göteborg