CDDC wins two national iAwards

2017-08-31 The Cross-Domain Desktop Compositor (CDDC) is a fruitful collaboration of Trustworthy Systems with DST Group. After having won three state-level iAwards in South Australia earlier in the year, it has now won the national awards in the categories Infrastructure & Platforms Innovation of the Year and Research & Development Project of the Year. The iAwards are an annual program of the Australian Information Industry Association (aiia) that recognises and rewards technology innovations that have the potential to, or are already having, a positive impact on the community.

Congratulations to Dr. Legg!
2017-07-04 Alex Legg has been awarded his PhD for his thesis entitled "A Counterexample Guided Method for Reactive Synthesis". Alex is now working for Google.

Ramana Kumar has won the John C. Reynolds Doctoral Dissertation Award
2017-07-03 Ramana Kumar has been awarded the very prestigious John C. Reynolds Doctoral Dissertation Award for his PhD. It is awarded annually to the author of an outstanding doctoral dissertation in the area of programming languages. You can read more about the award and Ramana's thesis here.

Trustworthy Systems in the news
2017-06-29 Gernot Heiser has been interviewed about the work of Trustworthy Systems and seL4 by LifeHacker. See the article here.

CDDC wins iAwards
2017-06-16 The CDDC has won three iAwards!  The Cross Domain Digital Compositor is a joint project with the DSTG, and it won three major iAwards at the ceremony on 15th June. Read our blog post about it here.