Get my own profile
Co-authors
Andrew IrelandProfessor of Computer Science, Heriot-Watt UniversityVerified email at hw.ac.uk- Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
- Greg MichaelsonEmeritus Professor of Computer Science, Heriot-Watt UniversityVerified email at hw.ac.uk
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKVerified email at ncl.ac.uk
- Maria Teresa LlanoLecturer, Monash University, Melbourne, AustraliaVerified email at monash.edu
- Alison PeaseUniversity of DundeeVerified email at dundee.ac.uk
- David AspinallProfessor in Computer Science, University of EdinburghVerified email at ed.ac.uk
- Ekaterina KomendantskayaProfessor in Computer Science, Heriot-Watt University, ScotlandVerified email at hw.ac.uk
- Aleks KissingerAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
- Michael ButlerProfessor of Computer Science, University of SouthamptonVerified email at ecs.soton.ac.uk
- Kevin HammondTechnology Manager, IOHKVerified email at iohk.io
- Jónathan HerasUniversity of La RiojaVerified email at unirioja.es
- Colin FarquharPhD Student, Heriot-Watt UniversityVerified email at hw.ac.uk
- Ramin RamezaniImperial College London, University of California, Los AngelesVerified email at ucla.edu
- Hans-Wolfgang LoidlLecturer in the School of Mathematical and Computer Sciences, Heriot-Watt University, EdinburghVerified email at macs.hw.ac.uk
- Stephen MuggletonImperial College LondonVerified email at imperial.ac.uk
- Andrew CropperUniversity of OxfordVerified email at cs.ox.ac.uk
- Stephan MerzSenior Researcher, INRIAVerified email at inria.fr
- Colin O'HalloranTechnical Director - D-RisQVerified email at drisq.com
- Thomas WiesNew York UniversityVerified email at cs.nyu.edu
Gudmund Grov
Senior Scientist, Norwegian Defence Research Establishment
Verified email at ffi.no - Homepage