ATSE 2016 New Fellow: Professor Gernot Heiser FTSE

December 13, 2016
Professor Heiser is a pioneer in the development of formally verified secure computer operating systems, which underpin the protection of computer systems from cyber attack and the development of dependable systems in applications from robotics to medical devices. He led the team that developed the mathematics to allow large-scale verification of operating systems, developed the first secure microkernel, and led its deployment in defence robotics systems. He was a founder of Open Kernel Labs in 2006, which was sold to General Dynamics in 2012.
Previous Video
ATSE 2016 New Fellow: Dr Larry Marshall FTSE
ATSE 2016 New Fellow: Dr Larry Marshall FTSE

Dr Marshall has a passion for translating science and technology to products and value. He has more than 25...

Next Video
ATSE 2016 New Fellow: Tony Haymet FTSE
ATSE 2016 New Fellow: Tony Haymet FTSE

Professor Haymet is a former Chief of Marine and Atmospheric Science at CSIRO and later Director of the Scr...