TS News

News

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.

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.

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.

Endeavour Research Fellowship October 2016
2016-10-30 Researcher Yuval Yarom has been awarded an Endeavour Research Fellowship to support his research into validating cryptographic implementations. The Endeavour Research Fellowships are Federal Government funded fellowships that provide Australian researchers with the opportunity for a 4-6 month research visit at an international institution. Yuval will be visiting Dr Nadia Heninger from U Penn in the coming year

Endeavour Research Fellowship October 2016

2016-10-30 Researcher Yuval Yarom has been awarded an Endeavour Research Fellowship to support his research into validating cryptographic implementations. The Endeavour Research Fellowships are Federal Government funded fellowships that provide Australian researchers with the opportunity for a 4-6 month research visit at an international institution. Yuval will be visiting Dr Nadia Heninger from U Penn in the coming year

Fellow of the Association for Computing Machinery (ACM)
2016-09-01 Professor Steve Blackburn from the Australian National University (ANU) Research School of Computer Science has been placed among the world’s best computer scientists, after being named a Fellow of the Association for Computing Machinery (ACM). In total, 53 ACM members were elevated to Fellow level in 2016, with Professor Blackburn joining Professor Gernot Heiser and between them they make up 2/3 of all the ACM Fellows currently employed in Australia More

Fellow of the Association for Computing Machinery (ACM)

2016-09-01 Professor Steve Blackburn from the Australian National University (ANU) Research School of Computer Science has been placed among the world’s best computer scientists, after being named a Fellow of the Association for Computing Machinery (ACM). In total, 53 ACM members were elevated to Fellow level in 2016, with Professor Blackburn joining Professor Gernot Heiser and between them they make up 2/3 of all the ACM Fellows currently employed in Australia More

Show older articles