Reader Phone: +44 (0)121 414 8819 Office: UG35 Web: https://www.cs.bham.ac.uk/~drg
I am interested in the theory of programming languages: semantics, types, logics. I am particularly interested in game semantics and their applications to program verification and hardware compilation:
- An introduction to and history of Game Semantics: Applications of Game Semantics: From Software Analysis to Ha rdware Synthesis LICS 2009 (invited tutorial paper), Twenty-Fourth Annual IEEE Symposium on Logic in Computer Science, Los Angeles, California, USA.
- An introduction to the Geometry of Synthesis, a new way of synthesising digital circuits using semantic concepts: Function Interface Models for Hardware Compilation (invited tutorial paper) MEMOCODE 2011. ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign Cambridge, UK. July 11-13, 2011