INVITATIONAL SYMPOSIUM ON TRUSTED AUTONOMOUS SYSTEMS SURVIVING THE UNPREDICTED Program Dr Alex Zelinsky He is a graduate of the Australian Institute of Company Directors and Australian Defence College. Major General Smith has the Chief Defence Scientist tertiary qualifications Bachelor of Arts (1984), Master of Business Defence Science and Technology Group Administration (2000) and Diploma Defence and Strategic Dr Alex Zelinsky was appointed Chief Defence Scientist and Studies (2006). He was appointed as a Member of the Order of head of the Defence Science and Technology (DST) Group (then Australia in 2005 for exceptional service to the Australian Army DSTO) in March 2012. Before joining DST he was Group Executive and the Distinguished Service Cross in 2013 for his command of for Information Sciences at the Commonwealth Scientific and Joint Task Force 633. In 2015, he was elevated as an Officer in the Industrial Research Organisation (CSIRO) and Director of CSIRO’s Order of Australia (AO) for distinguished service as Commander Information and Communication Technologies Centre. Dr Zelinsky 3rd Brigade and Commander 1st Division. Major General Smith is was Chief Executive Officer and co-founder of Seeing Machines, married to Karen and they have three adult children. His interests a high-technology company developing computer vision include Australian Literature and Australian Rules Football. systems. The company is listed on the London Stock Exchange and was a start-up from the Australian National University in Dr Jason Scholz Canberra, Australia, where Dr Zelinsky was Professor of Systems Research Leader – Trusted Autonomous Systems Engineering. Defence Science and Technology Group Dr Zelinsky researched in robotics and computer vision at the Trusted Autonomous Systems – Surviving the AIST Electrotechnical Laboratory in Japan and has taught and Unpredicted conducted research in computer science at the University of Dr. Jason Scholz leads research in cognitive psychology, decision Wollongong, New South Wales, Australia. He started his career as aids, decision automation and autonomy, and the integration a Systems Engineer with BHP Steel International. Dr Zelinsky has of human and machine decision-making within the Defence extensively advised Federal and State governments in Australia, Science and Technology Group. Dr. Scholz also leads a strategic including as a member of the Australian Government’s Defence research initiative on trusted autonomous systems and chairs Industry Innovation Board. He has served on the advisory an international science and technology autonomy strategic panels to the Australian Research Centre (ARC) Centre for Vision challenge group. He has provided scientific innovation, technology Science and the ARC Centre of Excellence for Autonomous prototypes, risk assessments and advice on new and in-service Systems. Dr Zelinsky completed his Bachelor of Mathematical Command and Control (C2) capabilities to the Department of Sciences (Honours) and Doctor of Philosophy at the University Defence and National Security organisations to improve C2 of Wollongong, NSW. In 2009, Engineers Australia named Dr for operational and strategic headquarters, national security, Zelinsky Professional Engineer of the Year (Sydney Division) and joint logistics and preparedness. Significant achievements of he has been included in Engineers Australia’s list of the 100 most the branch include operational transition of the Vital Planning influential engineers since that year. In 2013 he was awarded the and Analysis (VIPA) system, development of a wide range of prestigious Pearcey Medal, the ICT industry’s premier prize for decision aids to enhance situation awareness and planning, and lifetime achievement. psychological instruments for measuring individual cognitive styles in the formative education of Commanders. Major General Stuart Smith, AO, DSC Jason has over fifty refereed publications and several patents, Deputy Chief of Joint Operations covering research in telecommunications, digital signal Major General Stuart Smith gained scholarship entry to RMC processing, artificial intelligence and human decision making. He Duntroon in 1981, graduated to the Royal Australian Infantry is passionate about the potential for machine learning based on Corps in 1984, and completed a variety of appointments with neuroscience insights, human cognitive enhancement, anti-fragile the light and mechanised battalions of The Royal Australian organisations and is driven to achieve the transition of validated Regiment. He attended the British Army Command and Staff innovative technology and techniques into Defence. College in 1996 before serving as a staff officer with 3 Brigade in Townsville, Army Headquarters in Canberra and 1st Division/ Dr Josh Bongard Deployable Joint Force Headquarters in Brisbane. In 2002 he University of Vermont served as the Chief of Army Liaison Officer to the Australian Government Senate Committee Foreign Affairs, Defence and Josh Bongard is a professor at the University of Vermont and a Trade. He has wide command and operational experience. 2010 PECASE awardee. He received his Bachelor’s degree in He served with the United Nations as a Military Observer in Computer Science from McMaster University, Canada, his Master’s Lebanon and Syria in 1993 and as Commanding Officer of the degree from the University of Sussex, UK, and his PhD from the 1st Battalion The Royal Australian Regiment in East Timor in University of Zurich, Switzerland. He served as a postdoctoral 2003. He conducted Humanitarian Assistance/Disaster Relief associate under Hod Lipson in the Computational Synthesis Operations as the Chief of Staff of Australian Joint Task Force Laboratory at Cornell University from 2003 to 2006.He is the 629 following the earthquake/tsunami in Indonesia in 2004, co-author of the popular science book entitled “How the Body and as Commander 3 Brigade following Cyclone Yasi in North Shapes the Way We Think: A New View of Intelligence”, MIT Press, Queensland in 2011. He was the Deputy Commander of Australian November 2006. (With Rolf Pfeifer). He is also the co-author Joint Task Force 633 (Afghanistan) in 2008 and returned as the of “Designing Intelligence: Why Brains Aren’t Enough” (with Rolf Commander (Middle East) in 2012. From Oct 2012 to November Pfeifer and Don Berry). In 2007, he was named to the MIT 2015 he was appointed Commander 1st Division/Deployable Technology Review TR35 as one of the top 35 innovators in the Joint Force Headquarters. On 18 November 2015 he assumed his world under the age of 35. current appointment as the Deputy Commander Joint Operations Command. Day One – Monday 09 May 16 Welcome and Opening Address 1000 Registration and Morning Tea 1040 Welcome Dr Alex Zelinsky Chief Defence Scientist Defence Science and Technology Group 1100 Opening Address Major General Stuart Smith Deputy Chief of Joint Operations Australian Defence Force 1130 Keynote Address Professor Josh Bongard University of Vermont 1230 Lunch Theme One – Autonomy Resilience 1330 Scene Setting Dr Jason Scholz Research Leader Trusted Autonomous Systems Defence Science and Technology Group 1340 Theme Keynote Dr Darryn Reid Theme Leader Autonomy Resilience Defence Science and Technology Group 1440 Presentation One Associate Professor Adrian Pearce University of Melbourne 1510 Afternoon Tea 1545 Presentation Two Dr Toby Murray Data61 1615 Presentation Three Dr Brandon Pincombe Defence Science and Technology Group 1645 Q&A Session 1715 Networking Session 1900 Symposium Dinner Dr Todd Mansell Chief – Joint & Operations Analysis Division Defence Science and Technology Group Dr Darryn Reid Dr Toby Murray Theme Leader – Autonomy Resilience Data61 Defence Science and Technology Group Software Verification for Trustworthy Autonomous Unpredictable Outcomes in Unstructured Environments: Systems The Future of Machine Reasoning Toby Murray is a Lecturer in the Department of Computing and Darryn J Reid has been with DSTO since 1995, and has worked Information Systems at the University of Melbourne, and a Senior in nonlinear dynamics, parallel and distributed computation, Researcher at Data61. His research focuses on how to build machine learning and artificial intelligence, interoperability, highly secure computer systems, in particular by using formal formal logics, modelling, simulation, optimisation and optimal verification and novel programming languages. He led the team control, electronic warfare, missile targeting and control, at NICTA (now Data61) that completed the world’s first proof that command support systems, hardware design, algorithmic a general purpose operating system kernel could enforce data complexity, computability, model theory, stochastic modelling, confidentiality, for the seL4 kernel, and has since played a leading formal ontology, object-oriented and functional programming, role in the development of the COGENT programming language crowd modelling and military theory. He holds the degrees of for verified systems programming. His current work includes Bachelor of Science in Mathematics and Computer Science, building and verifying the security of seL4-based cross domain Bachelor of Science with First Class Honours in Mathematics devices, in collaboration with DST Group. He holds a D.Phil. in and Computer Science, and Doctor of Philosophy in Theoretical Computer Science from the University of Oxford, and a Bachelor Computer Science from the University of Queensland. He has of Computer Science with First Class Honours from the University