IEEE Trans Computers (TC)- Gernot Heiser
2016-11-01 IEEE Fellow Gernot Heiser has been appointed associate editor of IEEE Trans Computers (TC)...more

University of Melbourne Early Career Researcher award October 2016
2016-10-30 Toby Murray received an University of Melbourne Early Career Researcher award to pursue scaling up work on information flow with separation logic, the CompCert/Verified Software Toolchain (VST), and the Verasco verified static analyser.

GovHack 2016 Awards

2016-10-30 Research Assistant Felix Kam's team of 6 won 3 awards at GovHack 2016 sponsored by Google, the ATO and the ABS, with cash prizes totaling $7000. Their project TaxLess: optimizing your tax returns, won first prizes of the Machine Learning Hack, Smarter Data and Data intelligence awards. GovHack is the largest open government and open data hackathon in Australia, where 3000+ participants competed across 40 locations and submitted 480 projects.

Call for TASTE OF RESEARCH (TOR) Projects 2016/2017
2016-10-30 The submission of projects for the UNSW Taste of Research program for 2016/17 are due May 20th 2016...

Trustworthy Systems wins 1st and 2nd place in SYNTCOMP’16

2016-10-30 The Trustworthy Systems group placed first and and second in the international SYNTCOMP’16 Reactive Synthesis Competition. Synthesis is an approach to software correctness where programs are automatically generated. The tool “Simple BDD Solver” by Adam Walker came first in the sequential realisability track - for the third year in a row, and the the tool “TermiteSAT” by Alexander Legg came second in the parallel realisability track. Both tools come out of Data61’s Trustworthy Systems research in enhancing operating system reliability by automatically synthesising device drivers.