Trustworthy Systems

TS News

News

2014-11-17 German Chancellor Angela Merkel arrived at the National ICT Australia’s offices in Sydney
The German Chancellor and most powerful woman in the world had a host of post-G20 commitments in Sydney and chose to spend 45 minutes touring NICTA’s labs near Redfern. She was accompanied by Communications Minister Malcolm Turnbull and Industry Minister Ian Macfarlane during her tour of NICTA. more
2014-09-30 Seminar Pablo González de Aledo - Symbolic-Execution for software verification
In this talk Pablo is going to talk about his work on symbolic execution and how the technique can be used for different purposes in software verification, particularly Automated Test Pattern Generation, Model-Checking, bug detection and equivalence checking. Future work and possible collaborations with Nicta in this area will be spotted
2014-09-26 A Software Architect's Perspective
Len Bass, Ingo Weber and Liming Zhu completed the first pass of the book DevOps: A software Architect's perspective and it has been written and posted to SlideShare.
2014-09-19 Entrepreneur of the Year award
Prof Gernot Heiser was awarded Entrepreneur of the year award at the Engineers Australia 2014 Sydney Engineering Excellence awards.
2014-09-06 UNSW Open Day
UNSW open day had an SSRG stand showing the quadcopters and SMACCM video
Show older articles