Functional interfaces in higher-level synthesis

Date

July 12, 2011

Speaker

Dan Ghica

Affiliation

The University of Birmingham School of Computer Science

Overview

This talk is part of the MEMOCODE conference taking place at Microsoft Research, Cambridge on Monday 11th – Wednesday 13th July 2011.

Speakers

Dan Ghica

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.

‚Äč