Connect with us
Learn about our research capabilities and how you can get involved with the College.
Connect with us
» People » Mr Jimmy Thomson
Nonclassical logics, Automated reasoning, Verification and Synthesis of systems
Updated: 10 August 2021/Responsible Officer: Dean, CECS/Page Contact: CECS Marketing
+61 2 6125 5111
The Australian National University, Canberra
TEQSA Provider ID: PRV12002 (Australian University)
CRICOS Provider : 00120C
ABN : 52 234 063 906
