2015-01-15 Workshops
Senior Researcher Toby Murray presented at Core Infrastructure Workshop in London and also presented seL4 security workshop at Oxford Uni and Imperials College, London. Toby's research interests broadly concern the application of formal methods to enable the cost-effective development of secure software and systems

2015-01-06 — Summer Camp

A new SSRG initiative, the Software Summer Camp (SSC) ran 9 high-performing first-year students running from early January to mid Feb. Targeted at students with little or no pre-university programming experienced, the summer camp gives students additional experience building software-systems for real use. The aim is to build students’ confidence, especially targeting members of under-represented groups. Students worked in groups to build embedded systems, which are now being used at NRL. The experiment was considered a success by all participants and will be repeated next summer, with improvements based on what we learned from the trial

2014-12-20 Gernot Heiser named ACM Fellow
Professor Gernot Heiser has been recognised as an ACM Fellow.

2014-12-13 Doctorate Awarded
Andrew Boyton’s PhD thesis has just been officially accepted, without changes from either reviewer and only 2.5 months after submission.

2014-12-05 — Visitors to NICTA and UNSW
Tony Hosking (Purdue) and Haibo Chen (Shanghai'TJ) visited UNSW and NICTA. Both gave seminars and met with staff and students