|
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
|