Dan Ghica – Network — University of Birmingham

View Scopus Profile

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

The University of Birmingham

Organisational unit: University

68 shared research output

Engineering and Physical Sciences

The University of Birmingham

Organisational unit: College

66 shared research output

Imperial College London

External organisation: University or other Higher Education Institute

4 shared research output

University of Birmingham

External organisation: University or other Higher Education Institute

4 shared research output

University of Exeter

External organisation: University or other Higher Education Institute

2 shared research output

King Saud University

External organisation: University or other Higher Education Institute

2 shared research output

Kyoto University

External organisation: University or other Higher Education Institute

2 shared research output

Paris-Saclay University

External organisation: University or other Higher Education Institute

2 shared research output

University College London

External organisation: University or other Higher Education Institute

1 shared research output

Heriot Watt Univ

External organisation: University or other Higher Education Institute

1 shared research output

European Space Agcy

External organisation: Not-known

1 shared research output

Radboud Universiteit

External organisation: University or other Higher Education Institute

1 shared research output

Huawei Research

External organisation: Unknown

1 shared research output

Huawei Research Centre

External organisation: Unknown

1 shared research output

Heriot-Watt University

External organisation: University or other Higher Education Institute

1 shared research output

Queen Mary, University of London

External organisation: University or other Higher Education Institute

1 shared research output

University of Kent

External organisation: University or other Higher Education Institute

1 shared research output

Programming Languages Laboratory

External organisation: Unknown

1 shared research output