Dan Ghica

Dan Ghica

Colleges, School and Institutes

Willingness to take PhD students


PhD projects

Dan Ghica is interested in the theory of programming languages, including semantics, types and logics. He is particularly interested in game semantics and their applications to program verification and hardware compilation. If you are interested in studying for a PhD in any of these areas, please contact Dr Ghica via email.