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

Projects 2009 2023

Active

Trust: Trusted Systems

Ghani, N., McBride, C. & Nordvall Forsberg, F.

1/10/1930/09/23

Project: Research

Doctoral Training Partnership 2018-19 University of Strathclyde | Gavranovic, Bruno

Ghani, N., Weir, G. & Gavranovic, B.

EPSRC (Engineering and Physical Sciences Research Council)

1/10/191/10/22

Project: Research Studentship - Internally AllocatedResearch Studentship (Internally Allocated)

Finished
Programming theory
Computer programming languages
Costs
Reusability
Model checking

Doctoral Training Partnership (DTA - University of Strathclyde) | Dunne, Kevin

Duncan, R., Ghani, N. & Dunne, K.

EPSRC (Engineering and Physical Sciences Research Council)

1/10/1419/09/19

Project: Research Studentship - Internally AllocatedResearch Studentship (Internally Allocated)

Implementing Units of Measure in Haskell

Ghani, N.

EPSRC (Engineering and Physical Sciences Research Council)

1/06/1430/09/15

Project: Research - Internally AllocatedResearch (Internally Allocated)

Computer programming languages
Nuclear weapons
Software engineering
Feedback
Communication

Doctoral Training Grant | Andjelkovic, Stevan

McBride, C., Ghani, N. & Andjelkovic, S.

EPSRC (Engineering and Physical Sciences Research Council)

1/10/111/04/15

Project: Research Studentship - Internally AllocatedResearch Studentship (Internally Allocated)

Reusability
Containers
Marketing
Software engineering
Students
Computer programming
Computer programming languages
Semantics
Functional programming
Error detection
Computer programming languages
Computer programming
Computer science
Recursive functions
Mathematical models