Skip to main content


Contact Information

For more information about Data61's Trustworthy Systems Research Group (TS) please contact the group leader June Andronick.

Group Leader June Andronick
Phone +61 2 9490 5881
Fax +61 2 9490 5804
Email june.andronick [at]
Home Location Kensington (UNSW)
Physical Address Data61
Level 3, K17 Building,
Gate 14, Barker Street,
Kensington NSW 2033
Postal Address Locked Bag 6016
The University of New South Wales
Sydney NSW 1466
Served by Apache on Linux on seL4.