Scholar
Gudmund Grov
Google Scholar ID: rvhFeRoAAAAJ
Senior Scientist, Norwegian Defence Research Establishment
Citations & Impact
Citations
206
H-index
7
i10-index
5
Publications
20
Co-authors
18
list available
Contact
Publications
Resume (English only)
Academic Achievements
- SICSA Early Career Industrial Fellowship; Fellow of the Higher Education Academy; Member of EPSRC Peer Review Associate College; Multiple papers won or nominated for best paper awards, such as 'Mission-Aware Cyber Incident Response Generation Using Reinforcement Learning' at ICMCIS 2025; 'Towards Formal Proof Script Refactoring' at MKM 2011; 'Tactics for the Dafny Program Verifier' nominated for EATCS award (ETAPS 2016); 'Towards Data-Driven Autonomous Cyber Defence for Military Unmanned Vehicles With Autonomous Capabilities - Threats & Attacks' nominated for best paper at MILCOM 2022.
Research Experience
- Principal Scientist at the Norwegian Defence Research Establishment (FFI); Adjunct Associate Professor at the University of Oslo; Assistant Professor at Heriot-Watt University; Worked at the University of Edinburgh and Newcastle University.
Education
- PhD thesis entitled 'Reasoning About Correctness Properties of a Coordination Language' (March 2009). MSc with distinction (2004). Several personal grants and awards, including James Watt Scholarship, Knut Hamsuns minnefond, etc.
Background
- Principal Scientist at the Norwegian Defence Research Establishment (FFI) and an Adjunct Associate Professor at the University of Oslo (Digital Security Group at Department of Informatics). Previously, he worked as an Assistant Professor (Lecturer) in Computer Science at Heriot-Watt University in Edinburgh, UK. He has also worked at the University of Edinburgh (School of Informatics) and Newcastle University.
Miscellany
- LinkedIn profile; Co-organizer of multiple academic conferences and workshops, such as Cyberhunt 2024, Dafny Autumn School (2016), AVoCS 2015, etc.; Guest editor for special issues in 'Science of Computer Programming'.
