NICTA in Brief Australias National Centre of Excellence in - PDF document

Guido Governatori SSRG Research Leader NICTA in Brief • Australia’s National Centre of Excellence in Information and Communication Technology • Five Research Labs: – ATP: Australian Technology Park, Sydney – NRL: UNSW, Sydney – CRL: ANU, Canberra – VRL: Uni. Melbourne – QRL: Uni. Queensland and QUT • 700 staff including 270 PhD students • Budget: ~$90m/yr from Fed/State Gov and industry • ~600 research papers/year, ~150 patents total �������������������� ��������������������������

NICTA: Research and Outcomes Industry and Government Partners Software Systems Engineering and Engineering and Software Systems Technology Development Technology Development Networks Networks Broadband and the Broadband and the Digital Economy Digital Economy Optimisation Optimisation Infrastructure Transport Infrastructure Transport and Logistics Machine Learning and Logistics Machine Learning Control and Signal Control and Signal Health Health Processing Processing Security and Security and Computer Vision Computer Vision Environment Environment Research Excellence Wealth Creation �������������������� �������������������������� NICTA Business Teams Applications of NBN, Bio-informatics, bio- Defence: software and Infrastructure: smart grid, connected life and digital medical devices, E- systems; Bio-security: smart water; Transport: productivity, E-business, health, genomics and sensing and data roads, traffic and public E-government, business drug discovery management transport; Logistics: Ports, process architectures, rail and distribution secure distributed networks. computing Spin-out companies Industry research engagements �������������������� �������������������������� National outcomes

NICTA Research Groups Understanding Developing Achieving the world fundamental, mechanisms to using images improve the game-changing and image experience of users improvements in sequences when accessing the design, online information implementation, and services, and verification of including wireless software systems networks Real-time control Using scientific Making sense of of large results to the ever distributed model any increasing organisation or dynamic systems amounts of data such as power available around system, grids, water, simulate and the world transport and optimise it security networks Top tier publications and conferences International recognition �������������������� �������������������������� NICTA Outcomes Security software: formal verification technology (NSW) •World-leading ‘crash-proof’ software (sel4 microkernel) •International recognition for this research (MIT listed it in their ‘top 10’ technologies for 2011) Transport (NSW & ACT) •South of Wollongong roundabout (early simulation modelling shows total trip times for traffic are 5% faster) •Australia’s first ‘Living Lab’ (a unique ‘hands-on’ demonstration space for industry and researchers) Water (Farmnet - VIC) •In dairy, achieved a 38% improvement in gross margin •In horticulture (apple orchard), achieved a 73% increase in gross return (AU$/hectare) Logistics (NSW, ACT) •Reduced costs for major bread company route by 7-8% which effectively doubled profit margin for company �������������������� ��������������������������

NICTA Outcomes Health (NSW, ACT, VIC & QLD) •Developed world-leading technology – Bionic Eye •Medical implants to manage chronic pain •Technology developed for ‘drug design’ that is several times faster and more accurate than world best practice Financial Services (NSW) •Ground-breaking work with banking industry to standardise mortgage applications: savings of $50M-$100M per year Digital Economy and eGovt (ACT & NSW, QLD ) •Technology to test new large IT systems before roll-out (ATO) •New cloud-computing disaster recovery technology •Emergency communications standard adopted around world �������������������� �������������������������� Normative Systems • Formal Models of Normative Reasoning Balance between conceptually sound normative models (grounded in current legal theory and legal practice) and computationally oriented approach. Models of norm change including abrogation, annulment considering retroactivity. � �������������������� ��������������������������

Normative Systems • Regulatory Compliance To ensure that business processes of organisations are aligned with relevant normative framework First comprehensive, industry scale model and prototype. Carried out trial with Telecommunication Industry in Australia. Reduction of 40% of time needed to implement compliance initiatives � �������������������� �������������������������� Normative Systems • Legal Drafting and Impact of New Norms Developing methodology to study the impact of changes in legislations. Work with state government to reduce the cost of drafting new pieces of legislation, evaluate the impact of the new norms. Aiming at reducing red tape by 20%. �� �������������������� ��������������������������