Mr Jimmy Thomson

Nonclassical logics, Automated reasoning, Verification and Synthesis of systems

Updated:  1 June 2019/Responsible Officer:  Dean, CECS/Page Contact:  CECS Marketing