Prof. Ghica is the director of the Programming Language Laboratory in the Huawei Research Centre, Edinburgh.
He is also a programming researcher, researching theoretical aspects of programming languages which include- type systems and Semantics, particularly using string diagrams. He is currently holding an EPSRC Grant for the study of "Nominal string diagrams". The main practical problem he works on is transparently compiling conventional programming languages on unconventional architectures ("seamless computing").