Dr Dan Ghica is a Reader in Semantics of Programming Languages, in the School of Computer Science at the University of Birmingham. He is also a member of Theory of Computation research group.
Dan is currently studying programming languages using type systems and semantics, particularly game semantics. The main problem he works on is transparently compiling conventional programming languages on unconventional architectures (seamless computing).
Please follow the link below to find out more about Dan's work:
Dr Dan Ghica - personal webpage