Mr Jimmy Thomson

Nonclassical logics, Automated reasoning, Verification and Synthesis of systems

Updated:  10 August 2021/Responsible Officer:  Dean, CECS/Page Contact:  CECS Marketing