This talk is part of the MEMOCODE conference taking place at Microsoft Research, Cambridge on Monday 11th – Wednesday 13th July 2011.
Dan Ghica is a Lecturer and EPSRC Advanced Research Fellow in the School of Computer Science, University of Birmingham. He obtained his PhD in 2002 from Queen`s University, Kingston, Ontario, Canada.
Before joining the University of Birmingham he was a postdoctoral researcher at the Oxford University Computing Laboratory (2002 to 2005), in the game semantics research group. His research interests focus on various applications of game semantics, especially to program verification and analysis.