Colleges, School and Institutes
Willingness to take PhD students
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.