Dr Dan Ghica

Dr Dan Ghica

School of Computer Science

Contact details

School of Computer Science
University of Birmingham
B15 2TT

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