Trustworthy Systems

TS News

News

2015-02-19 Techfest
NICTA’s Techfest showcase’s over 30 technology demonstrations, including highly secure operating systems for drones, vision processing systems for Australia’s bionic eye, map-based access to open spatial data, and unique 3D GPS tracking software featuring synchronised sound and video.

The Hon. Malcolm Turnbull, Federal Minister for Communications opened the event.
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.
Show older articles