PhD Students

PhD Project Suggestion: Non-standard Applications of Formal Methods

Howard Bowman

Formal methods are powerful tools for abstractly describing and analysing systems. Many such techniques exist including, Z, Object-Z, CSP, LOTOS, temporal logics, etc. The idea of the proposed project is to investigate how such techniques can be applied to analysing applications outside the normal remit of formal methods. Many different classes of application could be considered, including modelling biological or physics systems, analysing formal documents or even cognitive systems.

See this page for more information,