Dan Ghica


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

If you made any changes in Pure these will be visible here soon.


Dive into the research topics where Dan Ghica is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or