Research output per year
Research output per year
Accepting PhD Students
PhD projects
* semantics of programming languages via game semantics and/or
(hierarchical) string diagrams
* string-diagram semantics of digital circuits and their applications
* hierarchical string diagrams: categorical models and graph rewriting
* programming models for the cloud
* programming models for reconfigurable computing
* foundations of machine learning and data science in type theory
* compositional software analysis, verification and validation using game semantics
* semantic analysis of programming languages using machine learning
Research activity per year
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Conference article › peer-review
Research output: Contribution to journal › Article › peer-review
Ghica, D. (Principal Investigator)
Engineering & Physical Science Research Council
1/05/24 → 31/03/27
Project: Research Councils
Ghica, D. (Principal Investigator)
Engineering & Physical Science Research Council
1/12/20 → 31/05/24
Project: Research Councils
Ghica, D. (Principal Investigator)
Engineering & Physical Science Research Council
1/12/16 → 30/11/19
Project: Research Councils
Ghica, D. (Principal Investigator)
Engineering & Physical Science Research Council
17/06/13 → 16/12/16
Project: Research Councils
Ghica, D. (Principal Investigator)
1/10/11 → 30/09/14
Project: Industry