Dan Ghica

View Scopus Profile

Dan Ghica

Prof

 https://orcid.org/0000-0002-4003-8893

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

20032024

Research activity per year

Filter
Active

Search results