anu honours thesis

IMAGES

1. Sydney Speaks Master's Thesis Award at ANU 2021

   

2. 2023/24 ANU Angus Nicholson Honours Scholarship

   

3. ANU Thesis

   

4. RSB Outstanding Thesis Prize

   

5. Formalizing Modal Logic in HOL -- Yiming Xu's ANU Mathematics Honours

   

6. ANU honours for Dr Brendan Nelson