Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
for constructing correctness proofs, yet the standard symbolic methods face significant limitations in both expressivity and scalability. This project proposes novel techniques for constructing formal proofs
-
activities of HLTH Supervise students on research related work and provide guidance to PhD students where appropriate to the discipline Contribute to developing new models, techniques and methods Undertake
-
involves formalization in type theory and the mechanization of results using interactive theorem provers. The project welcomes a broad range of perspectives across functional-imperative programming
-
other regular progress reports, to internal management and to external funders. This will include liaising with any funders to ensure that the DTPs have delivered any formal reporting and ensure contract