Specify, verify, and refactor Fortran code
Team
- Dominic Orchard (Principal investigator, University of Kent and University of Cambridge)
- Andrew Rice (Co-investigator, University of Cambridge)
- Alan Mycroft (Co-investigator, University of Cambridge)
- Ben Orchard (Research Assistant, University of Kent)
Past members
- Matthew Danish (2015-2018, Research associate)
- Mistral Contrastin (PhD candidate / Research assistant)
- Vilem-Benjamin Liepelt (intern 2017, Kent)
- Ben Moon (intern 2017, Kent)
- Harry Clarke (intern 2017, Kent)
- Brad Hardy (intern 2017, Cambridge)
- Oleg Oshmyan (Masters' student, Cambridge)
