ssrg.nicta.com.au

nicta.com.au

Summer Scholars Program | NICTA

http://www.nicta.com.au/education/summer-scholars-program

Broadband and the Digital Economy. Infrastructure, transport and logistics. Engineering and Technology Development. Why come to NICTA? Summer Scholars Program NICTA. Summer Scholars Program Brochure. NICTA funds scholarship opportunities in a variety of Summer or Vacation programs offered through our partner Universities. The Summer Scholars Program offers eligible students the. Opportunity to spend 8 to 12 weeks over the summer at one of our five labs in Sydney, Melbourne, Brisbane and Canberra. The res...

nicta.com.au

Work experience | NICTA

http://www.nicta.com.au/education/work-experience

Broadband and the Digital Economy. Infrastructure, transport and logistics. Engineering and Technology Development. Why come to NICTA? As part of the Work Experience Program, NICTA is offering regular placements to students enrolled in Year 9 to Year 12 in Australia. The placements are usually for one week, at one of. The NICTA national locations. What’s Up at NICTA? Brigidine College Randwick, NSW. International French School of Sydney, NSW. During my week at NICTA, I worked on a machine learning projec...

nicta.com.au

Publications | NICTA

http://www.nicta.com.au/publications

Broadband and the Digital Economy. Infrastructure, transport and logistics. Engineering and Technology Development. Why come to NICTA? Including conference papers, journal publications, book chapters, poster presentations and other presentations. Find our annual research reports, annual activity plans, reports to the Australian Government, brochures and other collateral. 8 December 2015 4:00pm. Real World Problems in Supply Chains An Economic Perspective. 16 September 2015 4:30pm. About 1 day ago. FinTer...

nicta.com.au

Industry Engagement | NICTA

http://www.nicta.com.au/category/industry-engagement

Broadband and the Digital Economy. Infrastructure, transport and logistics. Engineering and Technology Development. Why come to NICTA? Our business areas are the market sectors where we seek the majority of our use-inspiration. They provide a focus for our industry interaction and business development activities. Work with NICTA’s best to solve them. Broadband and the Digital Economy. Infrastructure, Transport and Logistics. Water pipe failure prediction. May 18, 2015. All News for Industry Engagement.

nicta.com.au

Creating companies | NICTA

http://www.nicta.com.au/creating-companies

Broadband and the Digital Economy. Infrastructure, transport and logistics. Engineering and Technology Development. Why come to NICTA? NICTA is building a stronger Australian ICT sector through the commercialisation of our research. This can take the form of spin-out companies, licensing deals, joint ventures, consultancy or contract research. NICTA spin-outs have employed over 130 staff to date. 8 December 2015 4:00pm. Real World Problems in Supply Chains An Economic Perspective. 16 September 2015 4:30pm.

gernot-heiser.org

Short CV of Gernot Heiser

http://www.gernot-heiser.org/persona/cv.html

April 2011 – now. Leader, Software Systems Research Group. January 2011 – now. January 2009 – now. John Lions Chair in Operating Systems. January 2007 – June 2010. Chief Technology Officer, Open Kernel Labs. March 2003 – now. Seconded to newly-created NICTA. To build the Embedded Real-time Operating Systems Research Group. May 2002 – December 2008. Professor of Operating Systems. July 1998 – May 2002. March 1997 – now. Leader, Computer Systems Engineering Group. July 1994 – June 1998.

nicta.com.au

People | NICTA | National ICT Australia

http://www.nicta.com.au/people/norrishm

Broadband and the Digital Economy. Infrastructure, transport and logistics. Engineering and Technology Development. Why come to NICTA? People NICTA National ICT Australia. We've updated our website. The page you were looking for appears to have been moved, deleted or does not exist anymore. You can try the search function on the top right corner. If you're still having trouble, get in touch via the contact form. Receive newsletters and event invitations. Contact or find a NICTA lab or office. Please cont...

ssv-conference.org

Systems Software Verification Conference (SSV 2015) » Committees

http://www.ssv-conference.org/ssv-2015/committees

Systems Software Verification Conference (SSV 2015). Gold Coast, Australia, December 7-8, 2015. Jade Alglave, University College London. Ezio Bartocci, TU Wien. Andrew Butterfield, Lero, Trinity College Dublin. Franck Cassez, Macquarie University. Ana Cavalcanti, University of York. Mads Dam, KTH Royal Institute of Technology. Alastair Donaldson, Imperial College London. Stefania Gnesi, ISTI. Chris Hawblitzel, Microsoft. Jérome Hugues, ISAE. Limin Jia, CMU. Tiziana Margaria, Lero, University of Limerick.