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

Paul Levy

Computer Science - Reader in Theoretical Computer Science

Person: Academic

1 shared research output

AS Murawski

External person

8 shared research output

G McCusker

External person

4 shared research output

C-HL Ong

External person

4 shared research output

R Lazic

External person

4 shared research output

George A. Constantinides

Imperial College London

External person

4 shared research output

A Dimovski

External person

4 shared research output

Steven Cheung

University of Birmingham

External person

3 shared research output

Shane T. Fleming

Imperial College London

External person

3 shared research output

A SMITH

External person

3 shared research output

David B. Thomas

Imperial College London

External person

2 shared research output

Aliaume Lopez

ENS Cachan

External person

2 shared research output

S Abramsky

External person

2 shared research output

David Thomas

External person

2 shared research output

J Palsberg

External person

2 shared research output

Murdoch J Gabbay

Heriot Watt Univ
Heriot-Watt University

External person

2 shared research output

Khulood Alyahya

University of Exeter

External person

2 shared research output

R Lazić

External person

1 shared research output

A Bakewell

External person

1 shared research output

R Harmer

External person

1 shared research output

I Siveroni

External person

1 shared research output

AS Dimovski

External person

1 shared research output

Samuel Bayliss

External person

1 shared research output

A Podelski

External person

1 shared research output

Alex Smith

External person

1 shared research output

Reuben N. S. Rowe

University of Kent

External person

1 shared research output

A Valmari

External person

1 shared research output

Alex I. Smith

University of Birmingham

External person

1 shared research output

I Walukiewicz

External person

1 shared research output

H Hermanns

External person

1 shared research output

Felix Winterstein

External person

1 shared research output

Marcos Maroñas Bravo

External person

1 shared research output

Ivan Beretta

Imperial College London

External person

1 shared research output

K Jensen

External person

1 shared research output

M Abadi

External person

1 shared research output

Eduardo Aguilar Pelaez

External person

1 shared research output

Bertram Wheen

External person

1 shared research output

IDB Stark

External person

1 shared research output

Daniel Petrisan

Radboud Universiteit

External person

1 shared research output

Fabio Zanasi

University College London

External person

1 shared research output

Mario Alvarez-Picallo

Programming Languages Laboratory

External person

1 shared research output

GA McCusker

External person

1 shared research output

Victor Darvariu

University of Birmingham

External person

1 shared research output

S Kowalewski

External person

1 shared research output

Sam Lindley

University of Edinburgh

External person

1 shared research output

A Philippou

External person

1 shared research output

C Hankin

External person

1 shared research output

M Hoffmann

External person

1 shared research output

DA Schmidt

External person

1 shared research output

Nikos Tzevelekos

Queen Mary, University of London

External person

1 shared research output

Maciej Piróg

External person

1 shared research output