2015-02-09 Summer School

The 3rd Software Systems Summer School featured lectures by international leaders in computer systems from industry and academia, interspersed with short student talks. The emphasis was a friendly and informal setting where students learn and obtain feedback from experts. Sessions included Distributed Data, Search and Software Systems, Managed Language Implementation, Performance Analysis, Security and supporting Real-Time Applications, Trust and Safety and Big Data.

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.