I am a Senior Scientist at the Norwegian Defence Research Establishment (FFI). Before that I worked as an Assistant Professor (Lecturer) in Computer Science at Heriot-Watt University in Edinburgh, UK. I have also worked at the University of Edinburgh (School of Informatics) and Newcastle University. Note that most information on this page relates to activities in my previous employments.


View Gudmund Grov's profile on LinkedIn View Gudmund Grov's profile on Google Scholar



Awards, honours & professional memberships

  • SICSA Early Career Industrial Fellowship
  • Fellow of the Higher Education Academy
  • Member of EPSRC Peer Review Associate College 
  • Paper `Towards Formal Proof Script Refactoring' won best paper award at MKM 2011
  • Paper `Tactics for the Dafny Program Verifier' nominated for EATCS award (ETAPS 2016)
  • PhD thesis  [linkPDF] nominated for BCS distinguished dissertation award
  • Distinction awarded for MSc (2004) [linkPDF]
  • Member of the ACM
  • I have been the organiser of the Scottish Theorem Proving (STP) seminar series and the web-coordinater for the Verified Software Initiative
  • Several personal grants and awards: James Watt Scholarship, Knut Hamsuns minnefond, Lise og Arnfinn Hejes fond, Petter Dass‘ stipendiefond, Ludvig Daae Løvestad Legat, Johan Helmich Janson og Marcia Jansons Legat, Direktør Halvor B. Holtas Legat ved NTNU, Nansenfondet og de dermed forbundne fond (Det Norske Videnskaps-Akademi) 
Useful Links