Statistics
Publications
1
Citations
19
H-Index
1
Active since
2011
Affiliations
Australian National University(Current)
Jimmy Thomson is an author at Australian National University specializing in proof complexity, formal methods, and formal verification.
Publications per year
2011–2011
1
1
1–1 of 1