Zoltan Kocsis Staff

I work in the Trustworthy Systems group at CS&E. At Trustworthy Systems, we study and use rigorous formal methods to develop trustworthy software systems: systems that come with provable security, safety and reliability guarantees.


Office Level 3, Building K17
Office Number N/A

z.kocsis@unsw.edu.au

Back to top

This page is powered by WebCMS3
CRICOS Provider No. 00098G