Xin Gao - Research Engineer
Trustworthy Embedded Systems Project
Research Interests
I am now doing master of math in ANU and working part time in NICTA. My interests including symbolic computation and fourier analysis. I am now working in the l4 Verified group.
Contact Details
| Email: | Xin.Gao@nicta.com.au |
|---|
More contact information is available at the ERTOS Contacts page.